Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML (bibtex)
Reference:
Holger Giese and Wilhelm Schäfer, "Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML", in Javier Camara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, Eds., Assurances for Self-Adaptive Systems, vol. 7740 of Lecture Notes in Computer Science (LNCS), pp. 152-186, Springer, January 2013.
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.
Links:
@InCollection{Giese&Schaefer2013,
AUTHOR = {Giese, Holger and Sch\"{a}fer, Wilhelm},
TITLE = {{Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML}},
YEAR = {2013},
MONTH = {January},
BOOKTITLE = {Assurances for Self-Adaptive Systems},
VOLUME = {7740},
PAGES = {152-186},
EDITOR = {Camara, Javier and de Lemos, Rog\'{e}rio and Ghezzi, Carlo and Lopes, Antónia},
SERIES = {Lecture Notes in Computer Science (LNCS)},
PUBLISHER = {Springer},
URL = {http://dx.doi.org/10.1007/978-3-642-36249-1_6},
OPTacc_url = {},
PDF = {uploads/pdf/ Giese&Schaefer2012.pdf},
OPTacc_pdf = {},
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.}
}
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.
Powered by bibtexbrowser