3387 search results - page 432 / 678 » Model-Checking for Real-Time Systems |
219
click to vote
RTCSA
2008
IEEE
16 years 2 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...
242
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...
213
click to vote
RTCSA
2005
IEEE
16 years 1 months 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...
192
click to vote
CDC
2009
IEEE
16 years 9 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...
214
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...