Navegar

Colección

Datos Estadísticas

Conferencia

Nahabedian, L.; Braberman, V.; D'Ippolito, N.; Honiden, S.; Kramer, J.; Tei, K.; Uchitel, S.; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) "Assured and correct dynamic update of controllers" (2016) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:96-107
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor

Abstract:

In many application domains, continuous operation is a desirable attribute for software-intensive systems. As the environment or system requirements change, so the system should change and adapt without stopping or unduly disturbing its operation. There is, therefore, a need for sound engineering techniques that can cope with dynamic change. In this paper we address the problem of dynamic update of controllers in reactive systems when the specification (environment assumptions, requirements and interface) of the current system changes. We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update. Seven case studies have been implemented to validate the approach. © 2016 ACM.

Registro:

Documento: Conferencia
Título:Assured and correct dynamic update of controllers
Autor:Nahabedian, L.; Braberman, V.; D'Ippolito, N.; Honiden, S.; Kramer, J.; Tei, K.; Uchitel, S.; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)
Filiación:Department of Computing, Imperial College London, United Kingdom
Departamento de Computación, FCEN, Universidad de Buenos Aires, Argentina
National Institute of Informatics, Japan
Palabras clave:Adaptive systems; Controller synthesis; Dynamic update; Adaptive systems; Application programs; Controllers; Software engineering; Specifications; Continuous operation; Controller synthesis; Correctness criterion; Dynamic update; Reactive system; Software intensive systems; Sound engineerings; System requirements; Adaptive control systems
Año:2016
Página de inicio:96
Página de fin:107
DOI: http://dx.doi.org/10.1145/2897053.2897056
Título revista:11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016
Título revista abreviado:Proc. - Int. Symp. Softw. Eng. Adapt. Self-Managing Syst., SEAMS
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p96_Nahabedian

