IEEE - Institute of Electrical and Electronics Engineers, Inc. - A model of noninterference for integrating mixed-criticality software components

Dependable Computing for Critical Applications 7

Author(s): Dutertre, B. ; Stavridou, V.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: San Jose, CA, USA, USA
Conference Date: 8 January 1999
Page(s): 301 - 316
ISBN (Paper): 0-7695-0284-9
DOI: 10.1109/DCFTS.1999.814302
Regular:

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... View More

Advertisement