Automating test generation with AUTOSAC

Find out how automated test generation from SPARK Ada pre and post-conditions can cut the effort needed to run test projects. 
Read More

WCET analysis of object code with zero instrumentation

Worst-case execution time (WCET) analysis is critical for the verification of safety-critical real-time embedded systems. This analysis is typically performed by instrumenting source code and obtaining timing data from an instrumented build. While this is a robust method for determining WCET metrics, it requires that instrumentation be added to source code, increasing overhead. This is why we have been developing RapiTime, our on-target timing analysis tool, to perform WCET analysis with zero instrumentation.  
Read More

ED4I tool - generating diverse code automatically to satisfy ISO26262 requirements

Is it possible to use diversity on a single processor to reliably detect hardware faults? That's the thought that lead to research which resulted in ED4I, a technique to support error detection. How we got from this research to the point where cars on the road are now relying upon ECUs that have been developed using this technique is an interesting story.
Read More

Reading large arrays with Vector CANape

We often encounter Vector Informatik's CANape software, described as a "measurement, calibration and diagnostic tool", when working on projects with automotive customers. While it's rather like the automotive software equivalent of a Swiss army knife, supporting a number of different functions that are useful when developing and testing automotive ECUs, reading an array with more than 16 values is a problem. How do you overcome this issue?
Read More

Major trends in automotive software development

Automotive software development is a growth area in the global automotive industry. So what are some of the major trends in automotive software development and what do you need to know about them?
Read More