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

An Adaptable XML Based Approach for Scientific Data Management and Integration

Fusheng Wang, Florian Thiel, Daniel Furrer, Cristobal Vergara-Niedermayr, Chen Qin, Georg Hackenberg, Pierre-Emmanuel Bourgue, David Kaltschmidt, Mo Wang

" Increased complexity of scientific research poses new challenges to scientific data management. Meanwhile, scientific collaboration is becoming increasing important, which relies on integrating and sharing data from distributed institutions. We develop SciPort, a Web-based platform ..."

In SPIE Medical Imaging 2008: PACS and Imaging Informatics , 16-21 February 2008

Bibtex

data integration user interface

Formal Technical Process Specification and Verification for Automated Production Systems

Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser

" The complexity of automated production systems increases constantly due to growing functional requirements and engineering discipline integration. Early design steps include the cross-discipline specification of the system’s technical process, while later steps have to ensure ..."

In 8th System Analysis and Modeling Conference (SAM 2014) , 29-30 September 2014

Slides Bibtex

manufacturing system system engineering system design system verification

An Adaptable XML Based Approach for Scientific Data Management and Integration

Fusheng Wang, Florian Thiel, Daniel Furrer, Cristobal Vergara-Niedermayr, Chen Qin, Georg Hackenberg, Pierre-Emmanuel Bourgue, David Kaltschmidt, Mo Wang

" Increased complexity of scientific research poses new challenges to scientific data management. Meanwhile, scientific collaboration is becoming increasing important, which relies on integrating and sharing data from distributed institutions. We develop SciPort, a Web-based platform ..."

In SPIE Medical Imaging 2008: PACS and Imaging Informatics , 16-21 February 2008

Bibtex

data integration user interface