JUCS - Journal of Universal Computer Science 6(7): 704-730, doi: 10.3217/jucs-006-07-0704
Incremental Development of Real-Time Requirements: The Light Control Case Study
expand article infoGraeme Smith, Colin Fidge
‡ Software Verification Research Centre, University of Queensland, Australia
Open Access
System requirements frequently change while the system is still under development. Usually this means going back and revising the requirements specification and redoing those development steps already completed. In this article we show how formal requirements can be allowed to evolve while system development is in progress, without the need for costly redevelopment. This is done via a formalism which allows requirements engineering steps to be interleaved with formal development steps in a manageable way. The approach is demonstrated by a significant case study, the Light Control System.
requirements engineering, formal specification, refinement, embedded systems, real-time systems