1027 search results - page 89 / 206 » Callgraph properties of executables |
85
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
107
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
FMCO
2007
Springer
15 years 7 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
CIMCA
2006
IEEE
15 years 7 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
123
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...