Markets such as automotive, avionics, nuclear, medical, rail, industrial, etc. require compliance to stringent development standards to ensure the devices are safe. As more devices become connected then security also becomes increasingly important.
- Defining safety requirements related to ECC (Error Code Correction) mechanisms
- Identifying security requirements such as privileged accesses to memory.
- Demonstrating how all requirements can be traced through feature analysis to a verification plan and how that can be traced through to verification execution thus resulting in a proof of implementation for conformance to development standards.
Do say hi to Mike if you spot him. He will be more than happy to discuss DO254 & DO178C compliance with you!
Find out More