Snook, Colin, Poppleton, Michael and Johnson, Ian
Towards a methodology for rigorous development of generic requirements patterns.
In, Workshop on Rigorous Engineering of Fault Tolerant Systems, Newcastle, UK,
We present work in progress on a methodology for the engineering, validation and veriﬁcation of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of veriﬁcation demanded by safety-critical domains such as avionics. We consider the failure detection and management function for engine control systems as an application domain where product line engineering is useful. The methodology produces a generic requirement set in our, UML based, formal notation, UML-B. The formal veriﬁcation both of the generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools.
Actions (login required)