Designing specification languages for process control systems: Lessons learned and steps to the future

Nancy G. Leveson, Mats P.E. Heimdahl, Jon Damon Reese

Research output: Chapter in Book/Report/Conference proceedingConference contribution

31 Scopus citations

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 feed- back 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 re- search 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.

Original languageEnglish (US)
Title of host publicationSoftware Engineering, ESEC/FSE 1999 - 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Proceedings
PublisherSpringer Verlag
Pages127-144
Number of pages18
ISBN (Print)3540665382, 9783540665380
DOIs
StatePublished - 1999
Event7th European Software Engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE 1999 - Toulouse, France
Duration: Sep 6 1999Sep 10 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1687 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other7th European Software Engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE 1999
CountryFrance
CityToulouse
Period9/6/999/10/99

Fingerprint Dive into the research topics of 'Designing specification languages for process control systems: Lessons learned and steps to the future'. Together they form a unique fingerprint.

Cite this