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

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Information and Software Technology

• Publication date

  2017-03-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/J.INFSOF.2016.11.004
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Cyber-security in smart grid: Survey and challenges

  2018cited by this paper
• Model-Driven Software Engineering in Practice, Second Edition

  2017influential reference
• Cyber-Physical Systems Security: a Systematic Mapping Study

  2016influential reference
• Model-Based Security Analysis of a Water Treatment System

  2016cited by this paper
• Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

  2016cited by this paper
• Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience

  2016cited by this paper
• Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems

  2016cited by this paper
• Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems

  2016cited by this paper
• Cook up better code

  2016cited by this paper
• A method for describing industrial control system network attack using object Petri net

  2016cited by this paper
• Authentication and Authorization Scheme for Various User Roles and Devices in Smart Grid

  2016cited by this paper
• A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems

  2016cited by this paper
• Software and attack centric integrated threat modeling for quantitative risk assessment

  2016cited by this paper
• Introducing Cyber Security at the Design Stage of Public Infrastructures: A Procedure and Case Study

  2016cited by this paper
• Preventing and unifying threats in cyberphysical systems

  2016cited by this paper
• Attack-defense trees based cyber security analysis for CPSs

  2016cited by this paper
• SysML-Sec: A model driven approach for designing safe and secure systems

  2015cited by this paper
• Integrated smart grid systems security threat model

  2015cited by this paper
• Privacy Assessment of Data Flow Graphs for an Advanced Recommender System in the Smart Grid

  2015influential reference
• A Survey on Testing for Cyber Physical System

  2015cited by this paper
• Extracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System

  2015cited by this paper
• Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design

  2015cited by this paper
• U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems

  2015cited by this paper
• SoSPa: A system of Security design Patterns for systematically engineering secure systems

  2015cited by this paper
• An extensive systematic review on the Model-Driven Development of secure systems

  2015influential reference
• Systems of Systems Engineering

  2015influential reference
• Using Model Driven Engineering to Support Multi-paradigms Security Analysis

  2015cited by this paper
• Models, abstractions, and architectures: The missing links in cyber-physical systems

  2015cited by this paper
• Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios

  2015cited by this paper
• Guidelines for conducting systematic mapping studies in software engineering: An update

  2015cited by this paper
• Secure Design Patterns for Security in Smart Metering Systems

  2015cited by this paper
• A language for describing attacks on cyber-physical systems

  2015cited by this paper
• Design Techniques and Applications of Cyberphysical Systems: A Survey

  2015cited by this paper
• A survey of intrusion detection techniques for cyber-physical systems

  2014cited by this paper
• Petri net model of insider attacks in SCADA system

  2014cited by this paper
• A concept for engineering smart grid security requirements based on SGAM models

  2014cited by this paper
• A Threat Analysis Methodology for Smart Home Scenarios

  2014cited by this paper
• SecureCPS: Defending a nanosatellite cyber-physical system

  2014cited by this paper
• A SysML Extension for Security Analysis of Industrial Control Systems

  2014cited by this paper
• CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems

  2014influential reference
• Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective

  2014cited by this paper
• Designing Sequence Diagram Models for Robustness to Attacks

  2014influential reference
• Aspect-oriented modeling of attacks in automotive Cyber-Physical Systems

  2014influential reference
• Integrating security mechanisms into embedded systems by domain-specific modelling

  2014cited by this paper
• A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems

  2014cited by this paper
• A Model-Based Intrusion Detection System for Smart Meters

  2014cited by this paper
• Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning

  2014cited by this paper
• System Security Requirements Analysis:A Smart Grid Case Study

  2014cited by this paper
• A method for modeling and evaluation of the security of cyber-physical systems

  2014cited by this paper
• Guidelines for snowballing in systematic literature studies and a replication in software engineering

  2014cited by this paper
• Advances in Model-Driven Security

  2014cited by this paper
• SysML-sec: A sysML environment for the design and development of secure embedded systems

  2013cited by this paper
• Model-based intrustion detection for the smart grid (MINDS)

  2013cited by this paper
• Evaluating the effectiveness of the security quality requirements engineering (SQUARE) method: a case study using smart grid advanced metering infrastructure

  2013influential reference
