Tutorial 3Aother tutorials |
|
Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR MethodStuart Faulk, Constance HeitmeyerSCR, 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 |