Statecharts: A visual formalism for complex systems
Science of Computer Programming
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract)
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Hi-index | 0.00 |
In this paper a systematic development process for describing requirement specifications of embedded safety relevant systems is presented. The procedure resembles the V-model widely used in practice, according to which the software production is devided into different steps. Concrete guidelines are given that lead to structured requirement specifications of embedded cyclic systems for which real-time conditions and safety critical characteristics play a role. When describing the system, it is divided into the whole system (hardware and software) and the controller (only software). By doing so a clear division is gained between the values of the system and the values which are available to the controller. On this basis hardware failures arising in the whole system can be described and considered by means of the control software. Different formal, semi-formal, and graphical notations are suggested which can be used in combination in order to describe various aspects of a system. The different notations and the various requirement types are classified so that a simple description and analysis of requirements is possible. Formal notations are not urgently necessary for being able to carry out the development steps suggested here. However, due to their precision and their automation potential the formal notations are strongly recommended especially for safety critical software.