September 2016
Sep 23, 2016Harrold
To achieve freedom from interference as defined by ISO 26262 would be rather simple if all C modules were completely self-contained, i.e. only calling functions and referring variables within in the same module. But reality is different. Addresses of objects, passed as parameters, flow through the whole application. How to keep track of access violation in such a labyrinth of code?
Sep 16, 2016Harrold
Critical to static analysis is whether a tool is capable of building a complete and correct call-graph. This is easy for direct calls, but becomes far more complicated if indirect calls are involved. See how this works for TASKING Safety Checker for ISO 26262 related applications.
Sep 07, 2016Harrold
TASKING wants employees to be creative, you get your best ideas when you’re under the shower, so build a couple of showers at the TASKING office. This wonderful idea arose under the shower, so I quickly wiped myself dry and went to the office to tell my boss about it. Unfortunately he was not excited at all. Read how this relates to my experience when developing our Safety Checker, initially targeted for ISO 26262 related applications.
August 2016
Freedom from interference
Aug 31, 2016Harrold
Mixed criticality in embedded software development is the concept of allowing software at different levels of criticality to interact and coexist in the same Electronic Control Unit (ECU). Certification of such systems is rather complex, because you have to prove that software elements with a lower safety level cannot interfere with elements with a higher safety level. You have to ensure what ISO 26262 calls ‘Freedom from Interference’. Read how to address this topic.
Safety Checker
Aug 15, 2016Harm-André Verhoef
TASKING Safety Checker assists embedded software developers with safety-related analysis of application code and providing evidence for Freedom From Interference, for example for certification of automotive software applications conform the ISO 26262 functional safety standard or similar interpretations of IEC 61508 in other industries. The standalone version of TASKING Safety Checker can be used to check embedded code independent from the tool chain used and is introduced in this blog