Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future

Loading...
Thumbnail Image

View/Download File

Persistent link to this item

Statistics
View Statistics

Journal Title

Journal ISSN

Volume Title

Title

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future

Alternative title

Published Date

1999

Publisher

Type

Report

Abstract

Previously, we defined a blackbox formal system modeling language called RSML (Requirements State Machine Language). The language was developed over several years while specifying the system requirements for a collision avoidance system for commercial passenger aircraft. During the language development, we received continual feedback and evaluation by FAA employees and industry representatives, which helped us to produce a specification language that is easily learned and used by application experts. Since the completion of the RSML project, we have continued our research on specification languages. This research is part of a larger effort to investigate the more general problem of providing tools to assist in developing embedded systems. Our latest experimental toolset is called SpecTRM (Specification Tools and Requirements Methodology), and the formal specification language is SpecTRM-RL (SpecTRM Requirements Language). This paper describes what we have learned from our use of RSML and how those lessons were applied to the design of SpecTRM-RL. We discuss our goals for SpecTRM-RL and the design features that support each of these goals.

Keywords

Description

Associated research group: Critical Systems Research Group

Related to

Replaces

License

Series/Report Number

Funding information

Isbn identifier

Doi identifier

Previously Published Citation

Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, p. 127-145, series LNCS, Volume 1687, September 1999.

Other identifiers

Suggested citation

Leveson, Nancy; Heimdahl, Mats; Reese, Jon. (1999). Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217294.

Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.