When writing safety-critical software, demonstrating compliance with a set of guidelines can present a formidable challenge. Large companies solve this paperwork problem by hiring functional safety engineers. As a startup that values its agility, we need a way for these documents to be the natural byproduct of our normal engineering process, eliminating the need for additional resources. In order to achieve that goal, we’re developing a solution to automate the generation of compliance documentation.
Shea Newton, Nathan Aschbacher
We examine the challenges of using C and its associated standards and tools when applied to safety-critical applications.
Zachary Pierce, Nathan Aschbacher
We examine the effect differences that time budget consumption of cross-component message serialization has on overall system safety.