Towards executing dynamically updating finite-state controllers on a robot system
Pages 42 - 47
Abstract
Modern software systems are increasingly required to run for a long time and deliver uninterrupted service. Their requirements or their environments, however, may change. Therefore, these systems must be updated dynamically, at runtime. Typical examples can be found in manufacturing, transportation, or space applications, where stopping the system to deploy updates can be difficult, costly, or simply not possible. In previous work we proposed a model-driven approach that uses automatically synthesized finite-state controllers from scenario-based assume/guarantee specifications to safely and efficiently dynamically update the system. In this paper we describe an execution infrastructure of this approach, which allows us to execute and deploy newly synthesized dynamically updating controllers on embedded devices. We present a prototype implementation in Java for Lego Mindstorms robots. This experience gained can lead to a systematic approach to implement dynamic updates in the aforementioned critical software-intensive systems.
References
[1]
C. Ghezzi, J. Greenyer, and V. Panzica La Manna, "Synthesizing dynamically updating controllers from changes in scenario-based specifications," in Proc. 7th Int. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), 2012.
[2]
V. Panzica La Manna, J. Greenyer, C. Ghezzi, and C. Brenner, "Formalizing correctness criteria of dynamic updates derived from specification changes," in Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), 2013.
[3]
D. Harel and S. Maoz, "Assert and negate revisited: Modal semantics for UML sequence diagrams," Software and Systems Modeling (SoSyM), vol. 7, no. 2, pp. 237--252, May 2008.
[4]
J. Greenyer, "Scenario-based design of mechatronic systems," Ph.D. dissertation, University of Paderborn, 2011.
[5]
A. R. Gregersen and B. N. Jørgensen, "Dynamic update of java applications--balancing change flexibility vs programming transparency," J. Softw. Maint. Evol., vol. 21, no. 2, pp. 81--112, Mar. 2009.
[6]
J. Kabanov, "JRebel tool demo," Electron. Notes Theor. Comput. Sci., vol. 264, no. 4, pp. 51--57, Feb. 2011.
[7]
M. Hicks and S. Nettles, "Dynamic software updating," ACM Trans. Program. Lang. Syst., vol. 27, no. 6, pp. 1049--1096, Nov. 2005.
[8]
I. Neamtiu, M. Hicks, G. Stoyle, and M. Oriol, "Practical dynamic software updating for c," SIGPLAN Not., vol. 41, no. 6, pp. 72--83, Jun. 2006.
[9]
J. Kramer and J. Magee, "The evolving philosophers problem: Dynamic change management," IEEE Trans. Softw. Eng., vol. 16, pp. 1293--1306, Nov. 1990.
[10]
Y. Vandewoude, P. Ebraert, Y. Berbers, and T. D'Hondt, "Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates," IEEE Trans. Softw. Eng., vol. 33, pp. 856--868, Dec. 2007.
[11]
X. Ma, L. Baresi, C. Ghezzi, V. Panzica La Manna, and J. Lu, "Version-consistent dynamic reconfiguration of component-based distributed systems," in Proc. 19th Symp. and 13th European Conf. on Foundations of software engineering, ser. ESEC/FSE '11. New York, NY, USA: ACM, 2011, pp. 245--255.
[12]
H. Giese, S. Burmester, W. Schäfer, and O. Oberschelp, "Modular design and verification of component-based mechatronic systems with online-reconfiguration," in Proc. 12th Intl. Symp. on Foundations of software engineering, ser. SIGSOFT '04/FSE-12. New York, NY, USA: ACM, 2004, pp. 179--188.
[13]
D. Gupta, P. Jalote, and G. Barua, "A formal framework for on-line software version change," IEEE Trans. Software Engineering, vol. 22, no. 2, pp. 120--131, Feb. 1996.
[14]
R. P. Cook and I. Lee, "Dymos: A dynamic modification system," in Proc. Software engineering symposium on High-level debugging, ser. SIGSOFT '83. New York, NY, USA: ACM, 1983, pp. 201--202.
[15]
D. Gupta and P. Jalote, "On line software version change using state transfer between processes," Softw. Pract. Exper., vol. 23, pp. 949--964, Sept. 1993.
[16]
J. Zhang and B. H. C. Cheng, "Model-based development of dynamically adaptive software," in Proc. 28th Intl. Conf. on Software Engineering, ser. ICSE '06. New York, NY, USA: ACM, 2006, pp. 371--380.
[17]
R. Adler, I. Schaefer, T. Schuele, and E. Vecchié, "From model-based design to formal verification of adaptive embedded systems," in Proc. 9th Intl. Conf. on Formal methods and software engineering, ser. ICFEM'07. Berlin, Heidelberg: Springer-Verlag, 2007, pp. 76--95.
[18]
S. Bouveret, J. Brunel, D. Chemouil, and F. Dagnaty, "Towards a categorical framework to ensure correct software evolutions," in Proc. 27th International Conference on Data Engineering Workshops, ser. ICDEW '11. Washington, DC, USA: IEEE, 2011, pp. 139--144.
[19]
M. U. Iftikhar and D. Weyns, "Activforms: Active formal models for self-adaptation," in Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ser. SEAMS 2014. New York, NY, USA: ACM, 2014, pp. 125--134.
Index Terms
- Towards executing dynamically updating finite-state controllers on a robot system
Recommendations
Towards Executing Dynamically Updating Finite-State Controllers on a Robot System
MISE '15: Proceedings of the 2015 IEEE/ACM 7th International Workshop on Modeling in Software EngineeringModern software systems are increasingly required to run for a long time and deliver uninterrupted service. Their requirements or their environments, however, may change. Therefore, these systems must be updated dynamically, at run-time. Typical ...
Synthesizing dynamically updating controllers from changes in scenario-based specifications
SEAMS '12: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing SystemsMany software-intensive systems are expected to run continuously while their environments change and their requirements evolve, so their implementation must be updated dynamically to satisfy changing requirements while coping with changing environment ...
Towards Dynamic Component Updating: A Flexible and Lightweight Approach
COMPSAC '09: Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01Dynamic component updating, which allows a running system to be updated without interrupting its execution, has been recognized as an important requirement for distributed systems. However, most of existing approaches complicate the component development ...
Comments
Information & Contributors
Information
Published In
Sponsors
- ACM: Association for Computing Machinery
- SIGSOFT: ACM Special Interest Group on Software Engineering
- IEEE-CS\DATC: IEEE Computer Society
- TCSE: IEEE Computer Society's Tech. Council on Software Engin.
Publisher
IEEE Press
Publication History
Published: 16 May 2015
Check for updates
Qualifiers
- Research-article
Conference
Acceptance Rates
Overall Acceptance Rate 13 of 30 submissions, 43%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 49Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to 08 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in