• A Systematic Review of Model-Driven Security

  2013influential reference
• Security-Aware, Model-Based Systems Engineering with SysML

  2013influential reference
• Systematic literature reviews in software engineering

  2013cited by this paper
• Cyber security in the Smart Grid: Survey and challenges

  2013cited by this paper
• A model for security analysis of smart meters

  2012cited by this paper
• Software Security - Building Security In

  2012influential reference
• Managing Timing Implications of Security Aspects in Model-Driven Development of Real-Time Embedded Systems

  2012influential reference
• Cyber–Physical System Security for the Electric Power Grid

  2012cited by this paper
• Systematic analysis of cyber-attacks on CPS-evaluating applicability of DFD-based approach

  2012cited by this paper
• A Methodology for the Analysis and Modeling of Security Threats and Attacks for Systems of Embedded Components

  2012cited by this paper
• Using mapping studies as the basis for further research - A participant-observer case study

  2011influential reference
• Petri Net Modeling of Cyber-Physical Attacks on Smart Grid

  2011influential reference
• Stuxnet worm impact on industrial cyber-physical system security

  2011cited by this paper
• A Classification Framework for Software Component Models

  2011cited by this paper
• A model-based design methodology for cyber-physical systems

  2011cited by this paper
• AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties

  2011influential reference
• Security Requirements Analysis, Specification, Prioritization and Policy Development in Cyber-Physical Systems

  2011influential reference
• Designing Secure SCADA Systems Using Security Patterns

  2010cited by this paper
• Cyber-physical systems: The next computing revolution

  2010cited by this paper
• Security development lifecycle

  2010cited by this paper
• Security Issues and Challenges for Cyber Physical System

  2010cited by this paper
• Protocol for a Tertiary study of Systematic Literature Reviews and Evidence-based Guidelines in IT and Software Engineering

  2009cited by this paper
• Systematic literature reviews in software engineering: Preliminary results from interviews with researchers

  2009cited by this paper
• Role-based model security access control for smart power-grids computer networks

  2008cited by this paper
• Systematic Mapping Studies in Software Engineering

  2008cited by this paper
• Secure Control: Towards Survivable Cyber-Physical Systems

  2008cited by this paper
• Strength of evidence in systematic reviews in software engineering

  2008cited by this paper
• Integrating Security Modeling into Embedded System Design

  2007influential reference
• Software Security: Building Security In

  2006cited by this paper
• Performing systematic literature reviews in software engineering

  2006influential reference
• Practical experiences in using model-driven engineering to develop trustworthy computing systems

  2006cited by this paper
• Requirements engineering paper classification and evaluation criteria: a proposal and a discussion

  2005influential reference
• Systematic Review in Software Engineering

  2005cited by this paper
• Model Driven Engineering: An Emerging Technical Space

  2005cited by this paper
• Aspect-oriented approach to early design modelling

  2004cited by this paper
• Model Transformation: The Heart and Soul of Model-Driven Software Development

  2003cited by this paper
• Computer Security: Art and Science

  2002influential reference
• Non-functional requirements: from elicitation to modelling languages

  2002cited by this paper

• Global initiatives for industry 4.0 implementation and progress within the textile and apparel manufacturing sector: a comprehensive review

  2025cites this paper
• Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead

  2025cites this paper
• Identification and selection of systems security engineering approach via bipolar fuzzy multi-criteria decision-making technique based on generalized power operators

  2025cites this paper
• Security by Design for Industrial Control Systems from a Cyber–Physical System Perspective: A Systematic Mapping Study

  2025cites this paper
• Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems

  2025cites this paper
• BridgeSec: Facilitating effective communication between security engineering and systems engineering

  2025cites this paper
• Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators

  2024cites this paper
• Bibliometric Analysis of Model-Based Systems Engineering: Past, Current, and Future

  2024cites this paper
• EmuFlex: A Flexible OT Testbed for Security Experiments with OPC UA

  2024cites this paper
• A Model-based Approach for Assessing the Security of Cyber-Physical Systems

  2024cites this paper
• The Cyber Safe Position: An STPA for Safety, Security, and Resilience Co-Engineering Approach

  2024cites this paper
