On the construction of a domain language for a class of reactive systems
Conference
·
OSTI ID:750218
A key step in the construction of high consequence software is its specification in a formal framework. In order to minimize the difficulty and potential for error, a specification should be expressed in a domain language supporting operators and structures that are intrinsic to the class of algorithms one wishes to specify. In this paper the authors describe a language that is suitable for the algorithmic specification of software controllers for a class of reactive systems of which the Bay Area Rapid Transit (BART) system is an instance. The authors then specify an abstract controller for a subset of BART using this language.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Sandia National Lab. (SNL-CA), Livermore, CA (United States)
- Sponsoring Organization:
- US Department of Energy (US)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 750218
- Report Number(s):
- SAND99-3136C; TRN: AH200007%%82
- Resource Relation:
- Conference: High Integrity Software Conference, Albuquerque, NM (US), 11/14/1999--11/17/1999; Other Information: PBD: 9 Dec 1999
- Country of Publication:
- United States
- Language:
- English
Similar Records
A refinement-based approach to developing software controllers for reactive systems
Software with partial functions: Automating correctness proofs via nonstrict explicit domains
A Language for Specifying Compiler Optimizations for Generic Software
Conference
·
Thu Dec 09 00:00:00 EST 1999
·
OSTI ID:750218
Software with partial functions: Automating correctness proofs via nonstrict explicit domains
Conference
·
Tue Jul 30 00:00:00 EDT 1996
·
OSTI ID:750218
A Language for Specifying Compiler Optimizations for Generic Software
Thesis/Dissertation
·
Mon Jan 01 00:00:00 EST 2007
·
OSTI ID:750218