Show simple item record

dc.contributor.authorWenzel, Ingomar
dc.contributor.authorKirner, Raimund
dc.contributor.authorRieder, Bernhard
dc.contributor.authorPuschner, Peter
dc.contributor.editorObermaisser, R.
dc.contributor.editorYunmook, N.
dc.contributor.editorPuschner, P.
dc.contributor.editorRammig, F.J.
dc.date.accessioned2016-03-03T12:35:29Z
dc.date.available2016-03-03T12:35:29Z
dc.date.issued2007-09
dc.identifier.citationWenzel , I , Kirner , R , Rieder , B & Puschner , P 2007 , Cross-platform verification framework for embedded systems . in R Obermaisser , N Yunmook , P Puschner & F J Rammig (eds) , Software Technologies for Embedded and Ubiquitous Systems . Lecture Notes in Computer Science , vol. 4761 , Springer Nature , pp. 137-148 , 5th IFIP International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems , Santorini , 7/05/07 .
dc.identifier.citationconference
dc.identifier.isbn978-3-540-75663-7
dc.identifier.otherPURE: 647476
dc.identifier.otherPURE UUID: 0fbeb641-7795-43c9-8fb1-d6ff2180664c
dc.identifier.otherWOS: 000252602300014
dc.identifier.otherScopus: 38149127088
dc.identifier.urihttp://hdl.handle.net/2299/16676
dc.description.abstractMany innovations in the automotive sector involve complex electronics and embedded software systems. Testing techniques are one of the key methodologies for detecting faults in such embedded systems.In this paper, a novel cross-platform verification framework including automated test-case generation by model checking is introduced. Comparing the execution behavior of a program instance running on a certain platform to the execution behavior of the same program running on a different platform we denote cross-platform verification. The framework supports various types of coverage criteria. It turned out that end-to-end testing is of high importance due to defects occurring on the actual target platform for the first time.Additionally, formal verification can be applied for checking requirements resulting from the specification using the same model generation mechanism that is used for test data generation. Due to a novel self-assessment mechanism, the confidence into the formal models is increased significantly.We provide a case study for the Motorola embedded controller HCS12 that is heavily used by the automotive industry. We perform structural tests on industrial code patterns using a wide-spread industrial compiler. Using our technique, we found two severe compiler defects that have been corrected in subsequent releases.en
dc.format.extent12
dc.language.isoeng
dc.publisherSpringer Nature
dc.relation.ispartofSoftware Technologies for Embedded and Ubiquitous Systems
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.titleCross-platform verification framework for embedded systemsen
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.contributor.institutionDepartment of Computer Science
dc.contributor.institutionSchool of Physics, Engineering & Computer Science
dc.contributor.institutionCentre for Future Societies Research
rioxxterms.versionSMUR
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record