The Community for Technology Leaders
2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (2013)
San Francisco, CA, USA
May 20, 2013 to May 21, 2013
ISSN: 2157-2305
ISBN: 978-1-4799-0344-3
pp: 63-72
Valerio Panzica La Manna , Dependable Evolvable Pervasive Software Engineering (DEEPSE) Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Via Golgi 42, 20133 Milano, Italy
Joel Greenyer , Dependable Evolvable Pervasive Software Engineering (DEEPSE) Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Via Golgi 42, 20133 Milano, Italy
Carlo Ghezzi , Dependable Evolvable Pervasive Software Engineering (DEEPSE) Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Via Golgi 42, 20133 Milano, Italy
Christian Brenner , Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Zukunftsmeile 1, 33102 Paderborn, Germany
ABSTRACT
Modern software-intensive systems often have to be updated to adapt to unpredicted changes in their environments or to satisfy unpredicted requirement changes. Many systems, however, cannot be easily shut down or are expected to run continuously. Therefore, they must be updated dynamically, at run-time. Especially for critical systems, dynamic updates must be safe and performed as soon as possible. We recently studied the relationship between specification changes and dynamic updates and defined a criterion for when a system can safely disregard its current obligations and how it should change its behavior to satisfy the new specification. In this paper, we study further examples that show that stronger and weaker variants of our original criterion are relevant when engineering dynamically updating software. We formalize these criteria and discuss their safety. Moreover, we provide a tool for synthesizing dynamically updating controllers from changes in scenario-based specifications that respect the new criteria.
INDEX TERMS
History, Control systems, Vehicle dynamics, Accidents, Wheels, Software engineering, Mobile robots
CITATION

V. P. La Manna, J. Greenyer, C. Ghezzi and C. Brenner, "Formalizing correctness criteria of dynamic updates derived from specification changes," 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), San Francisco, CA, USA, 2013, pp. 63-72.
doi:10.1109/SEAMS.2013.6595493
86 ms
(Ver 3.3 (11022016))