A Development Methodology for Cyber-Physical Systems based on Deterministic Theatre with Hybrid Actors

• Autorzy: Cicirello Franco , Nigro Libero

Identyfikatory

DOI

10.34808/tq2021/25.2/e

• Języki publikacji: EN

Abstrakty

EN

The goal of the work described in this paper is to propose a development approach for cyber-physical systems (CPS) which relies on actors as the fundamental modelling blocks. The approach is characterized by its capability to deal with the discrete aspects of the cyber part of a CPS, as well as the continuous behaviour of the physical part. More in particular, the approach is based on the Theatre actor system which fosters determinism in model behaviour, and favours model continuity when switching from system modelling and analysis down to prototype and synthesis phases. A key factor of Theatre is the possibility to combine both discrete-event actors, which operate on a discrete timeline, with continuous-time actors which reproduce, in general by using Ordinary Differential Equations (ODEs), the dynamical evolution of physical components. For formal property assessment, Theatre actors (both discrete and continuous) can be reduced to Timed Automata (TA) in the context of the Uppaal toolbox, where the exhaustive andór the statistical model checkers can be exploited. This paper first describes the proposed approach, then it demonstrates its suitability to CPS modelling and analysis through examples. The paper also discusses how abstract and formal modelling actor concepts can be naturally transitioned to implementation concepts in Java.

Słowa kluczowe

EN

cyber-physical systems; model-driven development; timing models reconciliation; hybrid actors; model continuity; determinism; theatre actor system; Uppaal; Java

PL

systemy cyber-fizyczne; rozwój sterowany; model czasowy; aktorzy hybrydowi; ciągłość modelu; determinizm; Uppaal; Java

• Wydawca: Politechnika Gdańska
• Czasopismo: TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk
• Rocznik: 2021
• Tom: Vol. 25, No 2
• Strony: 233--260
• Opis fizyczny: Bibliogr. 37 poz., rys., tab.

Twórcy

autor

Cicirello Franco

• CNR - National Research Council of Italy, Institute for High Performance Computing and Networking (ICAR), 87036 Rende (CS), Italy

autor

Nigro Libero

• DIMES – Engineering Department of Informatics, Modelling Electronics and Systems Science, University of Calabria, 87036 Rende (CS) – Italy

Bibliografia

