Title :
A model of noninterference for integrating mixed-criticality software components
Author :
Dutertre, Bruno ; Stavridou, Victoria
Author_Institution :
Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
Abstract :
The paper examines the problem of safely integrating independent software components of different criticality levels in a single system. We examine the risks of interference between independent components which share common hardware resources. We propose a definition of safe integration in which only a limited form of interference is tolerated, namely a bounded performance degradation. We show how the definition can be applied to systems modeled as input-output automata, and we compare our model to other notions of noninterference and related concepts
Keywords :
computer architecture; data integrity; finite state machines; safety-critical software; software quality; bounded performance degradation; common hardware resources; criticality levels; independent components; independent software components; input-output automata; mixed-criticality software components; noninterference model; safe integration; Automata; Computer science; Degradation; Hardware; Inspection; Interference; Laboratories; Physics computing; Software performance; Software safety;
Conference_Titel :
Dependable Computing for Critical Applications 7, 1999
Conference_Location :
San Jose, CA
Print_ISBN :
0-7695-0284-9
DOI :
10.1109/DCFTS.1999.814302
