Software engineering for real-time

Hermann Kopetz
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
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
more » ... lementation 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.
doi:10.1145/336512.336555 dblp:conf/icse/Kopetz00 fatcat:fwxgbp2f5jfzlefokouni6br4u