A method for critical software event execution reliability in high assurance systems Metadata

Metadata describes a digital item, providing (if known) such information as creator, publisher, contents, size, relationship to other resources, and more. Metadata may also contain "preservation" components that help us to maintain the integrity of digital files over time.

Available Formats

Dublin Core: XML Dublin Core: JSON Dublin Core: Text Dublin Core: RDF/XML UNTL: XML Access METS: XML

Title

  • Main Title A method for critical software event execution reliability in high assurance systems

Creator

  • Author: Kidd, M.E.C.
    Creator Type: Personal

Contributor

  • Sponsor: United States. Department of Energy.
    Contributor Type: Organization
    Contributor Info: USDOE, Washington, DC (United States)

Publisher

  • Name: Sandia National Laboratories
    Place of Publication: Albuquerque, New Mexico
    Additional Info: Sandia National Labs., Albuquerque, NM (United States)

Date

  • Creation: 1997-03-01

Language

  • English

Description

  • Content Description: This paper presents a method for Critical Software Event Execution Reliability (Critical SEER). The Critical SEER method is intended for high assurance software that operates in an environment where transient upsets could occur, causing a disturbance of the critical software event execution order, which could cause safety or security hazards. The method has a finite automata based module that watches (hence SEER) and tracks the critical events and ensures they occur in the proper order or else a fail safe state is forced. This method is applied during the analysis, design and implementation phases of software engineering.
  • Physical Description: 9 p.

Subject

  • Keyword: Computer Architecture
  • STI Subject Categories: 99 Mathematics, Computers, Information Science, Management, Law, Miscellaneous
  • Keyword: Reliability
  • Keyword: System Failure Analysis
  • Keyword: Computer Codes
  • Keyword: Benchmarks

Source

  • Conference: Institute of Electrical and Electronics Engineers high assurance systems engineering workshop, Washington, DC (United States), 11 Aug 1997

Collection

  • Name: Office of Scientific & Technical Information Technical Reports
    Code: OSTI

Institution

  • Name: UNT Libraries Government Documents Department
    Code: UNTGD

Resource Type

  • Article

Format

  • Text

Identifier

  • Other: DE97003835
  • Report No.: SAND--97-0521C
  • Report No.: CONF-970828--1
  • Grant Number: AC04-94AL85000
  • Office of Scientific & Technical Information Report Number: 501492
  • Archival Resource Key: ark:/67531/metadc689789

Note

  • Display Note: OSTI as DE97003835
Back to Top of Screen