IEEE - Institute of Electrical and Electronics Engineers, Inc. - Logical Reliability of Interacting Real-Time Tasks

Design, Automation & Test in Europe. DATE'08

Author(s): K. Chatterjee ; A. Ghosal ; T.A. Henzinger ; D. Iercan ; C.M. Kirsch ; C. Pinello ; A. Sangiovanni-Vincentelli
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2008
Conference Location: Munich, Germany
Conference Date: 10 March 2008
Page(s): 909 - 914
ISBN (CD): 978-3-9810801-4-8
ISBN (Paper): 978-3-9810801-3-1
DOI: 10.1109/DATE.2008.4484790
Regular:

We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that checks if the given... View More

Advertisement