Software engineering for real-time
Hermann Kopetz · 2000
The development of a system architecture that supports the precise specification of the interfaces between components in the value domain and in the temporal domain, such that the components can be developed and tested independently. The constructive integration of exisiting prevalidated components into diverse system contexts. The systematic validation of ultradependable real-time systems that are used in safety critical applications. The development of a framework that supports the generic implementation of fault-tolerance without introducing additional complexity into the application software. The derivation of tight upper bounds for the worst-case execution time of real-time programs.