Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Therefore an iterative-incremental approach, grouped into phases and subprocesses, is used,<br />
with which the amount of concrete information grows step-by-step. Test and verification techniques<br />
are used in each step in order to guarantee the correctness of the modeling work previously<br />
carried out. The precondition for this is that a model is obtained as early possible, which is mature<br />
enough for model execution to take place. This allows the application of automated test and<br />
verification techniques and the simulation of the future behavior of the system. Within the scope<br />
of this research an automated test case generation tool is used which allows the system behavior<br />
to be made explicit such that it can be compared against the specified behavior. Optionally a<br />
formal verification tool (based on model-checking) can be integrated, such that the requirement<br />
model can be tested against safety constraints.<br />
Through the course of this research a complete example model is used. This consists of a requirement<br />
model for a level crossing safety system, which is oriented to the functionality of a real<br />
safety system. The example model was developed to complete model execution capability and<br />
the test methods described above were applied to it.<br />
This showed that:<br />
• model-based requirement specification is possible<br />
• the chosen process model can be applied in practice<br />
• and through the strict process orientation and the use of contemporary technologies it is<br />
possible to improve the quality of requirement specifications.<br />
The research also introduces the tools necessary for the individual steps and analyzes their<br />
applicability. This leads to statements about a prototype tool-chain, with which the procedure<br />
described can be implemented.<br />
2