654 search results - page 27 / 131 » Cosimulation of real-time control systems |
163
click to vote
ENTCS
2002
15 years 5 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
186
click to vote
RTSS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...
174
click to vote
VLDB
1991
ACM
15 years 9 months ago
1991
ACM
Due to its potential for a high degree of parallelism, optimistic concurrency control is expected to perform better than two-phase locking when integrated with priority-driven CPU...
198
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
173
click to vote
RTAS
2009
IEEE
16 years 22 days ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...