Abstract
The embedded world will undergo a transformation unprecedented in design and manufacture, all of these developments are enabled by advances in electronics and Embedded software.
As a result, the management of scale and complexity becomes increasingly difficult. There is a need to deliver more complex specifications, with higher quality, in faster time frames and at lower cost and the implications of errors surfacing in later stages of the development cycle are becoming increasingly significant.
Current tools available in the market such as Requirements Management tools bring traceability and versioning capabilities and MBSE tools help capture the architecture and use cases of complex systems.
However, most of the defects are introduced very early while still in the requirement phase but are detected much later on, generating extremely costly iterations of the development cycle, which, in turn, creates rework, delays and additional costs. Given the increased system complexities, uncovering these defects is becoming ever more difficult
A new approach must be used to meet these challenges. The verification of requirements is a necessity and requires advanced computer science techniques whilst being accessible to engineers without any formal methods background to ease the transformation of development organizations.
We will present a very innovative approach that allows us to keep on writing textual functional requirements using a formalism close to natural language to ease the adoption by system engineers, whilst this language has formal semantics allowing powerful simulation and validation capabilities. Missing, conflicting and erroneous requirements can be detected early on to avoid injecting those errors into the development process. Functional safety can also benefit from such a modern approach as safety requirements can be captured in Observers to detect safety violations during the requirements simulations.
