575 search results - page 44 / 115 » Formal Coverification of Embedded Systems Using Model Checki... |
132
Voted
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
116
Voted
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
138
click to vote
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
140
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
111
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...