SAE-EN-O16 Security medini analyze SCADE paper
Modern connected cars and aircraft are targets for malicious cyberattacks. More complex code increases the number of vulnerabilities. This paper describes how ANSYS medini analyze is being used for security analysis (threat identification, threat assessment, risk evaluation) architecture modeling and security requirements definition. It also relates how ANSYS SCADE Suite is being used for the development and verification of high-integrity application software that is free from malicious or vulnerable code.