Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS) [Position Paper]
2015 (English)In: WASA '15: Proceedings of the First International Workshop on Automotive Software Architecture / [ed] Yanja Dajsuren, Harald Altinger & Miroslaw Staron, New York, NY: ACM Press, 2015, 35-38 p.Conference paper (Refereed)
This paper provides some background and the roadmap of the AUTO-CAAS project, which is a 3-year project financed by the Swedish Knowledge Foundation and is ongoing as a joint project among three academic and industrial partners. The aim of the project is to exploit the formal models of the AUTOSAR standard, developed by the industrial partner of the project Quviq AB, in order to predict possible future failures in concrete implementations of components. To this end, the deviations from the formal specification will be exploited to generate test-cases that can push concrete components to the corners where such deviation will result in observable failures. The same information will also be used in the diagnosis of otherwise detected failures in order to pinpoint their root causes.
Place, publisher, year, edition, pages
New York, NY: ACM Press, 2015. 35-38 p.
Automotive Software, Embedded and cyber-physical systems, Model-Based Testing, Diagnosis
IdentifiersURN: urn:nbn:se:hh:diva-29102DOI: 10.1145/2752489.2752495ISBN: 978-1-4503-3444-0OAI: oai:DiVA.org:hh-29102DiVA: diva2:844855
First International Workshop on Automotive Software Architectures (WASA 2015), Montréal, QC, Canada, May 4, 2015
FunderKnowledge Foundation, 20140302Swedish Research Council, 621-2014-5057