What are the implications of multi-core devices on code coverage?

The use of code coverage (also called structural coverage analysis or SCA) when testing safety-critical systems is widely established. For example, in the aerospace domain, the DO-178B/C guidance requires specific types of coverage testing to be carried out. The depth of coverage testing required depends on the system's safety level, with the most critical requiring the use of modified condition/decision coverage (MC/DC).
Read More

P-SOCRATES project begins

I recently attended the first meeting of the P-SOCRATES project as an Industrial Advisory Board member, hosted by the Barcelona Supercomputing Center. P-SOCRATES (Parallel SOftware framework for time-CRitical mAny-core sysTemS) is an EU research project combining recent developments from high performance computing and embedded systems.
Read More