mdh.sePublications
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
Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-4987-7669
Swedish Institute of Computer Science Kista, Sweden.
Swedish Institute of Computer Science Kista, Sweden.ORCID iD: 0000-0002-5032-2310
Scania CV AB Södertälje, Sweden.
2015 (English)In: Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015, 2015, 1066-1073 p.Conference paper, Published paper (Refereed)
Abstract [en]

The size and complexity of software in automotive systems have increased steadily over the last decades. Modern vehicles typically contain numerous electrical control units (ECUs), and more and more features require real-time interaction between several dedicated ECUs (e.g., gearbox, brake and engine control units) in order to perform their tasks. Since system safety and reliability must not be adversely affected by this increase in complexity, proper quality assurance is a must. Such quality assurance is often performed by testing the system in different levels of integration throughout the development process. However, the growth of complexity of the system under test aslo affects the testing, making it laborious, difficult and costly. This paper presents a novel method for efficient offline analysis of traces, which has been especially tailored for integration testing of automotive systems. The method exploits the recently defined concept of independent guarded assertion in order to formally describe the events that are relevant for the analysis as well as the expected behavior in those events. The offline analysis is implemented using a standard commercial model checker and has shown good performance in the conducted experiments.

Place, publisher, year, edition, pages
2015. 1066-1073 p.
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:mdh:diva-29645DOI: 10.1109/HPCC-CSS-ICESS.2015.251ISI: 000380408100176Scopus ID: 2-s2.0-84961711599ISBN: 9781479989362 (print)OAI: oai:DiVA.org:mdh-29645DiVA: diva2:876493
Conference
12th IEEE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS ICESS 2015, 24 Aug 2015, New York, United States
Projects
SaDIES. Safe Dynamic Software Instrumentation for Embedded SystemsVeriSpec - Structured Specification and Automated Verification for Automotive Functional SafetyTOCSYC - Testing of Critical System Characteristics (KKS)
Available from: 2015-12-03 Created: 2015-11-26 Last updated: 2016-09-01Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Rodriguez-Navas, GuillermoSundmark, Daniel
By organisation
Embedded Systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 21 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