• [1] Lee E A and Seshia A S 2017 Introduction to embedded systems-A cyber-physical systems approach, 2𝑛𝑑 Edition
• [2] Derler P, Lee E A and Sangiovanni-Vincentelli A January 2012 Modeling Cyber-Physical Systems, Proc. of the IEEE, 100 (1) 13
• [3] Lee E A 2015 The Past, Present and Future of Cyber-Physical Systems: A Focus on Models., Sensors 2015 15 4837-4869
• [4] Castro R, Marcosig E P and Giribet J I 2020 Simulation model continuity for efficient development of embedded controllers in cyber-physical systems. In Complexity Challenges in Cyber Physical Systems, Using Modelling and Simulation (M&S) to support Intelligence, Adaptation and Autonomy, 1st Edition, S. Mittal & A. Tolk (Eds), John Wiley and Sons
• [5] Ptolemaeus C (ed.) 2014 System Design, Modeling, and Simulation using Ptolemy II., Ptolemy.org
• [6] Lee E A 2006 The problem with threads, Comput. 39 33–42 doi: https://doi.org/10.1109/MC.2006.180
• [7] Lohstroh M and Lee E A 2019 Deterministic actors, Forum on Specification and Design Languages, Southampton, UK
• [8] Jerad C and Lee E A 2018 Deterministic timing for the Industrial Internet of Things, IEEE Int. Conf. on Industrial Internet (ICII) 13-22 doi: DOI 10.1109/ICII.2018.00010
• [9] Lee E A May 2021 Determinism, ACM Transactions on Embedded Computing Systems 20 (5) Article 38 doi: https://doi.org/10.1145/3453652
• [10] Lohstroh M, Menard C, Bateni S and Lee E A May 2021 Toward a Lingua Franca for deterministic concurrent systems, ACM Transactions on Embedded Computing Systems 20 (4) Article 36 1-27
• [11] Lohstroh M, Romeo I I, Goens A, Derler P, Castrillon G, Lee E A and Sangiovanni-Vincentelli A 2019 Reactors: A deterministic model for composable reactive systems, Model-Based Design of Cyber Physical Systems (CyPhy’19)
• [12] Sirjani M, Lee E A and Khamespanah E 2020 Verification of cyberphysical systems, Mathematics 8 (7) 1068
• [13] Jafari A, Khamespanah E, Sirjani M, Hermanns H and M. Cimini M 2016 PTRebeca: modeling and analysis of distributed and asynchronous systems, Science of Compututer Programming 128 22–50 doi: https://doi.org/10.1016/j.scico.2016.03.004
• [14] Cicirelli F, Nigro L and Sciammarella P F 2020 Seamless development in Java of distributed real-time systems using actors, Int. J. Simulation and Process Modelling 15 (1/2) 13-29
• [15] Nigro L and Sciammarella P F 2018 Qualitative and quantitative model checking of distributed probabilistic timed actors, Simulation Modelling Practice and Theory 87 343-368 doi: 10.1016/j.simpat.2018.07.011
• [16] Nigro L and Sciammarella P F 2018 Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre, The 22nd International Symposium on Distributed Simulation and Real-Time Applications (IEEE/ACM DS-RT 2018), October 15-17, Madrid, Spain
• [17] Nigro L 2020 Parallel Theatre: An actor framework in Java for high performance computing, Simulation Modelling Practice and Theory doi: doi:10.1016/j.simpat.2020.102189
• [18] Behrmann G, David A and Larsen G K 2004, A tutorial on UPPAAL. In Formal Methods for the Design of Real-Time Systems, M. Bernardo and F. Corradini Eds., Lecture Notes in Computer Science 3185 Springer-Verlag 200-236
• [19] David A, Larsen G K, Legay A, Mikucionis M and Poulsen B D 2015, Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17 (4) 397-415 doi: https://doi.org/10.1007/s10009-014-0361-y
• [20] Agha G and Palmskog K 2018 A survey of statistical model checking, ACM Transactions on Modelling and Computer Simulation 28 (1) 6:1–6:39 doi: 10.1145/3158668
• [21] Cicirelli F and Nigro L 2016 Control centric framework for model continuity in time-de- pendent multi-agent systems, Concurrency and Computation Practice and Experience 28 (12) 3333–3356 doi: https://doi.org/10.1002/cpe.3802.
• [22] Cicirelli F, Nigro L and Sciammarella F P 2018 Model continuity in cyber-physical systems: A control-centred methodology based on agents, Simulation Modelling Practice and Theory 83 (4) 93-107
• [23] Jahandideh I, Ghassemi F and Sirjani M 2021 An actor-based framework for asynchronous event-based cyber-physical systems, Software and Systems Modeling. Apr 3 1-25
• [24] Cicirelli F and Nigro L Admission control in home energy management systems using Theatre and hybrid actors, MDPI Modelling 2 288–307 doi: https://doi.org/10.3390/modelling2020015
• [25] Hewitt C, Bishop P and Steiger R 1973 A universal modular Actor formalism for artificial intelligence, In 3rd International Joint Conference on Artificial Intelligence (IJCAI) 235-245
• [26] Agha G 1986 Actors: A model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, USA
• [27] Agha G and Hewitt C 1987 Actors: A conceptual foundation for concurrent object-oriented programming, Research directions in object-oriented programming 49-74
• [28] Haller P and Odersky M 2007 Actors that unify threads and events, In 9th International Conference on Coordination Models and Languages 4467 of Lecture Notes in Computer Science, Springer
• [29] Astley M 1998 The ActorFoundry: A Java-based actor programming environment, Open Systems Laboratory, University of Illinois at Urbana-Champaign
• [30] Charousset D, Hiesgen R and Schmidt C T 2014 CAF-The C++ actor framework for scalable and resource-efficient applications, Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control
• [31] Hensinger A T 2000 The theory of hybrid automata, In Verification of Digital and Hybrid Systems. Springer, Berlin, Heidelberg 265-292
• [32] Cicirelli F and Nigro L 14-16 September 2020 Model checking actor-based cyber-physical systems, 24th IEEE/ACM Int. Symp. on Distributed Simulation and Real Time Applications (DSRT 2020), Prague
• [33] Nigro L July 2020 Modelling and analysis of cyber-physical systems using deterministic Theatre, Fourth IEEE World Conference on Smart Trends in Systems, Security and Sustainability (WorldS4 2020); London (UK), IEEE Xplore 27-28
• [34] Karmani K R and Agha G 2011, Actors. Springer US, Boston, MA 1–11 doi: https://doi.org/10.1007/978-0-387-09766-4125
• [35] Zhao Y, E.A. Lee E a and Liu J 2007 A Programming model for time-synchronized distributed real-time systems, Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 259-268
• [36] Corbett C J et al 2012 Spanner: Google’s Globally-Distributed Database, OSDI
• [37] The Rust programming language, on-line (accessed on July 2021) https://www.rust-lang.org/

Uwagi

PL

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2021).