IEEE - Institute of Electrical and Electronics Engineers, Inc. - A method and a technique to model and ensure timeliness in safety critical real-time systems

Proceedings Fourth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS '98

Author(s): Aussagues, C. ; David, V.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1998
Conference Location: Monterey, CA, USA, USA
Conference Date: 14 August 1998
Page(s): 2 - 12
ISBN (Paper): 0-8186-8597-2
DOI: 10.1109/ICECCS.1998.706651
Regular:

The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time tasks and the... View More

Advertisement