Category: Blog


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 »



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 »