hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngå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-38Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
New York, NY: ACM Press, 2015. s. 35-38
Emneord [en]
Automotive Software, Embedded and cyber-physical systems, Model-Based Testing, Diagnosis
HSV kategori
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
Konferanse
First International Workshop on Automotive Software Architectures (WASA 2015), Montréal, QC, Canada, May 4, 2015
Prosjekter
AUTO-CAAS
Forskningsfinansiär
Knowledge Foundation, 20140302Swedish Research Council, 621-2014-5057Tilgjengelig fra: 2015-08-10 Laget: 2015-08-10 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

fulltext(232 kB)386 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 232 kBChecksum SHA-512
ee3aaa10141ee8c8f4e5fdf9fb71a665e8a546a3a8e1a1f99ddbf7996a065d356c73bda602d2fc9cead850f62b56b51e89058de07e14b4aa638f562fe32f23d2
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 386 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 427 treff
RefereraExporteraLink to record
Permanent link

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