1463 search results - page 137 / 293 » Model Checking Implicit-Invocation Systems |
155
click to vote
CADE
2008
Springer
16 years 1 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...
119
click to vote
RTAS
2009
IEEE
15 years 8 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...
116
click to vote
FDL
2006
IEEE
15 years 7 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 ...
104
Voted
FDL
2005
IEEE
15 years 7 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...
128
click to vote
CJ
2004
15 years 1 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...