Conferences and supporting programme
Bug-killing Using Best-practice Development Techniques
A whole industry has developed around verification and validation practices championed by functional safety, security and coding standards (including IEC 61508, ISO 26262, IEC 62304, MISRA C, CWE). However, not everyone is striving to meet the rigours of these standards, and not everyone is obliged to follow the formal processes and methodologies they promote. But the standards champion these practices because experience tells us that they represent the most effective way of achieving good-quality, reliable and robust software. And whether a product is safety-critical or not, that is surely an outcome that can only be beneficial to its development team. This presentation will take a pragmatic view on several key processes common to functional safety standards including requirements traceability, static analysis and unit test, and will reflect on them in the context of less critical applications. It will discuss how they might be pragmatically applied such that the overheads of applying such techniques are kept to a minimum, both in terms of time and cost. And it will explain how their use can not only be leveraged to remove bugs, but also to prevent their inclusion in the first place.
--- Date: 28.02.2019 Time: 12:00 - 12:30 Location: Conference Counter NCC Ost