Metamodel Design for Model Transformation from Simulink to ECML in Cyber Physical Systems

Son, Hyun Seung; Kim, Woo Yeol; Kim, Robert Young Chul; Min, Hang-Gi

doi:10.1007/978-3-642-35600-1_8

Cited by 8 publications

(6 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proposed meta-model CPSs = 〈 , , , R " , R # 〉 that we have elaborated is presented in UML 2.0 notation on ( Mezhuyev et al, 2013) show the geometrical meta-metamodel, allowing to link the physical properties of domains with its spatial structure. Some other authors (Son et al, 2012) show how to transform a Simulink model into an ETRI CPS Modeling Language (ECML) model for modelling CPS for simulating its behaviour and (Klimeš, 2014) shows how to control cyber-physical systems deriving behavioural specifications from user inputs. All these researches focused on the design and the internal behaviour of a CPS.…”

Section: Cps Meta Modelmentioning

confidence: 99%

Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency

Lezoche

Panetto

2018

Enterprise Information Systems

View full text Add to dashboard Cite

Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technologies and science are enabling capability, adaptability, scalability, resiliency, safety, security, and usability that will far exceed the simple embedded systems of today.CPS technologies are transforming the way people interact with engineered systems. New smart CPS are driving innovation in various sectors such as agriculture, energy, transportation, healthcare, and manufacturing. They are leading the 4-th Industrial Revolution (Industry 4.0) that is having benefits thanks to the high flexibility of production.The Industry 4.0 production paradigm is characterized by high intercommunicating properties of its production elements in all the manufacturing processes. This is the reason it is a core concept how the systems should be structurally optimized to have the adequate level of redundancy to be satisfactorily resilient. This goal can benefit from formal methods well known in various scientific domains such as artificial intelligence. So, the current research concerns the proposal of a CPS meta-model and its instantiation. In this way it lists all kind of relationships that may occur between the CPSs themselves and between their (cyber-and physical-) components. Using the CPS meta-model formalization, with an adaptation of the Formal Concept Analysis (FCA) formal approach, this paper presents a way to optimize the modelling of CPS systems emphasizing their redundancy and their resiliency.

show abstract

Section: Cps Meta Modelmentioning

confidence: 99%

Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency

Lezoche

Panetto

2018

Enterprise Information Systems

View full text Add to dashboard Cite

show abstract

“…Composition of different metamodels can lead to modeling tool interoperability [20], which speaks to the need to create small compact metamodels for particular modeling efforts and "-ilities" associated with them. Particular examples of tools that rely on a metamodel to some extend include AADL [54], EST-ADL [75], and Mathworks Simulink [69], to name a few. Interoperability of these tools would require the composition of their respective implicit or explicit metamodels.…”

Section: Metamodels For System Designmentioning

confidence: 99%

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

et al. 2021

View full text Add to dashboard Cite

Cyber-physical systems are complex systems that require the integration of diverse software, firmware, and hardware to be practical and useful. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of “-ilities”, such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements (requirements, interfaces, physical, and functional) and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.

show abstract

“…Studies which developed metamodel, tool, or language for the M2M, M2T, and T2M transformations, constitute the second category. In [136], they proposed a transformation method that transforms Simulink model to ECML model by designing metamodels for both Simulink and ECML. [108] developed the model translation tool UPP2SF that transforms UPPAAL timed automata models to Simulink/Stateflow.…”

Section: System Designmentioning

confidence: 99%

“…Examples are Controllers (e.g. [9,8]), Development Artifacts related with transformation [99], simulation [136], System verification [162].System behavior covering timing behavior [59], System safety properties [113], and System requirements [156,65].…”

Section: Addressed Cps Componentsmentioning

confidence: 99%

A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems

Mohamed¹,

Kardaş²,

Challenger³

2021

Preprint

View full text Add to dashboard Cite

This technical report presents a Systematic Literature Review (SLR) study that focuses on identifying and classifying the recent research practices pertaining to CPS development through MDE approaches. The study evaluates 140 research papers published during 2010-2018. Accordingly, a comprehensive analysis of various MDE approaches used in the development life-cycle of CPS is presented. Furthermore, the study identifies the research gaps and areas that need more investigation. The contribution helps researchers and practitioners to get an overall understanding of the research trends and existing challenges for further research/development.

show abstract

Metamodel Design for Model Transformation from Simulink to ECML in Cyber Physical Systems

Cited by 8 publications

References 2 publications

Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency

Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems

Contact Info

Product

Resources

About