Referencias:

  • (2016) MTSA Synthesis Tool and Case Studies, , http://mtsa.dc.uba.ar/2016-SEAMS/info.html
  • An, S., Ma, X., Cao, C., Yu, P., Xu, C., An event-based formal framework for dynamic software update (2015) Software Quality, Reliability and Security (QRS), 2015 IEEE International Conference on, pp. 173-182
  • Anderson, A., Rathke, J., Migrating protocols in multi-threaded message-passing systems (2009) Proceedings of the 2Nd International Workshop on Hot Topics in Software Upgrades, HotSWUp '09, pp. 8:1-8:5. , New York, NY, USA, ACM
  • Appavoo, J., Hui, K., Soules, C.A.N., Wisniewski, R.W., Da Silva, D.M., Krieger, O., Auslander, M.A., Xenidis, J., Enabling autonomic behavior in systems software with hot swapping (2003) IBM Syst. J., 42 (1), pp. 60-76. , Jan
  • Arshad, N., Heimbigner, D., Wolf, A.L., Deployment and dynamic reconfiguration planning for distributed software systems (2007) Software Quality Journal, 15 (3), pp. 265-281
  • Baier, C., Katoen, J.-P., (2008) Principles of Model Checking (Representation and Mind Series), , The MIT Press
  • Banno, F., Marletta, D., Pappalardo, G., Tramontana, E., Handling consistent dynamic updates on distributed systems (2010) Computers and Communications (ISCC), 2010 IEEE Symposium on, pp. 471-476. , June
  • Baresi, L., Ghezzi, C., The disappearing boundary between development-time and run-time (2010) Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research, FoSER '10, pp. 17-22. , New York, NY, USA, ACM
  • Bloem, R., Chatterjee, K., Henzinger, T.A., Jobstmann, B., Better quality in synthesis through quantitative objectives (2009) Lecture Notes in Computer Science, 5643, pp. 140-156. , A. Bouajjani and O. Maler, editors, Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, Springer
  • Braberman, V., D'Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Morph: A reference architecture for configuration and behaviour self-adaptation (2015) Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE, pp. 9-16. , New York, NY, USA, ACM
  • Braberman, V., D'Ippolito, N., Piterman, N., Sykes, D., Uchitel, S., Controller synthesis: From modelling to enactment (2013) Proceedings of the 2013 International Conference on Software Engineering, ICSE '13, pp. 1347-1350. , Piscataway, NJ, USA, IEEE Press
  • Chen, H., Yu, J., Hang, C., Zang, B., Yew, P.-C., Dynamic software updating using a relaxed consistency model (2011) Software Engineering, IEEE Transactions on, 37 (5), pp. 679-694. , Sept
  • Chen, W.-K., Hiltunen, M., Schlichting, R., Constructing adaptive software in distributed systems (2001) Distributed Computing Systems, 2001. 21st International Conference on, pp. 635-643. , Apr
  • De Alfaro, L., Henzinger, T.A., Interface automata (2001) ESEC / SIGSOFT FSE, pp. 109-120. , ACM
  • D'Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D., Uchitel, S., Hope for the best, prepare for the worst: Multi-tier control for adaptive systems (2014) Proceedings of the 36th International Conference on Software Engineering, ICSE, pp. 688-699. , New York, NY, USA, ACM
  • D'Ippolito, N., Braberman, V., Piterman, N., Uchitel, S., Synthesising non-anomalous event-based controllers for liveness goals (2013) ACM Tran. Softw. Eng. Methodol., 22
  • D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S., Mtsa: The modal transition system analyser (2008) Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on, pp. 475-476. , Sept
  • Doherty, P., Haslum, P., Heintz, F., Merz, T., Nyblom, P., Persson, T., Wingman, B., A distributed architecture for autonomous unmanned aerial vehicle experimentation (2004) Proceedings of the 7th International Symposium on Distributed Autonomous Robotic Systems, pp. 221-230
  • Ellis, C., Keddara, K., Rozenberg, G., Dynamic change within workflow systems (1995) Proceedings of Conference on Organizational Computing Systems, COCS '95, pp. 10-21. , New York, NY, USA, ACM
  • Ghezzi, C., Greenyer, J., Manna, V., Synthesizing dynamically updating controllers from changes in scenario-based specifications (2012) Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012 ICSE Workshop on, pp. 145-154. , June
  • Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11, pp. 257-266. , New York, NY, USA, ACM
  • Grädel, E., Thomas, W., Wilke, T., (2002) Automata Logics, and Infinite Games: A Guide to Current Research, , Springer-Verlag New York, Inc., New York, NY, USA
  • Greenyer, J., Brenner, C., Cordy, M., Heymans, P., Gressi, E., Incrementally synthesizing controllers from scenario-based product line specifications (2013) Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pp. 433-443. , New York, NY, USA, ACM
  • Gupta, D., Jalote, P., Barua, G., A formal framework for on-line software version change (1996) IEEE Trans. Software Eng., 22 (2), pp. 120-131
  • Hayden, C.M., Magill, S., Hicks, M., Foster, N., Foster, J.S., Specifying and verifying the correctness of dynamic software updates (2012) Proceedings of the 4th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE'12, pp. 278-293. , Berlin, Heidelberg, Springer-Verlag
  • Hosek, P., Cadar, C., Safe software updates via multi-version execution (2013) Proceedings of the 2013 International Conference on Software Engineering, ICSE '13, pp. 612-621. , Piscataway, NJ, USA, IEEE Press
  • Keller, R.M., Formal verification of parallel programs (1976) Communications of the ACM, 19, pp. 371-384. , July
  • Kephart, J.O., Chess, D.M., The vision of autonomic computing (2003) Computer, 36 (1), pp. 41-50. , Jan
  • Kramer, J., Magee, J., The evolving philosophers problem: Dynamic change management (1990) IEEE Trans. Softw. Eng., 16 (11), pp. 1293-1306. , Nov
  • Kramer, J., Magee, J., Self-managed systems: An architectural challenge (2007) 2007 Future of Software Engineering, FOSE '07, pp. 259-268. , Washington, DC, USA, IEEE Computer Society
  • Lewerentz, C., Lindner, T., (1995) Formal Development of Reactive Systems - Case Study Production Cell, , London, UK, UK, Springer-Verlag
  • (2014) Windows Workflow Foundations - Foundation Programming - Dynamic Update, , http://msdn.microsoft.com/en-us/library/hh314052(v=vs.110).aspx, Aug
  • Milner, R., (1989) Communication and Concurrency, , Prentice-Hall, New York
  • U. of Paderborn, (2014) New Rail Technology Paderborn, , http://www.railcab.de/, Aug
  • Orso, A., Rao, A., Harrold, M., A technique for dynamic updating of java software (2002) Software Maintenance, 2002. Proceedings. International Conference on, pp. 649-658
  • Panzica La Manna, V., Greenyer, J., Ghezzi, C., Brenner, C., Formalizing correctness criteria of dynamic updates derived from specification changes (2013) Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 63-72. , IEEE Press
  • Pelliccione, P., Tivoli, M., Bucchiarone, A., Polini, A., An architectural approach to the correct and automatic assembly of evolving component-based systems (2008) J. Syst. Softw., 81 (12), pp. 2237-2251. , Dec
  • Piterman, N., Pnueli, A., Sa'ar, Y., Synthesis of reactive (1) designs (2006) Lecture Notes in Computer Science, 3855, pp. 364-380
  • Pnueli, A., The temporal logic of programs (1977) Foundations of Computer Science, 1977., 18th Annual Symposium on, pp. 46-57. , IEEE
  • Pnueli, A., Rosner, R., On the synthesis of a reactive module (1989) Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '89, pp. 179-190. , New York, NY, USA, ACM
  • Ramadge, P., Wonham, W., The control of discrete event systems (1989) Proceedings of the IEEE, 77 (1), pp. 81-98
  • Ramirez, A.J., Cheng, B.H., McKinley, P.K., Beckmann, B.E., Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration (2010) Proceedings of the 7th International Conference on Autonomic Computing, ICAC '10, pp. 225-234. , New York, NY, USA, ACM
  • (2006) ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, , ACM/IEEE
  • Seifzadeh, H., Abolhassani, H., Moshkenani, M.S., A survey of dynamic software updating (2013) Journal of Software: Evolution and Process, 25 (5), pp. 535-568
  • Shen, J., Sun, X., Huang, G., Jiao, W., Sun, Y., Mei, H., Towards a unified formal model for supporting mechanisms of dynamic component update (2005) SIGSOFT Softw. Eng. Notes, 30 (5), pp. 80-89. , Sept
  • Stoyle, G., Hicks, M., Bierman, G., Sewell, P., Neamtiu, I., Mutatis mutandis: Safe and predictable dynamic software updating (2007) ACM Trans. Program. Lang. Syst., 29 (4). , Aug
  • Subramanian, S., Hicks, M., McKinley, K.S., Dynamic software updates: A vm-centric approach (2009) Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '09, pp. 1-12. , New York, NY, USA, ACM
  • Sykes, D., Heaven, W., Magee, J., Kramer, J., From Goals to Components: A Combined Approach to Self-Management (2008) Proceedings of the ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS'08
  • Tajalli, H., Garcia, J., Edwards, G., Medvidovic, N., Plasma: A plan-based layered architecture for software model-driven adaptation (2010) Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pp. 467-476. , ACM
  • Van Der Aalst, W.M.P., Jablonski, S., Dealing with workflow change: Identification of issues and solutions (2000) International Journal of Computer Systems Science and Engineering, 15 (5), pp. 267-276. , Sept
  • Vandewoude, Y., Ebraert, P., Berbers, Y., D'Hondt, T., Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates (2007) Software Engineering, IEEE Transactions on, 33 (12), pp. 856-868. , Dec
  • Zhang, J., Cheng, B.H.C., Specifying adaptation semantics (2005) Proceedings of the 2005 Workshop on Architecting Dependable Systems, WADS '05, pp. 1-7. , New York, NY, USA, ACM
  • Zhang, J., Cheng, B.H.C., Model-based development of dynamically adaptive software (2006) Proceedings of the 28th International Conference on Software Engineering, ICSE '06, pp. 371-380. , New York, NY, USA, ACMA4 - Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)

Citas:

---------- APA ----------
Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., Uchitel, S.,..., Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) (2016) . Assured and correct dynamic update of controllers. 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016, 96-107.
http://dx.doi.org/10.1145/2897053.2897056
---------- CHICAGO ----------
Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., et al. "Assured and correct dynamic update of controllers" . 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016 (2016) : 96-107.
http://dx.doi.org/10.1145/2897053.2897056
---------- MLA ----------
Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., et al. "Assured and correct dynamic update of controllers" . 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016, 2016, pp. 96-107.
http://dx.doi.org/10.1145/2897053.2897056
---------- VANCOUVER ----------
Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., et al. Assured and correct dynamic update of controllers. Proc. - Int. Symp. Softw. Eng. Adapt. Self-Managing Syst., SEAMS. 2016:96-107.
http://dx.doi.org/10.1145/2897053.2897056