1 option
Detecting Cyber-Security Vulnerabilities in Legacy Safety-Critical Software with Tight Performance Constraints EnSoft Corporation
- Format:
- Book
- Conference/Event
- Author/Creator:
- Awadhutkar, Payas, author.
- Conference Name:
- WCX SAE World Congress Experience (2025-04-08 : Detroit, Michigan, United States)
- Language:
- English
- Physical Description:
- 1 online resource cm
- Place of Publication:
- Warrendale, PA SAE International 2025
- Summary:
- Security flaws in automotive software have significant consequences. Modern automotive engineers must assess software not only for performance and reliability but also for safety and security. This paper presents a tool to verify software for safety and security. The tool was originally developed for the Department of Defense (DoD) to detect cybersecurity vulnerabilities in legacy safety-critical software with tight performance constraints and a small memory footprint. We show how the tool and techniques developed for verifying legacy safety-critical software can be applied to automotive and embedded software using real-world case studies. We also discuss how this tool can be extended for software comprehension
- Notes:
- Vendor supplied data
- Publisher Number:
- 2025-01-8088
- Access Restriction:
- Restricted for use by site license
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.