Key applications for high-assurance systems

I. Ling Yen, Ray Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry

Research output: Contribution to specialist publicationArticle

7 Scopus citations

Abstract

Six project summaries reveal a set of common criteria for high assurance systems: reliability, availability, safety, timeliness, security, and evolvability. The reports also identify areas of study: high-assurance systems requirements; on-the-fly maintainability and evolvability; high assurance with commercial components; and integration of techniques for achieving individual system properties into a collection that satisfies overall system requirements. The projects are: passive safety in high-consequence systems; long-life deep-space applications; challenges for continuously available systems; capturing safety-critical medical requirements; applications in rapidly changing environments; and component-based reconfigurable systems.

Original languageEnglish (US)
Pages35-45
Number of pages11
Volume31
No4
Specialist publicationComputer
DOIs
StatePublished - Apr 1998

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Key applications for high-assurance systems'. Together they form a unique fingerprint.

  • Cite this

    Yen, I. L., Paul, R., Winter, V. L., Covan, J. M., Dalton, L. J., Alkalai, L., Tai, A. T., Harper, R., Flahive, B., Tsai, W. T., Mojdehbakhsh, R., Rayadurgam, S., Mori, K., & Lowry, M. R. (1998). Key applications for high-assurance systems. Computer, 31(4), 35-45. https://doi.org/10.1109/2.666841