Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML (bibtex)
Reference:
Holger Giese and Martin Hirsch, "Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML", in Jean-Michel Bruel, Ed., Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, vol. 3844 of Lecture Notes in Computer Science (LNCS), pp. 67-78, Springer Verlag, January 2006.
Abstract:
While traditionally the environment considered by an autonomous mechatronic systems only consist of the measurable, surrounding physical world, today advanced mechatronic systems also include the context established by the information technology. This trend makes mechatronic systems possible which consist of cooperating agents which optimize the system behavior by adjusting their local behavior and cooperation structure to better serve their current goals depending on the experienced mechanical and information environment. The MECHATRONIC UML approach enables the component-wise development of such self-optimizing mechatronic systems by providing a notion for hybrid components and support for modular verification of the safe online-reconfiguration. In this paper, we present an extension to the formerly presented solution which overcomes the restriction that only purely reactive behavior with restricted time constraints can be verified. We present how model checking can be employed to also verify the safe modular reconfiguration for systems which include components with complex time constraints and proactive behavior.
Links:
@InCollection{GH05b_ag,
AUTHOR = {Giese, Holger and Hirsch, Martin},
TITLE = {{Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML}},
YEAR = {2006},
MONTH = {January},
BOOKTITLE = {Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers},
VOLUME = {3844},
PAGES = {67-78},
EDITOR = {Bruel, Jean-Michel},
SERIES = {Lecture Notes in Computer Science (LNCS)},
PUBLISHER = {Springer Verlag},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2005/MARTES05-lncs.pdf},
ABSTRACT = {While traditionally the environment considered by an autonomous mechatronic systems only consist of the measurable, surrounding physical world, today advanced mechatronic systems also include the context established by the information technology. This trend makes mechatronic systems possible which consist of cooperating agents which optimize the system behavior by adjusting their local behavior and cooperation structure to better serve their current goals depending on the experienced mechanical and information environment. The MECHATRONIC UML approach enables the component-wise development of such self-optimizing mechatronic systems by providing a notion for hybrid components and support for modular verification of the safe online-reconfiguration. In this paper, we present an extension to the formerly presented solution which overcomes the restriction that only purely reactive behavior with restricted time constraints can be verified. We present how model checking can be employed to also verify the safe modular reconfiguration for systems which include components with complex time constraints and proactive behavior.},
ANNOTE = {LANGUAGE : english}
}
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