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
Rigorous Simulation: Its Theory and Applications
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). (Effective Modeling Group)ORCID-id: 0000-0003-4175-4020
2016 (Engelska)Doktorsavhandling, monografi (Övrigt vetenskapligt)
Abstract [en]

Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. Traditional simulation tools can produce useful results, but their results are traditionally approximations that make it impossible to distinguish a useful simulation from one dominated by numerical error. Verification tools require skills in formal specification and a priori understanding of the particular dynamical system being studied.

This thesis presents rigorous simulation, an approach to simulation that uses validated numerics to produce results that quantify and bound all approximation errors accumulated during simulation. This makes it possible for the user to objectively and reliably distinguish accurate simulations from ones that do not provide enough information to be useful. Explicitly quantifying the error in the output has the side-effect of leading to a tool for dealing with inputs that come with quantified uncertainty.

We formalize the approach as an operational semantics for a core subset of the domain-specific language Acumen. The operational semantics is extended to a larger subset through a translation. Preliminary results toward proving the soundness of the operational semantics with respect to a denotational semantics are presented. A modeling environment with a rigorous simulator based on the operational semantics is described. The implementation is portable, and its source code is freely available. The accuracy of the simulator on different kinds of systems is explored through a set of benchmark models that exercise different aspects of a rigorous simulator. A case study from the automotive domain is used to evaluate the applicability of the simulator and its modeling language. In the case study, the simulator is used to compute rigorous bounds on the output of a model.

Ort, förlag, år, upplaga, sidor
Halmstad: Halmstad University Press, 2016. , s. 203
Serie
Halmstad University Dissertations ; 25
Nyckelord [en]
simulation, verification, interval analysis, validated numerics, hybrid systems, cyber-physical systems
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:hh:diva-32608Libris ID: 20188756ISBN: 978-91-87045-53-0 (tryckt)ISBN: 978-91-87045-52-3 (tryckt)OAI: oai:DiVA.org:hh-32608DiVA, id: diva2:1052710
Disputation
2016-12-01, Wigforssalen, Visionen, Kristian IV:s väg 3, Halmstad, 13:15 (Engelska)
Opponent
Handledare
Forskningsfinansiär
VINNOVAKK-stiftelsenTillgänglig från: 2016-12-07 Skapad: 2016-12-07 Senast uppdaterad: 2018-01-13Bibliografiskt granskad

Open Access i DiVA

thesis(1564 kB)311 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1564 kBChecksumma SHA-512
465b1a83d3a4f235e379aedfa4b42ad8ec4d79d16b858c58e10735042d2086a2106194e60768de834ef5ab0f5dad4aa0b522ac5db696bea6dd3e270c9062d768
Typ fulltextMimetyp application/pdf
errata(174 kB)49 nedladdningar
Filinformation
Filnamn FULLTEXT02.pdfFilstorlek 174 kBChecksumma SHA-512
11eee8971a4c40f8086f9894e7d4854440fcd30b8a3627e65828061518cecb1a5d8423df384594cd5a0dcde6990fadbd3e334ac68a73744dd8dfffd14285ddac
Typ fulltextMimetyp application/pdf

Personposter BETA

Duracz, Adam

Sök vidare i DiVA

Av författaren/redaktören
Duracz, Adam
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 360 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.

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 1026 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