654 search results - page 46 / 131 » Cosimulation of real-time control systems |
146
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
167
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present the architecture and framework for a benchmark suite that has been developed as part of the DeSiDeRaTa project. The proposed benchmark suite is representat...
172
click to vote
ECRTS
2008
IEEE
16 years 19 days ago
2008
IEEE
Task period adaptations are often used to alleviate temporal overload conditions in real-time systems. Existing frameworks assume that only task periods are adjustable and that ta...
190
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
168
click to vote
RTSS
2008
IEEE
16 years 17 days ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...