1463 search results - page 137 / 293 » Model Checking Implicit-Invocation Systems |
198
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
147
click to vote
RTAS
2009
IEEE
15 years 12 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
143
click to vote
FDL
2006
IEEE
15 years 11 months ago
2006
IEEE
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
141
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
159
click to vote
CJ
2004
15 years 5 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...