Hazard driven threat modelling for cyber physical systems
Adversarial actors have shown their ability to infiltrate enterprise networks deployed around
Cyber Physical Systems (CPSs) through social engineering, credential stealing and file-less …
Cyber Physical Systems (CPSs) through social engineering, credential stealing and file-less …
Challenges and opportunities for model-based security risk assessment of cyber-physical systems
Abstract The design of Cyber-Physical Systems (CPS) poses a number of challenges, in
particular for cyber-security. Eliciting Security Requirements is a key aspect in the early …
particular for cyber-security. Eliciting Security Requirements is a key aspect in the early …
Privacy as an Architectural Quality: A Definition and an Architectural View
I Kunz, S Xu - 2023 IEEE European Symposium on Security and …, 2023 - ieeexplore.ieee.org
Software architects describe architectures from different perspectives to compare, document,
and explain them to other stakeholders. Numerous views have been proposed in the past in …
and explain them to other stakeholders. Numerous views have been proposed in the past in …
Architecture description languages taxonomies review: a special focus on self-adaptive distributed embedded systems
F Boutekkouk - International Journal of Technology Diffusion (IJTD), 2021 - igi-global.com
Self-adaptive distributed embedded systems can automatically adjust their behavior and/or
structure at run time to respond to some predictable or unpredictable events. On the other …
structure at run time to respond to some predictable or unpredictable events. On the other …
High-assurance cyber space systems for small satellite mission integrity
D Lane, E Leon, D Solio, D Cunningham, D Obukhov… - 2017 - digitalcommons.usu.edu
As the complexity of embedded computing platforms continues to grow, small satellites are
increasingly deployed with operating systems having known cybersecurity vulnerabilities …
increasingly deployed with operating systems having known cybersecurity vulnerabilities …
A Methodological Approach to Verify Architecture Resiliency
Abstract Architecture-first approach to address software resiliency is becoming the
mainstream development method for mission-critical and software-intensive systems. In …
mainstream development method for mission-critical and software-intensive systems. In …
ADEPT 2023 Workshop Summary
The Architecture Analysis and Design Language (AADL) is a SAE standard for modeling
both hardware and software architecture of embedded systems. Widely embraced by …
both hardware and software architecture of embedded systems. Widely embraced by …
ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem
The Architecture Analysis and Design Language (AADL) is a SAE Standard for the modeling
of both the hardware and the software of embedded systems. The AADL standard is now …
of both the hardware and the software of embedded systems. The AADL standard is now …
A Publication of SIGPLAN, the ACM Special Interest Group on Programming Languages
BBCP as Convincing, VABR Larson, E Ahmad… - Ada Letters, 2024 - dl.acm.org
ACM intends to create a complete electronic archive of all articles and/or other material
previously published by ACM. If you have written a work that has been previously published …
previously published by ACM. If you have written a work that has been previously published …
Threat Analysis Framework for Safety Architectures in SCDL
K Taguchi, R Kurachi, K Sasaki, N Nakamura… - … on Computer Safety …, 2020 - Springer
Cybersecurity threats have become a reality for safety critical systems such as automobiles,
railways and avionics witnessing cybersecurity incidents and research reports from white …
railways and avionics witnessing cybersecurity incidents and research reports from white …