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 journalArticle

6 Citations (Scopus)

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)
Pages (from-to)35-45
Number of pages11
JournalComputer
Volume31
Issue number4
DOIs
StatePublished - Apr 1998
Externally publishedYes

Fingerprint

Space applications
Maintainability
Availability

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Hardware and Architecture
  • Software

Cite this

Yen, I. L., Paul, R., Winter, V. L., Covan, J. M., Dalton, L. J., Alkalai, L., ... Lowry, M. R. (1998). Key applications for high-assurance systems. Computer, 31(4), 35-45. https://doi.org/10.1109/2.666841

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

In: Computer, Vol. 31, No. 4, 04.1998, p. 35-45.

Research output: Contribution to journalArticle

Yen, IL, Paul, R, Winter, VL, Covan, JM, Dalton, LJ, Alkalai, L, Tai, AT, Harper, R, Flahive, B, Tsai, WT, Mojdehbakhsh, R, Rayadurgam, S, Mori, K & Lowry, MR 1998, 'Key applications for high-assurance systems', Computer, vol. 31, no. 4, pp. 35-45. https://doi.org/10.1109/2.666841
Yen IL, Paul R, Winter VL, Covan JM, Dalton LJ, Alkalai L et al. Key applications for high-assurance systems. Computer. 1998 Apr;31(4):35-45. https://doi.org/10.1109/2.666841
Yen, I. Ling ; Paul, Ray ; Winter, Victor L. ; Covan, John M. ; Dalton, Larry J. ; Alkalai, Leon ; Tai, Ann T. ; Harper, Rick ; Flahive, Barry ; Tsai, Wei Tek ; Mojdehbakhsh, Ramin ; Rayadurgam, Sanjai ; Mori, Kinji ; Lowry, Michael R. / Key applications for high-assurance systems. In: Computer. 1998 ; Vol. 31, No. 4. pp. 35-45.
@article{bc7f513043d548568ba3f36b8e92b187,
title = "Key applications for high-assurance systems",
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.",
author = "Yen, {I. Ling} and Ray Paul and Winter, {Victor L.} and Covan, {John M.} and Dalton, {Larry J.} and Leon Alkalai and Tai, {Ann T.} and Rick Harper and Barry Flahive and Tsai, {Wei Tek} and Ramin Mojdehbakhsh and Sanjai Rayadurgam and Kinji Mori and Lowry, {Michael R.}",
year = "1998",
month = "4",
doi = "10.1109/2.666841",
language = "English (US)",
volume = "31",
pages = "35--45",
journal = "ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering",
issn = "0018-9162",
publisher = "IEEE Computer Society",
number = "4",

}

TY - JOUR

T1 - Key applications for high-assurance systems

AU - Yen, I. Ling

AU - Paul, Ray

AU - Winter, Victor L.

AU - Covan, John M.

AU - Dalton, Larry J.

AU - Alkalai, Leon

AU - Tai, Ann T.

AU - Harper, Rick

AU - Flahive, Barry

AU - Tsai, Wei Tek

AU - Mojdehbakhsh, Ramin

AU - Rayadurgam, Sanjai

AU - Mori, Kinji

AU - Lowry, Michael R.

PY - 1998/4

Y1 - 1998/4

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0032047998&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032047998&partnerID=8YFLogxK

U2 - 10.1109/2.666841

DO - 10.1109/2.666841

M3 - Article

AN - SCOPUS:0032047998

VL - 31

SP - 35

EP - 45

JO - ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

JF - ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

SN - 0018-9162

IS - 4

ER -