A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems

Cyber Physical Systems ◽

Systematic Mapping ◽

Security, Privacy, and Anonymity in Computation, Communication, and Storage - Lecture Notes in Computer Science ◽

A Systematic Mapping Study on Security Requirements Engineering Frameworks for Cyber-Physical Systems

10.1007/978-3-030-05345-1_37 ◽

2018 ◽

pp. 428-442 ◽

Cited By ~ 4

Author(s):

Shafiq Rehman ◽

Volker Gruhn ◽

Saad Shafiq ◽

Irum Inayat

Keyword(s):

Cyber Physical Systems ◽

Security Requirements ◽

Mapping Study ◽

Systematic Mapping ◽

Physical Systems ◽

Security Requirements Engineering

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

Journal of Systems and Software ◽

10.1016/j.jss.2021.111081 ◽

2021 ◽

pp. 111081

Author(s):

Ankica Barišić ◽

Ivan Ruchkin ◽

Dušan Savić ◽

Mustafa Abshir Mohamed ◽

Rima Al-Ali ◽

...

Keyword(s):

Cyber Physical Systems ◽

Systematic Mapping ◽

Physical Systems ◽

Mapping Review ◽

Systematic Mapping Review

Requirements Engineering in the Age of Societal-Scale Cyber-Physical Systems: The Case of Automated Driving

2018 IEEE 26th International Requirements Engineering Conference (RE) ◽

10.1109/re.2018.00-57 ◽

2018 ◽

Cited By ~ 3

Author(s):

Krzysztof Czarnecki

Keyword(s):

Cyber Physical Systems ◽

Automated Driving ◽

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment

10.1007/978-3-030-02852-7_11 ◽

2018 ◽

pp. 115-129

Author(s):

Manzoor Ahmad ◽

Christophe Gnaho ◽

Jean-Michel Bruel ◽

Régine Laleau

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Engineering Approach

A Systematic Mapping Study on the Verification of Cyber-Physical Systems

IEEE Access ◽

10.1109/access.2018.2872015 ◽

2018 ◽

Vol 6 ◽

pp. 59043-59064 ◽

Cited By ~ 1

Author(s):

Pengfei Duan ◽

Ying Zhou ◽

Xufang Gong ◽

Bixin Li

Keyword(s):

Cyber Physical Systems ◽

Mapping Study ◽

Systematic Mapping ◽

2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) ◽

Architectures of Cloud-enabled Cyber Physical Systems — a Systematic Mapping Study

10.1109/seaa51224.2020.00078 ◽

2020 ◽

Author(s):

Anja Reuter ◽

Vasilios Andrikopoulos

Keyword(s):

Cyber Physical Systems ◽

Mapping Study ◽

Systematic Mapping ◽

Control of Cyber-Physical-Systems with logic specifications: A formal methods approach

Annual Reviews in Control ◽

10.1016/j.arcontrol.2019.03.010 ◽

2019 ◽

Vol 47 ◽

pp. 178-192 ◽

Cited By ~ 3

Author(s):

Giordano Pola ◽

Maria Domenica Di Benedetto

Keyword(s):

Formal Methods ◽

Cyber Physical Systems ◽

An Analysis of the Value Specification Language Applied to the Requirements Engineering Process of Cyber-Physical Systems

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2016.11.123 ◽

2016 ◽

Vol 49 (30) ◽

pp. 42-47 ◽

Cited By ~ 4

Author(s):

Fabíola Gonçalves C. Ribeiro ◽

Achim Rettberg ◽

Carlos E. Pereira ◽

Michel S. Soares

Keyword(s):

Cyber Physical Systems ◽

Specification Language ◽

Engineering Process ◽

Physical Systems ◽

Requirements Engineering Process

Model-based security engineering for cyber-physical systems: A systematic mapping study

Information and Software Technology ◽

10.1016/j.infsof.2016.11.004 ◽

2017 ◽

Vol 83 ◽

pp. 116-135 ◽

Cited By ~ 37

Author(s):

Phu H. Nguyen ◽

Shaukat Ali ◽

Tao Yue

Keyword(s):

Cyber Physical Systems ◽

Mapping Study ◽

Systematic Mapping ◽

Security Engineering ◽

Physical Systems ◽

Model Based

Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems - DEBS '17 ◽

The Requirements Engineering Perspective on Events in Cyber-Physical Systems

10.1145/3093742.3095097 ◽

2017 ◽

Cited By ~ 3

Author(s):

Julius Ollesch ◽

Marc Hesenius ◽

Volker Gruhn ◽

Cyril Alias

Keyword(s):

Cyber Physical Systems ◽