DocumentCode :
726475
Title :
Towards Executing Dynamically Updating Finite-State Controllers on a Robot System
Author :
La Manna, Valerio Panzica ; Greenyer, Joel ; Clun, Donato ; Ghezzi, Carlo
Author_Institution :
MIT Media Lab., Cambridge, MA, USA
fYear :
2015
fDate :
16-17 May 2015
Firstpage :
42
Lastpage :
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 run-time. 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 Mind storms robots. This experience gained can lead to a systematic approach to implement dynamic updates in the aforementioned critical software-intensive systems.
Keywords :
Java; control engineering computing; finite state machines; formal specification; robots; Java; Lego Mindstorm robot; critical software-intensive system; execution infrastructure; finite-state controller; model-driven approach; robot system; scenario-based assume/guarantee specification; software system; Charging stations; Concrete; Monitoring; Robot kinematics; Robot sensing systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on
Conference_Location :
Florence
Type :
conf
DOI :
10.1109/MiSE.2015.15
Filename :
7167401
Link To Document :
بازگشت