|
Title
|
|
|
|
Validating industrial requirements with a contract-based approach
| |
|
Author
|
|
|
|
| |
|
Abstract
|
|
|
|
| This paper presents our contract-based design technique for formalizing requirements during the design phase of a complicated and safety-critical automotive component. In our approach, contracts are created using property specification patterns to eliminate ambiguous unstructured natural language requirements, which could lead to misinterpretations or mismatched interfaces in the integration phases of the design process. These patterns are then automatically transformed into Signal Temporal Logic (STL) formulas. The STL formulas are verified on a modeled system of the component, utilizing the Matlab (R) toolbox Breach. This approach validates the industrial requirements described in the contracts, and can help achieve the requirement-based testing demanded by automotive safety standard ISO 26262. |
| |
|
Language
|
|
|
|
English
| |
|
Source (journal)
|
|
|
|
2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019)
| |
|
Source (book)
|
|
|
|
ACM/IEEE 22nd International Conference on Model Driven Engineering, Languages and Systems Companion (MODELS-C), SEP 15-20, 2019, Munich, GERMANY
| |
|
Publication
|
|
|
|
Los alamitos
:
Ieee computer soc
,
2019
| |
|
ISBN
|
|
|
|
978-1-72815-125-0
| |
|
DOI
|
|
|
|
10.1109/MODELS-C.2019.00010
| |
|
Volume/pages
|
|
|
|
(2019)
, p. 18-27
| |
|
ISI
|
|
|
|
000521634200003
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|