Change search
ReferencesLink to record
Permanent link

Direct link
Visualising Interval-Based Simulations
Halmstad University.
Halmstad University.
2015 (English)Independent thesis Basic level (university diploma), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

Acumen is a language and tool for modeling and simulating cyber-physical systems. It allows the user to conduct simulations using a technique called rigorous simulation that produces results with explicit error bounds, expressed as intervals. This feature can be useful when designing and testing systems where the reliability of results or taking uncertainty into account is important.

Unfortunately, analyzing these simulation results can be difficult, as Acumen supports only two ways of presenting them: raw data tables and 2D-plots.

These views of the data make certain kinds of analysis cumbersome, such as understanding correlations between variables. This is especially true when the model in question is large. This project proposes a new way of visualising rigorous simulation results in Acumen.

The goal of this project is to create a method for visualising intervallic values in 3D, and implement it in Acumen. To achieve that, every span of values is represented as a series of overlapping objects. This family of objects, which constitutes an under-approximation of the true simulation result, is then wrapped inside a semi-translucent box that is a conservative over-approximation of the simulation result.

The resulting implementation makes for a combination of mathematical correctness (rigour), and mediation of intervals in question. It enables the user to explore the results of his rigorous simulations as conveniently as with the existing, non-rigorous simulation methods, using the 3D visualisation to simplify the study of real-life problems.

To our knowledge, no existing software features visualisation of interval-based simulation results, nor is there any convention for doing this. Some ways in which the proposed solution could be improved are suggested at the end of this report

Place, publisher, year, edition, pages
2015. , 52 p.
Keyword [en]
Visualising, Interval-based, enclosure-based, simulation, simulations, simulating, visualisation, acumen, scala, uncertain, uncertainty, uncertain values
National Category
Computer Science
URN: urn:nbn:se:hh:diva-28592OAI: diva2:822244
Subject / course
Computer science and engineering
Available from: 2015-07-01 Created: 2015-06-16 Last updated: 2016-02-23Bibliographically approved

Open Access in DiVA

Visualising Interval-Based Simulations(2117 kB)57 downloads
File information
File name FULLTEXT01.pdfFile size 2117 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Pawlik, Amadeusz
By organisation
Halmstad University
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 57 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: 155 hits
ReferencesLink to record
Permanent link

Direct link