• Cyber Evaluation and Management Toolkit (CEMT): Face Validity of Model-Based Cybersecurity Decision Making

  2024cites this paper
• Attack Scenarios Generation Algorithm Based on Discrete Event System Formalism

  2024cites this paper
• Cyber-physical systems security: A systematic review

  2024cites this paper
• Development of functional architectures for cyber‐physical systems using interconnectable models

  2024cites this paper
• An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs

  2024cites this paper
• Towards Joint SoS and Threat Mission-based Modeling for Operational Impact Identification

  2024cites this paper
• A Survey of Ontologies Considering General Safety, Security, and Operation Aspects in OT

  2024cites this paper
• A Proposal for Model‐Based Systems Engineering Method for Creating Secure Cyber‐Physical Systems

  2024cites this paper
• TySA: Enforcing Security Policies for Safeguarding Against Permission-Induced Attacks in Android Applications

  2024cites this paper
• A model-based mode-switching framework based on security vulnerability scores

  2023cites this paper
• Privacy-compliant software reuse: A framework for considering privacy compliance in software reuse scenarios

  2023cites this paper
• Towards Confidentiality in Multi-Model Inconsistency Detection for Systems Engineering

  2023cites this paper
• Privacy-Compliant Software Reuse in Early Development Phases: A Systematic Literature Review

  2023cites this paper
• A Distributed and Secure Self-Sovereign-Based Framework for Systems of Systems

  2023cites this paper
• Cross-Industry Principles for Digital Representations of Complex Technical Systems in the Context of the MBSE Approach: A Review

  2023cites this paper
• Model-Based System Engineering of the Internet of Things: A Bibliometric Literature Analysis

  2023influential citation
• Microarchitectural Side-Channel Threats, Weaknesses and Mitigations: A Systematic Mapping Study

  2023cites this paper
• Model-Based Cybersecurity Analysis

  2023cites this paper
• A SYSTEMATIC MAPPING STUDY OF CYBERSECURITY VULNERABILITIES, ATTACKS, AND MITIGATION STRATEGIES

  2023cites this paper
• A Systematic Review of Data Quality in CPS and IoT for Industry 4.0

  2023cites this paper
• A Conceptual Model‐Based Systems Engineering Method for Creating Secure Cyber‐Physical Systems

  2022cites this paper
• Uncertainty handling in cyber–physical systems: State‐of‐the‐art approaches, tools, causes, and future directions

  2022cites this paper
• A decade of research on patterns and architectures for IoT security

  2022cites this paper
• Practitioners’ best practices to Adopt, Use or Abandon Model-based Testing with Graphical models for Software-intensive Systems

  2022cites this paper
• Securing the cyber-physical system: a review

  2022cites this paper
• Systematic threat assessment and security testing of automotive over-the-air (OTA) updates

  2022cites this paper
• Model based systems engineering—A text mining based structured comprehensive overview

  2021cites this paper
• Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems

  2021cites this paper
• Ensuring threat-model assumptions by using static code analyses

  2021cites this paper
• Model‐driven architecture based security analysis

  2021cites this paper
• Improvement of nuclear facilities DNP3 protocol data transmission security using super encryption BRC4 in SCADA systems

  2021cites this paper
• Grey Literature in Software Engineering: A Critical Review

  2021cites this paper
• Cyber-Physical Systems and Smart Cities in India: Opportunities, Issues, and Challenges

  2021cites this paper
• Systematic Mapping of the Literature on Secure Software Development

  2021cites this paper
• Risk Assessment Methods for Cybersecurity in Nuclear Facilities: Compliance to Regulatory Requirements

  2021cites this paper
• Assessing the Conformity Level of Information Security Management System of the Higher Education Institutions: Basis for the Development of Policies and Guidelines

  2021cites this paper
• PHRiMA: A permission-based hybrid risk management framework for android apps

  2020cites this paper
• A security modeling and verification method of embedded software based on Z and MARTE

  2020cites this paper
• New method for assets sensitivity calculation and technical risks assessment in the information systems

  2020cites this paper
• Cyber Security Threats and Vulnerabilities: A Systematic Mapping Study

  2020cites this paper
