hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS) [Position Paper]
Quviq AB, Gothenburg, Sweden.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
2015 (Engelska)Ingår i: 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, s. 35-38Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
New York, NY: ACM Press, 2015. s. 35-38
Nyckelord [en]
Automotive Software, Embedded and cyber-physical systems, Model-Based Testing, Diagnosis
Nationell ämneskategori
Programvaruteknik
Identifikatorer
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, id: diva2:844855
Konferens
First International Workshop on Automotive Software Architectures (WASA 2015), Montréal, QC, Canada, May 4, 2015
Projekt
AUTO-CAAS
Forskningsfinansiär
KK-stiftelsen, 20140302Vetenskapsrådet, 621-2014-5057Tillgänglig från: 2015-08-10 Skapad: 2015-08-10 Senast uppdaterad: 2018-01-11Bibliografiskt granskad

Open Access i DiVA

fulltext(232 kB)389 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 232 kBChecksumma SHA-512
ee3aaa10141ee8c8f4e5fdf9fb71a665e8a546a3a8e1a1f99ddbf7996a065d356c73bda602d2fc9cead850f62b56b51e89058de07e14b4aa638f562fe32f23d2
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Mousavi, Mohammad Reza

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad Reza
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 389 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 428 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf