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

Corresponding author: Graeme Smith ( smith@svrc.uq.edu.au )

© Graeme Smith, Colin Fidge.
This article is freely available under the J.UCS Open Content License.
Citation: Smith G, Fidge C (2000) Incremental Development of Real-Time Requirements: The Light Control Case Study. JUCS - Journal of Universal Computer Science 6(7): 704-730. https://doi.org/10.3217/jucs-006-07-0704
Open Access
Abstract
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.
Keywords
requirements engineering, formal specification, refinement, embedded systems, real-time systems