Experiences in Designing and Using Formal Specification Languages for Embedded Control Software

  • Nancy G. Leveson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1790)


For the past ten years, I have been designing formal specification languages for specifying software requirements on complex systems. In order to understand what is needed in such languages, my students and I have been applying our ideas to real systems and using what we have learned to generate new hypotheses about what is needed to make such languages both useful and used. This research is part of a larger effort to assist in developing safety-critical embedded systems.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Nancy G. Leveson
    • 1
  1. 1.Aeronautics and Astronautics DepartmentMassachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations