Abstract:Socio-cyber-physical systems (SCPSs) have emerged as networked heterogeneous systems that incorporate social components (e.g., business processes and social networks) along with physical (e.g., Internet-of-Things devices) and software components. Model-driven techniques for building SCPSs need actor and goal models to capture social concerns, whereas system issues are often addressed with the Systems Modeling Language (SysML). Comprehensive traceability between these types of models is essential to support consistency and completeness checks, change management, and impact analysis. However, traceability management between these complementary views is not well supported across SysML tools, particularly when models evolve because SysML does not provide sophisticated out-of-the-box goal modeling capabilities. In our previous work, we proposed a model-based framework, called CGS4Adaptation, that supports basic traceability by importing goal and SysML models into a leading third-party requirement-management system, namely IBM Rational DOORS. In this paper, we present the framework’s traceability management method and its use for automated consistency and completeness checks. Traceability management also includes implicit link detection, thereby, improving the quality of traceability links while better aligning designs with requirements. The method is evaluated using an adaptive SCPS case study involving an IoT-based smart home. The results suggest that the tool-supported method is effective and useful in supporting the traceability management process involving complex goal and SysML models in one environment while saving development time and effort.

Support for Security Analysis of Design Models based on Traceability

Security Design Based on Social Modeling

Model the System from Adversary Viewpoint: Threats Identification and Modeling

Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

Model-Driven Security Analysis of Self-Sovereign Identity Systems

Model-Based Safety and Security Engineering

Checking security compliance between models and code

Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec

Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment

A Threat Model Driven Approach for Security Testing

Formal security analysis for software architecture design: An expressive framework to emerging architectural styles

Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models

Verification Framework for UML-Based Design of Embedded Systems.

Applying Robustness Analysis to MDA Software Paradigm

Traceability Management of GRL and SysML Models

Model-based Joint Analysis of Safety and Security: Survey and Identification of Gaps

Analysis Method of Security Critical Components of Industrial Cyber Physical System Based on SysML.

Analysing security requirements patterns based on problems decomposition and composition.

Towards Ontological Approach to Security Risk Analysis of Information System: Model and Architecture

RESOLUTION OF SAFETY RELEVANT SECURITY THREATS IN THE SYSTEM ARCHITECTURE DESIGN PHASE ON THE EXAMPLE OF AUTOMOTIVE INDUSTRY