Category: Featured


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 »



Embedded World 14-16 March 2017


Embedded World 2017

Visit us at this years Embedded World Conference. We will be in Hall 4 Stand 4532. 14-16 March 2017, Nuremberg, Germany. Register for your free ticket using Code: B344587 https://www.embedded-world.de/de/besucher/tickets/gutschein



Perforce Helix: Security & Compliance with Intellectual Property


Perforce Helix protects critical IP with comprehensive security capabilities, including flexible authentication, strong password security, fine-grained access controls, high- visibility audit logs, secure replication, and third-party tools integration. The following whitepaper highlights the distinct advantages that the Helix version control platform provides to help lower your organisation’s risk for IP data loss and security, and… Read more »