Article

A Model of Noninterference for Integrating Mixed Criticality Software Components

Authors:

Bruno Dutertre,

Victoria StavridouAuthors Info & Claims

DCCA '99: Proceedings of the conference on Dependable Computing for Critical Applications

Page 301

Published: 06 January 1999 Publication History

Publisher Site

Abstract

This 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 software 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.

Cited By

View all

Son JAlves-Foss J(2007)High level specification of non-interference security policies in partitioned MLS systemsProceedings of the Fourth IASTED International Conference on Communication, Network and Information Security10.5555/1659141.1659157(83-89)Online publication date: 17-Sep-2007
https://dl.acm.org/doi/10.5555/1659141.1659157
Jürjens JWagner S(2005)Component-based development of dependable systems with UMLComponent-Based Software Development for Embedded Systems10.5555/2167810.2167831(320-344)Online publication date: 1-Jan-2005
https://dl.acm.org/doi/10.5555/2167810.2167831
Wenzel IKirner RPuschner PRieder B(2005)Principles of Timing Anomalies in Superscalar ProcessorsProceedings of the Fifth International Conference on Quality Software10.1109/QSIC.2005.49(295-306)Online publication date: 19-Sep-2005
https://dl.acm.org/doi/10.1109/QSIC.2005.49

Recommendations

Smart certification of mixed criticality systems
Ada-Europe'05: Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies

High integrity applications, such as those performing safety or security critical functions, are usually built to conform to standards such RTCA DO-178B [1] or UK Def Stan 00-55 [2]. Typically such standards define ascending levels of criticality each ...
Toward a Design Handbook for Integrating Software Components
SAST '97: Proceedings of the 5th International Symposium on Assessment of Software Tools (SAST '97)

In component-based software development the identification and proper management of interconnections among the pieces of a system becomes a central concern. Nevertheless, today's programming languages and tools still place an emphasis on representing ...
Integrating heterogeneous components in software supply chains
PLEASE '10: Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering

Numerous software product lines today are built from components supplied by different vendors. Companies situated in the middle of a software supply chain must configure and integrate components from their suppliers and offer (partially configured) ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DCCA '99: Proceedings of the conference on Dependable Computing for Critical Applications

January 1999

ISBN:0769502849

Publisher

IEEE Computer Society

United States

Publication History

Published: 06 January 1999

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Son JAlves-Foss J(2007)High level specification of non-interference security policies in partitioned MLS systemsProceedings of the Fourth IASTED International Conference on Communication, Network and Information Security10.5555/1659141.1659157(83-89)Online publication date: 17-Sep-2007
https://dl.acm.org/doi/10.5555/1659141.1659157
Jürjens JWagner S(2005)Component-based development of dependable systems with UMLComponent-Based Software Development for Embedded Systems10.5555/2167810.2167831(320-344)Online publication date: 1-Jan-2005
https://dl.acm.org/doi/10.5555/2167810.2167831
Wenzel IKirner RPuschner PRieder B(2005)Principles of Timing Anomalies in Superscalar ProcessorsProceedings of the Fifth International Conference on Quality Software10.1109/QSIC.2005.49(295-306)Online publication date: 19-Sep-2005
https://dl.acm.org/doi/10.1109/QSIC.2005.49

Abstract

Cited By

Recommendations

Smart certification of mixed criticality systems

Toward a Design Handbook for Integrating Software Components

Integrating heterogeneous components in software supply chains

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations