Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm (original) (raw)

Open Source Languages and Methods for Cyber-Physical System Development: Overview and Case Studies

2021

Industrial cyber-physical system products interleave hardware, software, and communication components. System complexity is increasing simultaneously with increased demands on quality and shortened time-to-market. To effectively support the development of such systems, we present languages and tools for comprehensive integrated model-based development that cover major phases such as requirement analysis, design, implementation, and maintenance. The model-based approach raises the level of abstraction and allows to perform virtual prototyping by simulating and optimizing system models before building physical products. Moreover, open standards and open source implementations enable model portability, tool reuse and a broader deployment. In this paper we present a general overview of the available solutions with focus on Modelica/OpenModelica, Bloqqi, and Acumen. The paper presents contributions to these languages and environments, including symbolic-numeric modeling, requirement veri...

Abstractions for Cyber-Physical Systems Development : An International Opportunity

2018

ions for Cyber-Physical Systems Development: An International Opportunity Roger D. Chamberlain Chandler Ahrens Chris Gill Roger D. Chamberlain, Chandler Ahrens, Chris Gill, “Abstractions for Cyber-Physical Systems Development: An International Opportunity,” presented at Visioning Workshop for International Networks to Advance CPS Research, Development, and Education Worldwide, April 2018, https://cps-vo.org/node/48624 Dept. of Computer Science and Engineering School of Engineering and Applied Science College of Architecture Sam Fox School of Design & Visual Arts Washington University in St. Louis Abstractions for Cyber-Physical Systems Development: An International Opportunityions for Cyber-Physical Systems Development: An International Opportunity Roger D. Chamberlain, Chandler Ahrens, and Chris Gill ∗Dept. of Computer Science and Engineering, School of Engineering and Applied Science †College of Architecture, Sam Fox School of Design & Visual Arts Washington University in St. Loui...

A Survey Paper on Cyber Physical Systems

— Cyber-physical systems (CPS) are engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components. CPS technology will transform the way people interact with engineered systems. CPS will bring advances in personalized health care, emergency response, traffic flow management, and electric power generation and delivery, as well as in many other areas now just being envisioned. This paper aims for providing an insight into this emerging multidisciplinary methodology.

MPM 4 CPS : Multi-Paradigm Modelling for Cyber-Physical Systems

2016

The last decades have seen the emergence of truly complex, designed systems, known as Cyber-Physical Systems (CPS). Engineering such systems requires integrating physical, software, and network aspects. To date, neither a unifying theory nor systematic design methods, techniques and tools exist to meet this challenge. Individual engineering disciplines, such as mechanical, electrical, network and software engineering offer only partial solutions. Multi-Paradigm Modelling (MPM) proposes to model every part and aspect of a system, including development processes, explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s). Modelling language engineering, including model transformation, and the study of their semantics, are used to realize MPM. MPM is seen as an effective answer to the challenges of designing Cyber-Physical Systems. Research on modelling CPS is typically based on national activities with loose international interaction...