A Relational Abstraction of Structure and Behavior for Cyber-Physical System Design

Model-based approaches are essential for designing cyber-physical systems, which adopt the formal models to simultaneously form the specifications and enable the verification at an early stage. Aimed to model the complex structure and continuous-discrete hybrid behavior of cyber-physical systems, this paper mathematically defines a dynamic relational system so that the cyber-physical system can be regarded as dynamic relational systems in a hierarchical structure and each dynamical relational system is a triple of dynamic attributes, subsystems, and hybrid relations between attributes and subsystems. Every hybrid relation contains a tuple and a predicate to govern the system behaviors. By utilizing the dynamic relational system, a parametric abstraction is then performed to specify the design requirements and schemes. It can represent the structure and behaviors of multiple cyber-physical system design schemes in an integrated manner. With a mathematical foundation, the constructed relational models are beneficial for structural analysis and behavior verification. An implementation case of a friction-driven plate conveyor is presented to illustrate the design specification with relational models, and the connectivity analysis and behavior verifications are carried out to show the effectiveness and engineering practicability of the achieved models.

[1]  Olivier Barais,et al.  Modeling languages in Industry 4.0: an extended systematic mapping study , 2019, Software and Systems Modeling.

[2]  Argimiro R. Secchi,et al.  Structural analysis for static and dynamic models , 2012, Math. Comput. Model..

[3]  Paweł Szcześniak,et al.  Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter , 2019 .

[4]  Miklós Maróti,et al.  Towards a theory for cyber-physical systems modeling , 2014, CyPhy '14.

[5]  R. Macklin.  Choice or control , 1994 .

[6]  Zuohua Ding,et al.  AADL+: a simulation-based methodology for cyber-physical systems , 2018, Frontiers of Computer Science.

[7]  Peter Fritzson.  Modelica — A cyber-physical modeling language and the OpenModelica environment , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[8]  Peter Fritzson,et al.  Automated Static Analysis of Equation-Based Components , 2004, Simul..

[9]  Sergiy Bogomolov,et al.  Hybrid automata: from verification to implementation , 2017, International Journal on Software Tools for Technology Transfer.

[10]  Alessandro Cimatti,et al.  SMT-based scenario verification for hybrid systems , 2013, Formal Methods Syst. Des..

[11]  Pieter J. Mosterman,et al.  Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems , 2016, Software & Systems Modeling.

[12]  Tongquan Wei,et al.  Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications , 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[13]  Yutian Liu,et al.  Modeling and Formulation of Delayed Cyber-Physical Power System for Small-Signal Stability Analysis and Control , 2019, IEEE Transactions on Power Systems.

[14]  Kevin I-Kai Wang,et al.  A unified framework for the design of distributed cyber-physical systems - industrial automation example , 2015, 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA).

[15]  Zhenhua Yu,et al.  Formal modeling and control of cyber-physical manufacturing systems , 2017 .

[16]  Valeriy Vyatkin,et al.  Modeling distributed automation systems in cyber-physical view , 2015, 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA).

[17]  Joseph Sifakis,et al.  The Algebra of Connectors—Structuring Interaction in BIP , 2007, IEEE Transactions on Computers.

[18]  Lena Buffoni,et al.  On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution , 2016, 2016 IEEE International Symposium on Systems Engineering (ISSE).

[19]  Alberto L. Sangiovanni-Vincentelli,et al.  Are interface theories equivalent to contract theories? , 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).

[20]  Alberto L. Sangiovanni-Vincentelli,et al.  Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems , 2012, Eur. J. Control.

[21]  André Platzer,et al.  Differential Dynamic Logic for Hybrid Systems , 2008, Journal of Automated Reasoning.

[22]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[23]  Valeriy Vyatkin,et al.  Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[24]  Jianqi Shi,et al.  An Object-Oriented Language for Modeling of Hybrid Systems , 2015, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.

[25]  André Platzer,et al.  Differential-algebraic Dynamic Logic for Differential-algebraic Programs , 2010, J. Log. Comput..

[26]  Leo Ordinez,et al.  Using UML for Learning How to Design and Model Cyber-Physical Systems , 2020, IEEE Revista Iberoamericana de Tecnologias del Aprendizaje.

[27]  Bernhard Rumpe,et al.  Modeling Dynamic Architectures of Self-Adaptive Cooperative Systems , 2019, J. Object Technol..

[28]  Ichiro Hasuo.  Metamathematics for Systems Design , 2017, New Generation Computing.

[29]  Frank Vahid,et al.  A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems , 2014, KSII Trans. Internet Inf. Syst..

[30]  Jianhua Ma,et al.  A System-Level Modeling and Design for Cyber-Physical-Social Systems , 2016, ACM Trans. Embed. Comput. Syst..

[31]  Patricia Bouyer,et al.  Timed-automata abstraction of switched dynamical systems using control invariants , 2016, Real-Time Systems.

[32]  Moussa Amrani,et al.  Towards a Formal Specification of Multi-paradigm Modelling , 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).

[33]  Alberto L. Sangiovanni-Vincentelli,et al.  Metamodels in Europe: Languages, Tools, and Applications , 2009, IEEE Design & Test of Computers.

[34]  Davide Bresolin,et al.  A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems , 2015, Proceedings of the IEEE.

[35]  Emad Samuel Malki Ebeid,et al.  On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation , 2013, J. Electron. Test..

[36]  Marilyn Wolf,et al.  What don't we know about CPS architectures? , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[37]  Naiqi Wu,et al.  Homomorphic Encryption of Supervisory Control Systems Using Automata , 2020, IEEE Access.

[38]  Hyun Seung Son,et al.  Metamodel Design for Model Transformation from Simulink to ECML in Cyber Physical Systems , 2012, FGIT-GDC/IESH/CGAG.

[39]  Liping Chen,et al.  Cyber-physical Systems Modeling Method Based on Modelica , 2012, SERE.

[40]  Maria Domenica Di Benedetto,et al.  Control of Cyber-Physical-Systems with logic specifications: A formal methods approach , 2019, Annu. Rev. Control..

[41]  Peter Palensky,et al.  Modelica-enabled rapid prototyping of cyber-physical energy systems via the functional mockup interface , 2013, 2013 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES).

[42]  Zoran A. Salcic,et al.  SystemJ: A GALS language for system level design , 2010, Comput. Lang. Syst. Struct..

[43]  Jim Woodcock,et al.  Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains , 2015, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.

[44]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[45]  José Machado,et al.  Simulation of cyber physical systems behaviour using timed plant models , 2017 .

[46]  Edward A. Lee,et al.  Cyber-physical system design contracts , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[47]  Steven Drager,et al.  Cyber-Physical Specification Mismatches , 2018, ACM Trans. Cyber Phys. Syst..

[48]  Li Da Xu,et al.  The contribution of systems science to Industry 4.0 , 2020 .

[49]  Eldad Palachi,et al.  Simulation of cyber physical models using SysML and numerical solvers , 2013, 2013 IEEE International Systems Conference (SysCon).

[50]  Shuvra S. Bhattacharyya,et al.  Research Challenges for Heterogeneous Cyberphysical System Design , 2020, Computer.

[51]  Shiyan Hu,et al.  Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[52]  J. Willems.  The Behavioral Approach to Open and Interconnected Systems , 2007, IEEE Control Systems.

[53]  Siddhartha Kumar Khaitan,et al.  Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.