Method to describe and test complete Requirement-Specifications for Electronic-Systems
Gerhard Schilling – visioneer
In this presentation the problems to be solved and the goals are explained to achieve complete requirement specifications for electronic systems by analysing the requirement specification creation process. Thus, the expected overall specification contents are derived from the specification creation process and the expected specification details, which are the characteristics for complete requirements, are shown for any process step separately.
The question is then, how to perform the verification on theses expected contents automatically on requirement-specifications? This shall be solved by creating standardized specifications, that are derived from a system kit for embedded systems and contain automated methods for automatic creation and completeness-verification of any specification-artifact, like textual requirements, MBSE diagrams or tables. As this is a great progress to current requirement engineering methods, the benefits of it shall be discussed in detail.