3387 search results - page 432 / 678 » Model-Checking for Real-Time Systems |
214
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
234
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
205
click to vote
RTCSA
2005
IEEE
16 years 28 days ago
2005
IEEE
We present an approach to the analysis and optimization of heterogeneous distributed embedded systems for hard real-time applications. The systems are heterogeneous not only in te...
185
click to vote
CDC
2009
IEEE
16 years 2 days ago
2009
IEEE
Abstract— In this paper we consider the problem of optimizing over the switching times for a multi-modal dynamic system when the complete cost-to-go is not available. The instant...
211
click to vote
HPCN
2000
Springer
15 years 11 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...