Download PDFOpen PDF in browserIndustrial Examples of Formal Specifications for Test Case Generation9 pages•Published: December 17, 2015AbstractWhile requirements engineering has received considerable attention inacademia over the past years, formalization of requirements for physically influenced systems is still a difficult task in practice. In this paper, we give formal representations of some typical requirement classes arising in the automotive industry. We divide these patterns into three main classes: those mostly referring to properties of continuous signals, those mostly referring to discrete events and those referring to similarity to a reference signal. We discuss these patterns on concrete examples from automotive embedded systems, where specifications are used for test case generation. Keyphrases: formal specifications, hybrid automata, industrial, temporal logic, test case generation In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 80-88.
|