Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS) [Position Paper]
Quviq AB, Gothenburg, Sweden.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
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, Published paper (Refereed)
Abstract [en]

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.
Keyword [en]
Automotive Software, Embedded and cyber-physical systems, Model-Based Testing, Diagnosis
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:hh:diva-29102DOI: 10.1145/2752489.2752495ISI: 000380401900006Scopus ID: 2-s2.0-84975690653ISBN: 978-1-4503-3444-0 OAI: oai:DiVA.org:hh-29102DiVA: diva2:844855
Conference
First International Workshop on Automotive Software Architectures (WASA 2015), Montréal, QC, Canada, May 4, 2015
Projects
AUTO-CAAS
Funder
Knowledge Foundation, 20140302Swedish Research Council, 621-2014-5057
Available from: 2015-08-10 Created: 2015-08-10 Last updated: 2016-12-02Bibliographically approved

Open Access in DiVA

fulltext(232 kB)155 downloads
File information
File name FULLTEXT01.pdfFile size 232 kBChecksum SHA-512
ee3aaa10141ee8c8f4e5fdf9fb71a665e8a546a3a8e1a1f99ddbf7996a065d356c73bda602d2fc9cead850f62b56b51e89058de07e14b4aa638f562fe32f23d2
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 155 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 146 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf