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

doi:10.1109/2.666841

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

^*Corresponding author for this work

University of Texas at Dallas

Research output: Contribution to specialist publication › Article

8 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 language	English
Pages	35-45
Number of pages	11
Volume	31
No	4
Specialist publication	Computer
DOIs	https://doi.org/10.1109/2.666841
State	Published - Apr 1998
Externally published	Yes

Access to Document

10.1109/2.666841

Cite this

@misc{ad1b03c7f10d48e09d3dcd4967d98b26,

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 = apr,

doi = "10.1109/2.666841",

language = "英语",

volume = "31",

pages = "35--45",

journal = "Computer",

issn = "0018-9162",

publisher = "IEEE Computer Society",

}

TY - GEN

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 - https://www.scopus.com/pages/publications/0032047998

U2 - 10.1109/2.666841

DO - 10.1109/2.666841

M3 - 文章

AN - SCOPUS:0032047998

SN - 0018-9162

VL - 31

SP - 35

EP - 45

JO - Computer

JF - Computer

ER -

Key applications for high-assurance systems

Abstract

Access to Document

Other files and links

Fingerprint

Cite this