Validating a mission statement
Our world is increasingly relying on complex software and systems.In a growing number of fields such as transportation, finance, telecommunications, medical devices, they now play a critical role and require high assurance.
This paper demonstrates the practical industrial application of that methodology.
The non-critical parts are modelled semi-formally using a graphical language for goal-oriented requirements engineering. for critical parts of a system) the model can be specified at formal level using a real-time temporal logic.
That formal level seamlessly extends the semi-formal level which can also help hide the formality for the non-specialist.
To ensure at an early stage that the right system is being built and that the requirements model is right, validation and verification tools are applied on that model.
Early verification checks help to discover missing requirements, overlooked assumptions or incorrect goal refinements.