Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future
Alternative title
Authors
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.