Vision Calendar Program Registration Hotel Boston Workshops Tutorials Organizers History Sponsors ICSE 98
ICSE 97:

Tutorial 3A

other tutorials
Site Menu

Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method

Stuart Faulk, Constance Heitmeyer

SCR, a practical formal requirements method, can reduce critical errors and decrease costs in industrial development of embedded, high-assurance systems. Requirements errors remain the most intractable and costly problem in embedded software development. Formal methods offer techniques for early error detection and correction but are widely perceived as impractical for large, complex, embedded systems. SCR has systematically addressed the problems of industrial use of formal requirements methods. The resulting methods and tools offer a proven, practical, industrial-strength approach for formal specification and analysis of critical system requirements.

Stuart Faulk is on the faculty of the University of Oregon's Department of Computer and Information Science. Previously, he led the development of the Consortium Requirements Engineering Method (CoRE) and successfully applied the SCR method in industry.

Constance Heitmeyer heads the Software Engineering Section of the Naval Research Laboratory's High Assurance Computer Systems branch. She leads research and development efforts in formal methods and CASE tools supporting the construction of real-time, embedded software.


<icse-97-webmaster@ics.uci.edu>
1997 International Conference on Software Engineering
Last modified: 10 May 1997