Security and Safety by Design is an approach to software and hardware development that seeks to make systems as free of vulnerabilities/failures and impervious to attack/malfunctions as possible through such measures as continuous testing, authentication safeguards and adherence to best engineering practices.


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.