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

Cyber-physical manufacturing system development: A test-driven design method and exploratory case study

Georg Hackenberg and Jakob Mund

" Today, manufacturing engineering companies still struggle developing cyber-physical solutions. Studies suggest that inappropriate engineering methods dominated by mechanical design decisions and incompatible engineering tool landscapes are key problems that lead to isolated and potentially inconsistent ..."

In 5th International Conference on Mechatronics and Control Engineering , 14-17 December 2016

manufacturing system system engineering system design system verification system validation

SciPort: An Adaptable Scientific Data Integration Platform for Collaborative Scientific Research

Fusheng Wang, Pierre-Emmanuel Bourgue, Georg Hackenberg, Mo Wang and David Kaltschmidt

" Scientific data are posing new challenges to data management due to the large volume, complexity and heterogeneity of the data. Meanwhile, scientific collaboration becomes increasingly important, which relies on integrating and sharing data from distributed ..."

In 33rd International Conference on Very Large Data Bases (VLDB '07), pp.1310-1313 , 23-27 September 2007

Bibtex

data integration user interface

From Conception to Refinement in Mechatronic Systems Engineering

Georg Hackenberg, Christoph Richter and Michael Zaeh

" The complexity of mechatronic systems increases constantly due to market requirements. Traditional engineering approaches have troubles coping with the desired functionality. A major problem is the early and continuous integration and coordination of engineering disciplines ..."

In International Journal of Materials, Mechatronics and Manufacturing, Vol. 4, No. 1 , February 2016

Slides Bibtex

manufacturing system system engineering system design system implementation system verification