A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre

Tang, Wentao; Feng, Hao; Hisazumi, Kenji; Fukuda, Akira

doi:10.1145/3388176.3388211

Cited by 1 publication

(5 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Sabaliauskaite et al 20 proposed the AVES framework for systematic model‐based analysis of safety and security properties of the automotive domain. Tang et al 21 presented a domain‐specific modeling language to model smart home IoT applications and generated code out of the model.…”

Section: Mapping Study Resultsmentioning

confidence: 99%

Section: Mapping Study Resultsmentioning

confidence: 99%

“…The use of fire detection, 48 rescue, 22 road transportation, 114 smart card, 19 smart cities, 146 virtual organization, 26 water supply, 64 smart home, 21 and voting 60 systems has been mentioned only once in the found literature.…”

Section: Mapping Study Resultsmentioning

confidence: 99%

“…Twelve out of 143 studies presented a language for the MDE of safety and security systems. The proposed languages were either formal languages, 15,21,38,96,115 graphical modeling languages, 17,31,39,70 programming languages, 125 architecture description language, 106 or a language for presenting mishaps. 156 Some researchers also presented some decision support systems, 76,77,108,122,123 patterns, 50,85,100,105,119 and policies 29,54,80 for the MDE of safe and secure software systems.…”

Section: Contribution Classification (Rq3)mentioning

confidence: 99%

“…The use of satellite systems is mentioned in Johnson and Yepez. 40,41 The use of defense systems is mentioned in Cockram and Lautieri 74 and Cimatti et al 115 The use of fire detection, 48 rescue, 22 road transportation, 114 smart card, 19 smart cities, 146 virtual organization, 26 water supply, 64 smart home, 21 and voting 60 systems has been mentioned only once in the found literature.…”

Section: Evaluation Domains (Rq4)mentioning

confidence: 99%

See 4 more Smart Citations

Model‐driven engineering of safety and security software systems: A systematic mapping study and future research directions

Mashkoor

Egyed

Wille

et al. 2022

J Software Evolu Process

View full text Add to dashboard Cite

This article presents a systematic mapping study on the model-driven engineering of safety and security concerns in software systems. Combined modeling and development of both safety and security concerns is an emerging field of research as both concerns affect one another in unique ways. Our mapping study provides an overview of the current state of the art in this field. This study carefully selected 143 publications out of 27,259 relevant papers through a rigorous and systematic process. This study then proposes and answers questions such as frequently used methods and tools and development stages where these concerns are typically investigated in application domains. Additionally, we identify the community's preference for publication venues and trends. The discussion on obtained results also features the gained insights and future research directions.

show abstract

Section: Mapping Study Resultsmentioning

confidence: 99%