NIMBUS: A tool for specification centered development

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Abstract

Assurance that a formal specification (system specification or software specification) possesses desired properties can be achieved through (1) manual inspections, (2) formal verification of the desired properties, or (3) simulation and testing of the specification. To achieve the high level of confidence in the correctness required in a safety-critical system, all three approaches must be used in concert. We have developed an specification language, called RSML/sup -e/, and an environment, called NIMBUS, which provides support for all these activities. The three V&V techniques fill complementary roles within the validation and verification process. Manual inspections and visualization provide the specification team, customers, and regulatory representatives the means to informally verify that the behavior described formally matches the desired "real world" behavior of the system. RSML/sup -e/ is a fully formal, synchronous, data-flow language. NIMBUS supports large-scale, distributed simulation of specifications through communications over Microsoft's distributed COM or OMG's CORBA.

Original languageEnglish (US)
Title of host publicationProceedings - 11th IEEE International Requirements Engineering Conference, RE 2003
PublisherIEEE Computer Society
Number of pages1
ISBN (Electronic)0769519806
DOIs
StatePublished - Jan 1 2003
Event11th IEEE International Requirements Engineering Conference, RE 2003 - Monterey Bay, United States
Duration: Sep 8 2003Sep 12 2003

Publication series

NameProceedings of the IEEE International Conference on Requirements Engineering
Volume2003-January
ISSN (Print)1090-705X

Other

Other11th IEEE International Requirements Engineering Conference, RE 2003
CountryUnited States
CityMonterey Bay
Period9/8/039/12/03

Keywords

  • Aerospace simulation
  • Analytical models
  • DC generators
  • Formal specifications
  • Hardware
  • Inspection
  • Software testing
  • Software tools
  • System testing
  • Visualization

Fingerprint Dive into the research topics of 'NIMBUS: A tool for specification centered development'. Together they form a unique fingerprint.

Cite this