• Modeling, analyzing and predicting security cascading attacks in smart buildings systems-of-systems

  2020cites this paper
• A Model-Based Security Testing Approach for Automotive Over-The-Air Updates

  2020cites this paper
• Integrating Security Requirements Engineering into MBSE: Profile and Guidelines

  2020cites this paper
• Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems

  2020cites this paper
• A systematic literature review of model-driven security engineering for cyber-physical systems

  2020influential citation
• Research Landscape of Patterns and Architectures for IoT Security: A Systematic Review

  2020cites this paper
• Taxonomy of Industry 4.0 research: Mapping scholarship and industry insights

  2020cites this paper
• Industrial Security by Design

  2020cites this paper
• Definition and Verification of Security Configurations of Cyber-Physical Systems

  2020cites this paper
• Real-time Testing on Improved Data Transmission Security in the Industrial Control System

  2020cites this paper
• A Framework to Create a Virtual Cyber Battlefield for Cyber Maneuvers and Impact Assessment

  2019cites this paper
• Thirteen years of SysML: a systematic mapping study

  2019cites this paper
• Landscaping systematic mapping studies in software engineering: A tertiary study

  2019cites this paper
• UnCle SAM: Modeling Cloud Attacks with the Automotive Security Abstraction Model

  2019cites this paper
• A systematic review to aligning research paths: Energy cyber-physical systems

  2019cites this paper
• Testing and verification of neural-network-based safety-critical control software: A systematic literature review

  2019cites this paper
• Model-Driven Design of Tools for Multi-Domain Systems with Loosely Coupled Metamodels

  2019cites this paper
• Data-Driven Vulnerability Exploration for Design Phase System Analysis

  2019cites this paper
• Investigating Attack Propagation in a SoS via a Service Decomposition

  2019cites this paper
• Literature review of Industry 4.0 and related technologies

  2018cites this paper
• SUnMBT4CPS: Security-related Uncertainty Model-Based Testing for Cyber-Physical Systems

  2018cites this paper
• Modelling and evaluation of the security of cyber-physical systems using stochastic Petri nets

  2018cites this paper
• Industrial Security by Design: Nachverfolgbare Informationssicherheit für Cyber-Physische Produktionssysteme

  2018cites this paper
• Assessing and improving the quality of security methodologies for distributed systems

  2018cites this paper
• Human resource allocation in business process management and process mining

  2018cites this paper
• HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems

  2018cites this paper
• Adaptive Monitoring: A Systematic Mapping

  2018cites this paper
• A Stochastic Game Model for Evaluating the Impacts of Security Attacks Against Cyber-Physical Systems

  2018cites this paper
• A security policy enforcement framework for controlling IoT tenant applications in the edge

  2018cites this paper
• Model Checking the Information Flow Security of Real-Time Systems

  2018cites this paper
• A model-driven software construction approach for cyber-physical systems

  2018cites this paper
• Tenant App Edge Server GateKeeper Gatekeeper model xPolicy Template service APIs Tenant App MMT Engine Code Generation Gatekeeper

  2018cites this paper
• SAM: A Security Abstraction Model for Automotive Software Systems

  2018cites this paper
• Security and Safety Interplay of Intelligent Software Systems

  2018cites this paper
• Presenting a method to perform cyber maneuvers

  2018cites this paper
• Towards collaborative Cyber-Physical Systems

  2017cites this paper
• Modeling and Simulation of Cyber Battlefield

  2017cites this paper
• Cyber-Security and Combatting Cyber-Attacks: A Study

  2017cites this paper
• Applications of Cyber-Physical System: A Literature Review

  2017cites this paper
• Security and Privacy in Cyber-Physical Systems: A Survey of Surveys

  2017cites this paper
• Cyber Physical System (CPS)-Based Industry 4.0: A Survey

  2017cites this paper
• Security Modeling of Cyber-Physical Systems: A Case Study of Smart Grid

  2017cites this paper
• Cyber-Physical Systems

  2016influential citation
• Cyber-Physical Systems Security: a Systematic Mapping Study

  2016cites this paper
• PRACTICAL FRAMEWORK FOR SOFTWARE INTEGRITY MEASUREMENT BASED ON STATIC ANALYSIS

  year unknowncites this paper