Supporting multiple levels of criticality

  title={Supporting multiple levels of criticality},
  author={Eric Totel and Jean-Paul Blanquart and Yves Deswarte and David Powell},
  journal={Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224)},
Current safety-critical embedded systems provide support for increasingly diverse and complex tasks, whose levels of criticality can be extremely different. Rather than validating all software to the highest level of confidence, it is more efficient to focus the validation effort on the most critical components. Consequently, it must be ensured that residual design faults in low criticality software cannot corrupt high criticality components. This paper defines an object-oriented integrity… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 29 extracted citations


Publications referenced by this paper.
Showing 1-10 of 10 references

Integrity Considerations for Secure Computer Systems

  • K. Biba
  • Tech. Rep. ESD-TR 76-372,
  • 1977
Highly Influential
6 Excerpts

Multilevel Integrity Mechanisms

  • J. P. Blanquart, Y. Deswarte, D. Powell, E. Totel
  • LAAS Report 97034,
  • 1997

Coexistence de logiciels de criticités non-homogènes

  • C. Béounes, Y. Deswarte, J. C. Fabre, P. Thévenod-Fosse
  • LAAS Report
  • 1992

Similar Papers

Loading similar papers…