Rigorous design of cyber-physical systems

Bliudze, Simon; Furic, Sébastien; Sifakis, Joseph; Viel, Antoine

doi:10.1007/s10270-017-0642-5

Cited by 15 publications

(4 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As mentioned in section 4.3, a few MPM approaches were found to employ more than one formalism. Among the 19 (24.1%) approaches that use at least 2 formalisms, Petri Nets are the most often combined with Hybrid Automata [70,63], Markov Chains [63,28], Discrete Events [71], Bayesian Networks [54], Automata [72] and Timed Automata [44]. Then comes Discrete Events, which is combined with Petri Nets [71], Automata [38,73], Hybrid Automata [74] and Bayesian Networks [39].…”

Section: On the Combination Of Formalisms/languages/tools For Building Cpsmentioning

confidence: 99%

Multi-paradigm modeling for cyber–physical systems: A systematic mapping review

Barisic

Ruchkin

Savić³

et al. 2022

Journal of Systems and Software

View full text Add to dashboard Cite

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

Section: On the Combination Of Formalisms/languages/tools For Building Cpsmentioning

confidence: 99%

Multi-paradigm modeling for cyber–physical systems: A systematic mapping review

Barisic

Ruchkin

Savić³

et al. 2022

Journal of Systems and Software

View full text Add to dashboard Cite

show abstract

“…Authors in [4] discuss modelling, discretisation, executability, simulation, and implementation of cyber-physical systems. The paper highlights the need of methods and tools with appropriate design languages underpinned by a solid semantic foundation which can model complex electromechanical systems.…”

Section: Literature Reviewmentioning

confidence: 99%

“…Several works [34,33,19] propose the digital twin based software architectures and foresee the importance of big data analysis and its linkage with the digital twin. The works in [4,18,30,27,16] focus more on the modelling aspects. Nevertheless, implementation details of the software architectures and their use case scenarios are somewhat abstracted.…”

Section: Literature Reviewmentioning

confidence: 99%

Challenges in Digital Twin Development for Cyber-Physical Production Systems

Park

Easwaran

Andalam³

2019

Cyber Physical Systems. Model-Based Design

View full text Add to dashboard Cite

The recent advancement of information and communication technology makes digitalisation of an entire manufacturing shop-floor possible where physical processes are tightly intertwined with their cyber counterparts. This led to an emergence of a concept of digital twin, which is a realistic virtual copy of a physical object. Digital twin will be the key technology in Cyber-Physical Production Systems (CPPS) and its market is expected to grow significantly in the coming years. Nevertheless, digital twin is still relatively a new concept that people have different perspectives on its requirements, capabilities, and limitations. To better understand an effect of digital twin's operations, mitigate complexity of capturing dynamics of physical phenomena, and improve analysis and predictability, it is important to have a development tool with a strong semantic foundation that can accurately model, simulate, and synthesise the digital twin. This paper reviews current state-of-art on tools and developments of digital twin in manufacturing and discusses potential design challenges.

show abstract

“…We also lack theory for safe and efficient discretization as well as for deciding whether a hybrid model is executable. The interested reader can find a detailed discussion of these issues in [5].…”

Section: System Design Complexitymentioning

confidence: 99%

System Design in the Era of IoT — Meeting the Autonomy Challenge

Sifakis

2018

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it requires building new foundation that will systematically integrate the innovative results needed to face increasing environment and mission complexity.A key idea is to compensate the lack of human intervention by adaptive control. This is instrumental for system resilience: it allows both coping with uncertainty and managing mixed criticality services. Our proposal for knowledge-based design seeks a compromise: preserving rigorousness despite the fact that essential properties cannot be guaranteed at design time. It makes knowledge generation and application a primary concern and aims to fully and seamlessly incorporate the adaptive control paradigm in system architecture.

show abstract

Rigorous design of cyber-physical systems

Cited by 15 publications

References 43 publications

Multi-paradigm modeling for cyber–physical systems: A systematic mapping review

Multi-paradigm modeling for cyber–physical systems: A systematic mapping review

Challenges in Digital Twin Development for Cyber-Physical Production Systems

System Design in the Era of IoT — Meeting the Autonomy Challenge

Contact Info

Product

Resources

About