A refinement-based approach to developing software controllers for reactive systems

Conference · Thu Dec 09 00:00:00 EST 1999

OSTI ID:750217

Winter, V L; Kapur, D; Berg, R S

The purpose of this paper is to demonstrate how transformation can be used to derive a high integrity implementation of a train controller from an algorithmic specification. The paper begins with a general discussion of high consequence systems (e.g., software systems) and describes how rewrite-based transformation systems can be used in the development of such systems. The authors then discuss how such transformations can be used to derive a high assurance controller for the Bay Area Rapid Transit (BART) system from an algorithmic specification.

• 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: 750217
• Report Number(s): SAND99-3135C; TRN: AH200007%%81
• 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

Related Subjects

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATION
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
ALGORITHMS
TRANSFORMATIONS
COMPUTER CODES
RAPID TRANSIT SYSTEMS
CALIFORNIA