NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the FuturePreviously, 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 PSML 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.
Document ID
19990080906
Acquisition Source
Langley Research Center
Document Type
Book Chapter
External Source(s)
Authors
Leveson, Nancy G.
(Massachusetts Inst. of Tech. Cambridge, MA United States)
Heimdahl, Mats P. E.
(Minnesota Univ. Minneapolis, MN United States)
Reese, Jon Damon
(Minnesota Univ. Minneapolis, MN United States)
Date Acquired
August 19, 2013
Publication Date
January 1, 1999
Publication Information
Publication: Software Engineering — ESEC/FSE ’99
Volume: 1687
ISSN: ISBN 9783540481669
ISBN: 9.78354E+12
Subject Category
Computer Programming And Software
Meeting Information
Meeting: Foundations of Software Engineering
Location: Toulouse
Country: France
Start Date: September 6, 1999
End Date: September 10, 1999
Funding Number(s)
CONTRACT_GRANT: NAG1-2020
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.
No Preview Available