by Holger Giese, Wilhelm Schäfer
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.
Reference:
Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML (Holger Giese, Wilhelm Schäfer), Chapter in Assurances for Self-Adaptive Systems (Javier Camara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, eds.), Springer, volume 7740, 2013.
Bibtex Entry:
@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.}
}