Skip to main content

Static Analysis for Non-Critical Systems

Static analysis is mandatory in the context of safety critical systems to detect faults early on and to ensure adherence to coding guidelines. While less prevalently used, static analysis could be beneficial for non-critical systems by improving correctness, performance and compliance as the talk will show with different real-world examples.