Catégorie : Non classifié(e)


Security Innovation – Centre of Excellence (Automotive)


Security Innovation’s six Centres of Excellence (CoE’s) serve as the nerve centre for ongoing research and knowledge dissemination on critical computing platforms, technologies, and emerging threats. They yield ongoing methodology refinement, skills progression, and custom tools development that helps us understand systemic causes that lead to vulnerable software – and fuel our innovative approaches and solutions…. En lire plus »



Formal Requirement vs User Story


Click here to download a .pdf version of this paper. In a recent article, I have argued that the ability to automatically validate and evaluate the “English” language in technical documents let us write better requirements, but also let us establish clear, concise, and most importantly, verifiable goals. This results directly in cost reductions in… En lire plus »



Klocwork HIS Metrics Report Tool


The Hersteller initiative Software (HIS) Source Code Metrics – or just HIS Metrics (HIS Metriken) for short – were devised by five working groups from the German automotive manufacturer’s (including Audi, BMW, DaimlerChrysler, Porsche and Volkswagen) with the goal to produce an agreed set of standards for various software development tasks within their industry. HIS Metric reports and… En lire plus »



Klocwork AUTOSAR C++14 Taxonomy Released


Developed by Emenda, the Klocwork AUTOSAR C++14 Taxonomy allows for the checking and reporting of violations to the AUTOSAR C++14 coding standard. Released in March 2017.  The document from AUTOSAR provides guidelines for the use of the C++14 language in critical and safety-related systems. For further details or to to request a copy of the taxonomy,… En lire plus »



Klocwork AUTOSAR C++14 Taxonomy


Developed by Emenda, the Klocwork AUTOSAR C++14 Taxonomy allows for the checking and reporting of violations to the AUTOSAR C++14 coding standard. Released in March 2017, the document from AUTOSAR provides guidelines for the use of the C++14 language in critical and safety-related systems. To request a copy of the taxonomy, please fill out the contact… En lire plus »