Category: Featured


Using Klocwork with Docker


Containing Klocwork Builds with Docker There are a number of options when looking at managing Klocwork build machines for multiple environments and tool chains. The original solution involved providing each environment with dedicated hardware. Then the ability became available to host multiple operating systems concurrently on the same hardware using virtual machines. The next step… Read more »



The Klocwork API and Dashing Dashboards


What is Dashing and Why is it Great? There are many ways one can take advantage of the flexibility and power of the Klocwork API. Using Dashing, a popular open-source dashboard framework, you can make beautiful (dare I say ‘dashing’) dashboards that can give both a high level and detailed overview of all your Klocwork… Read more »



Security Innovation – Centre of Excellence (Automotive)


Security Innovation Logo

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…. Read more »



The time you could fix that bug is gone!


Safety Critical Development best practices can help lower QA costs by proactively addressing complexity in the Design and Development Phases. click here to download a .pdf version of this paper. Should I read this paper? This paper is relevant if you manufacture systems with a software component, are not using formal modeling such as MATLAB,… Read more »



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… Read more »



Requirements Verification in Microsoft Word


So, as so often is the case, your initial project ideas and notes have morphed into a formal requirements document in Microsoft Word, and now you need to make that something concise, consistent and unambiguous, in preparation for a more formal process henceforth. Requirements verification is what you need, and Semios can help! Semios installs… Read more »



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,… Read more »



Announcement: 10 Years of Emenda


The end of 2016 marked 10 successful years of trading for Emenda. These have been 10 years of great achievement and constant growth, to celebrate this success, our annual conference 2017 took place in Shanghai, China. We would like to extend our deepest thanks to all our customers that have been working with us for… Read more »