Secure and Safe Architectures
To develop methods, design principles, design patterns, mechanisms and technologies to enhance current frameworks and mechanize the design process to yield repeatable designs of trusted and/or safe architectures.
Secure and Safe Coding
Enforcing secure architectures and coding by establishing secure and safe (programming) languages and frameworks.
Safety and Security Validation and Verification
It includes formal verification, static code analysis, dynamic code analysis, testing, fault injection, security and safety runtime monitoring, among others.
Convergence of Safety and Security
To understand the synergy and mutual reinforcement opportunities is key to offer cost effective secure and safe solutions.