hh.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
Rigorous Simulation: Its Theory and Applications
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (Effective Modeling Group)ORCID iD: 0000-0003-4175-4020
2016 (English)Doctoral thesis, monograph (Other academic)
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.

Place, publisher, year, edition, pages
Halmstad: Halmstad University Press, 2016. , 203 p.
Series
Halmstad University Dissertations, 25
Keyword [en]
simulation, verification, interval analysis, validated numerics, hybrid systems, cyber-physical systems
National Category
Computer Science
Identifiers
URN: urn:nbn:se:hh:diva-32608Libris ID: 20188756ISBN: 978-91-87045-53-0 (print)ISBN: 978-91-87045-52-3 (print)OAI: oai:DiVA.org:hh-32608DiVA: diva2:1052710
Public defence
2016-12-01, Wigforssalen, Visionen, Kristian IV:s väg 3, Halmstad, 13:15 (English)
Opponent
Supervisors
Funder
VINNOVAKnowledge Foundation
Available from: 2016-12-07 Created: 2016-12-07 Last updated: 2017-05-16Bibliographically approved

Open Access in DiVA

thesis(1564 kB)149 downloads
File information
File name FULLTEXT01.pdfFile size 1564 kBChecksum SHA-512
465b1a83d3a4f235e379aedfa4b42ad8ec4d79d16b858c58e10735042d2086a2106194e60768de834ef5ab0f5dad4aa0b522ac5db696bea6dd3e270c9062d768
Type fulltextMimetype application/pdf
errata(174 kB)25 downloads
File information
File name FULLTEXT02.pdfFile size 174 kBChecksum SHA-512
11eee8971a4c40f8086f9894e7d4854440fcd30b8a3627e65828061518cecb1a5d8423df384594cd5a0dcde6990fadbd3e334ac68a73744dd8dfffd14285ddac
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Duracz, Adam
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 174 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

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