10159 search results - page 403 / 2032 » System Design Validation Using Formal Models |
162
click to vote
CATA
2003
15 years 5 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
138
click to vote
MASCOTS
2003
15 years 5 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
152
click to vote
OOPSLA
2000
Springer
15 years 8 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
134
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
219
click to vote
TII
2011
14 years 11 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...