research
∙
12/23/2022
Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology
While the adoption of Service-Oriented Architectures (SOA) eases the imp...
share
research
∙
01/25/2022
Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns
During the design of safety-critical systems, safety and security engine...
research
∙
12/30/2020
Security Engineering for ISO 21434
The ISO 21434 is a new standard that has been proposed to address the fu...
research
∙
09/22/2020
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns
The development of safety-critical systems requires the control of hazar...
research
∙
09/13/2017