Modeling lessons from verifying large software systems for safety and security

Kothari, Suresh; Awadhutkar, Payas; Tamrawi, Ahmed; Mathews, Jon

doi:10.1109/wsc.2017.8247886

Cited by 6 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This category encompasses studies which used existing languages/tools for modeling, wherein studies which developed a language/tool for modeling were included in the group of system design. Only 4 studies [73,106,33,152] did not report any tool, instead, they either proposed an approach for modeling CPSs or used equational models. Table 15 shows various languages/tools used for modeling by the studies.…”

Section: Validation and Verification (Vandv)mentioning

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