575 search results - page 67 / 115 » Formal Coverification of Embedded Systems Using Model Checki... |
140
click to vote
MODELS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
204
click to vote
ADAEUROPE
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
177
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
164
click to vote
HICSS
2008
IEEE
16 years 18 days ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
207
click to vote
ECRTS
2006
IEEE
16 years 6 days ago
2006
IEEE
There is an increasing demand to introduce adaptive capabilities in distributed real-time and embedded (DRE) systems that execute in open environments where system operational con...