Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering (1997)
Jan. 5, 1997 to Jan. 8, 1997
Mats P.E. Heimdahl , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
David J. Keenan , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
Computer software is playing an increasingly important role in safety-critical embedded computer systems, where incorrect operation of the software could lead to loss of life, substantial material or environmental damage, or large monetary losses. Although software is a powerful and flexible tool for industry, these very advantages have contributed to a corresponding increase in system complexity. In a previous investigation, the Irvine Safety Research Group developed a requirements specification language called the Requirements State Machine Language (RSML) suitable for the specification of safety critical control embedded systems. To simplify and automate the design and implementation process, we have investigated the possibility of automatically generating code from RSML specifications.
formal specification, code generation, hierarchical state-based requirements, safety-critical embedded computer systems, environmental damage, monetary loss, system complexity, Irvine Safety Research Group, requirements specification language, Requirements State Machine Language, RSML
M. P. Heimdahl and D. J. Keenan, "Generating Code from Hierarchical State-Based Requirements," Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering(RE), Annapolis, MD, 1997, pp. 210.