1163 search results - page 136 / 233 » Case Studies of Model Checking for Embedded System Designs |
151
click to vote
MCS
2008
Springer
15 years 4 months ago
2008
Springer
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
132
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
134
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
153
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
128
click to vote
ICARCV
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...