Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
  
 

Publikationen

Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML

Holger Giese and Wilhelm Schäfer
In Javier Cámara, Rogério de Lemos, Carlo Ghezzi and Antónia Lopes, ed., Assurances for Self-Adaptive Systems, vol. 7740 of Lecture Notes in Computer Science (LNCS), pages 152-186. Springer-Verlag, 1 2013.

DOI: 10.1007/978-3-642-36249-1_6

Abstract:

Software is expected to become the dominant driver for innovation for the next generation of advanced distributed embedded real-time systems (advanced mechatronic systems). Software will build communities of autonomous agents at runtime which exploit local and global networking to enhance and optimize their functionality leading to self-adaptation or self-optimization. However, current development tech- niques are not capable of providing the safety guarantees required for this class of systems. Our approach, MechatronicUML, addresses the outlined challenge by proposing a coherent and integrated model-driven develop- ment approach which supports the modeling and verification of safety guarantees for systems with reconfiguration of software components at runtime. Modeling is based on a syntactically and semantically rigor- ously defined and partially refined subset of UML. Verification is based on a special type of decomposition and compositional model checking to make it scalable.

BibTeX file

@incollection{Giese&Schaefer2013,
author = { Holger Giese and Wilhelm Schäfer },
title = { Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML },
year = { 2013 },
volume = { 7740 },
pages = { 152-186 },
abstract = { Software is expected to become the dominant driver for innovation for the next generation of advanced distributed embedded real-time systems (advanced mechatronic systems). Software will build communities of autonomous agents at runtime which exploit local and global networking to enhance and optimize their functionality leading to self-adaptation or self-optimization. However, current development tech- niques are not capable of providing the safety guarantees required for this class of systems. Our approach, MechatronicUML, addresses the outlined challenge by proposing a coherent and integrated model-driven develop- ment approach which supports the modeling and verification of safety guarantees for systems with reconfiguration of software components at runtime. Modeling is based on a syntactically and semantically rigor- ously defined and partially refined subset of UML. Verification is based on a special type of decomposition and compositional model checking to make it scalable. },
month = { 1 },
editor = { Javier Cámara, Rogério de Lemos, Carlo Ghezzi and Antónia Lopes },
publisher = { Springer-Verlag },
series = { Lecture Notes in Computer Science (LNCS) },
booktitle = { Assurances for Self-Adaptive Systems }
}

Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

last change: Fri, 18 Jan 2013 15:54:20 +0100