1054 search results - page 71 / 211 » Models for automatic generation of safety-critical real-time... |
115
click to vote
SMILE
1998
Springer
15 years 4 months ago
1998
Springer
As virtual worlds demand ever more realistic 3D models, attention is being focussed on systems that can acquire graphical models from real objects. This paper describes a system wh...
102
click to vote
RTCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
101
click to vote
JUCS
2008
14 years 11 months ago
2008
: At present a large amount of research exists into the design and implementation of adaptive systems. However, not many target the complex task of authoring in such systems, or th...
137
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
104
click to vote
ENTCS
2008
14 years 12 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...