548 search results - page 2 / 110 » Adding Real Time to Formal Program Development |
DSN
2004
IEEE
13 years 9 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
AMAST
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
ENTCS
2002
13 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...
FORMATS
2004
Springer
13 years 10 months ago
2004
Springer
RTSS
2003
IEEE
13 years 10 months ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...