115 search results - page 7 / 23 » Observability Analysis of Embedded Software for Coverage-Dir... |
LCTRTS
2004
Springer
14 years 1 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
HICSS
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...
SIES
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
CLEIEJ
2006
13 years 7 months ago
2006
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...