|
Four thought leaders provide their views on Static Analysis and Coding Standards
We recently held a workshop in Eindhoven, Netherlands on the subject of Software Quality, MISRA compliance and the use of Coding Standards. Don't worry if you missed this event, we captured each of the presentations on video:
Jan Verbeke, Senior Software Engineering and Quality and Tool Manager at Philips Digital TV summarizes 10 years hands-on experience, improving code quality in a high volume, process controlled environment.
Dr Marijn Temmerman from Karel de Grote University College of Antwerp presents the findings of an independent research project from TERA-Labs - A Comparison of MISRA Compliancy Tools.
Alternatively, read a 10 page summary of the final report (published May 2012).
Additional videos from the other presenters are available here.
|
Our next Webinar: Software Development For Safety-Critical Environments, How Safe Are You?
The common objective of standards such as ISO 26262 and IEC 61508, and guidance such as DO-178B/C is to ensure that software will perform as intended and reliably in mission and safety-critical environments.
While all adopt a very similar risk-based philosophy they differ very significantly in their approach and methodologies. The emphasis of ISO 26262 and IEC 61508 is on process standards across every stage of the product lifecycle whereas DO-178B/C is objective-orientated, less prescriptive on process, relates to software and certification is project-based. All mandate or recommend the adoption of coding standards.
In particular, in this live webinar learn more about:
- the key differences in approach for standards such as ISO 26262, IEC 61508 and DO-178B/C
- the implications of these different approaches on the certification process and tool selection
- the role and fit of static analysis and coding standards within these processes
Register here for one of two live webinars on Thursday, 23 August:
Additional whitepapers:
|
|
Latest enhancements of QA·C++ with deep-flow dataflow
QA·C++ 3.0 now incorporates a more sophisticated SMT solver based deep-flow dataflow including over 140 new messages. This release also supports major ISO C++ 2011 and Boost library functionality.
Find out more in this video from one of our lead developers |