ReqSpec Notation (Podcast Series)

Abstract

The problem space we are dealing with is embedded software systems, especially safety-critical. What we are encountering is that things go wrong, and we do not detect that until these systems are in operation. There was research in the 90s. We then turned that into an industry standard on modeling architectures and doing it through a language that has strong semantics so you can analytically assess how the system will work. We used a term virtual system integration as a concept to draft that idea forward.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2021
Accession Number
AD1147140

Entities

People

  • Peter Feiler
  • Suzanne Miller

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Biomedical
  • Energy and Power Technologies
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Aerospace Industry
  • Commerce
  • Complex Systems
  • Contractors
  • Data Rate
  • Department Of Defense
  • Electric Power
  • Embedded Systems
  • Engineering
  • Environment
  • Internet Of Things
  • Language
  • Notation
  • Security
  • Software Development
  • Specifications
  • Standards
  • Taxonomy
  • Verification

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Systems Analysis and Design

Technology Areas

  • Space