[Back]

S. Kandl, R. Kirner:
"Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award)";
Talk: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006).

Due to the increasing usage of control systems
in cars (e.g., ESP, steer-by-wire, brake-by-wire), the fact,
that more and more applications are also classified as safetycritical,
for instance according to the safety standard IEC
61508 [1], and the increasing complexity of software, there is
a strong need to improve the testing processes within the automotive
domain to ensure the quality of the developed systems.
We introduce the development of a testing framework using formal
methods. The test cases are automatically derived from
a model of the system under test based on the requirements
defined in the system specification. This is done by means of
model checking. Also the evaluation of the testing results is
automated to meet test quality criteria, e.g., coverage metrics.

http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586890