Formal Requirements Specication for Command and Control Systems Jaco van de Pol

This paper presents an approach to formal require ments specication of embedded systems The specic demands of a specication for command and control systems are addressed The proposed method allows various views of a system like conventional methods The added value lies in the fact that the relationship between the views is specied formally and consistency between views can be analyzed formally As a case study we develop and analyze a formal requirements specication for a subsystem of a realistic command and control system Specication and verication are carried out using the language and proof checker of PV