Start / Publications / Performance Analysis of Adaptive Runge-Kutta Methods in ...

Performance Analysis of Adaptive Runge-Kutta Methods in Region of Interest

Alarico Campetelli and Georg Hackenberg

2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems , 13-17 April 2015

mechatronic system system engineering system verification system validation

Abstract

The combination of embedded systems with physical components, termed Cyber-Physical Systems (CPSs), poses important challenges in the design, modelling, simulation and verification of systems, because they combine discrete software elaborations with analogues time evolutions and different engineering disciplines. The increasing importance of the software components in CPSs determines needs for modelbased tool supporting in the design and integration of the artefacts from different disciplines. We presented within the framework of FOCUS modelling theory a logical representation of software-intensive CPSs: hybrid i/o state machines. We introduced algorithms for the simulation of such state machines a modelling support tool. In early development phases test and validation of software-intensive CPSs, before the final hardware deployment permits an agiler and more efficient design. In this paper we analyse a preliminary implementation of our sampling algorithms with a focus on performance and scalability aspects. We compare the results with dynamic sampling algorithms used in MATLAB Simulink/Stateflow that is de facto an industrial standard for the design of embedded systems.

BibTEX

@inproceedings{Campetelli2015,
	title = "Performance Analysis of Adaptive Runge-Kutta Methods in Region of Interest",
	authors = "Alarico Campetelli and Georg Hackenberg",
	booktitle = "2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015)",
	year = 2015,
	location = {Seattle, WA, U.S.}
}

You might also be interested in

A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models

Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas and Denis Bytschkow

" A key success factor for building smart control software for today's energy systems is a precise understanding of their behavioral requirements. However, current engineering approaches lack the possibility to validate these requirements in early phases ..."

In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International , pp.596-601 , 21-25 July 2014

Slides Bibtex

energy system system engineering system design system validation dynamic programming

Modellbasierte Konzeption von Benutzerschnittstellen im Entwicklungsprozess von mechatronischen Systemen

Christoph Richter, Georg Hackenberg, Peter Stich and Gunther Reinhart

" Aufgrund der juengsten Entwicklungen im Konsumgueterbereich ruecken Benutzerschnittstellen (HMIs) zunehmend in den Fokus des Maschinen- und Anlagenbaus. In etablierten Vorgehensmodellen der Entwicklung stellen HMIs jedoch lediglich ein Randthema dar, was die Realisierung intuitiver Bedienkonzepte erschwert. ..."

In Tag des Systems Engineering , 30 September 2015

Bibtex

manufacturing system user interface system engineering system design system verification system validation

Supporting Concurrent Development of Requirements and Architecture: A Model-based Approach

Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker and Sabine Teufl

" A system’s requirements and its architecture are usually developed at least partly in parallel. This demands a continuous and automated assessment to confirm that the architecture conforms to its requirements. To enable such an assessment, ..."

In Model-Driven Engineering and Software Development (MODELSWARD), 2nd International Conference on , 7-9 January 2014

Bibtex

software system system engineering system analysis system design system verification