liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Model validation for embedded systems using formal method-aided simulation
Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system.
Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system.
Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system.
2008 (Engelska)Ingår i: IET Computers and digital techniques, ISSN 1751-8601 , Vol. 2, nr 6, s. 413-433Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, these systems become more and more complex. At the same time, the systems must fulfil strict requirements on reliability and correctness. Informal validation techniques, such as simulation, suffer from the fact that they only examine a small fraction of the state space. Therefore simulation results cannot be 100% guaranteed. Formal techniques, on the other hand, suffer from state-space explosion and might not be practical for huge, complex systems due to memory and time limitations. A validation approach, based on simulation, which addresses some of the above problems is proposed. Formal methods, in particular, model checking, are used to aid, or guide, the simulation process in certain situations in order to boost coverage. The invocation frequency of the model checker is dynamically controlled by estimating certain parameters related to the simulation speed of the particular system at hand. These estimations are based on statistical data collected during the validation session, in order to minimise veri. cation time, and at the same time, achieve reasonable coverage.

Ort, förlag, år, upplaga, sidor
2008. Vol. 2, nr 6, s. 413-433
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:liu:diva-16215DOI: 10.1049/iet-cdt:20070128OAI: oai:DiVA.org:liu-16215DiVA, id: diva2:133458
Anmärkning
This paper is a postprint of a paper submitted to and accepted for publication in IET COMPUTERS AND DIGITAL TECHNIQUES and is subject to Institution of Engineering and Technology Copyright. The copy of record is available at IET Digital Library Original Publication: Daniel Karlsson, Petru Ion Eles and Zebo Peng, Model validation for embedded systems using formal method-aided simulation, 2008, IET COMPUTERS AND DIGITAL TECHNIQUES, (2), 6, 413-433. http://dx.doi.org/10.1049/iet-cdt:20070128 Copyright: Iet http://www.theiet.org/ Tillgänglig från: 2009-01-15 Skapad: 2009-01-09 Senast uppdaterad: 2009-05-04Bibliografiskt granskad

Open Access i DiVA

fulltext(211 kB)249 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 211 kBChecksumma SHA-512
fa4a3074bb05eaf42c8ebe0164e5e7f54dff0bcfc1195f64bc56abda92fe3c2862899076e88bd814cd7ee719d16e7a268a635227a064601fd5901bdec3f155fe
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltext

Personposter BETA

Karlsson, DanielEles, Petru Ion Peng , Zebo

Sök vidare i DiVA

Av författaren/redaktören
Karlsson, DanielEles, Petru Ion Peng , Zebo
Av organisationen
Tekniska högskolanESLAB - Laboratoriet för inbyggda system
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 249 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
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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