Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?
- 1.1k Downloads
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.
KeywordsState Machine Modeling Language Internal Model Software Requirement Semantic Distance
Unable to display preview. Download preview PDF.
- 1.D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, pages 231–274, 1987.Google Scholar
- 2.Mats P. E. Heimdahl and Nancy G. Leveson. Completeness and consistency in hierarchical state-base requirements. IEEE Transactions on Software Engineering, pages 363–377, June 1996.Google Scholar
- 7.D.J. Keenan and M.P.E. Heimdahl. Code generation from hierarchical state machines. In Proceedings of the International Symposium on Requirements Engineering, 1997.Google Scholar
- 8.N.G. Leveson. Safeware: System Safety and Computers. Addison Wesley, 1995.Google Scholar
- 9.N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, pages 684–706, September 1994.Google Scholar
- 10.N.G. Leveson, J.D. Reese, S. Koga, L.D. Pinnel, and S.D. Sandys. Analyzing requirements specifications for mode confusion errors. In Proceedings of the Workshop on Human Error and System Development, 1997.Google Scholar
- 11.E.I. Lowe. Computer Control in Process Industries. Peregrinus, 1971.Google Scholar
- 13.David L. Parnas. Tabular representations of relations. Technical Report CLR report No. 260, McMaster University, Hamilton, Ontario, October 1992.Google Scholar
- 14.David L. Parnas and Jan Madey. Functional documentation for computer systems engineering (volume 2). Technical Report CRL 237, McMaster University, Hamilton, Ontario, September 1991.Google Scholar