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

fYear

1999

fDate

36465

Firstpage

301

Lastpage

316

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependable Computing for Critical Applications 7, 1999

Conference_Location

San Jose, CA

Print_ISBN

0-7695-0284-9

Type

conf

DOI

10.1109/DCFTS.1999.814302

Filename

814302