Category: Newsletter

The final newsletter for April 2020 has been published!

The latest newsletter incl. information on our FM Week tutorial on Stream-based Runtime Verification is now available! PDF

The April 2019 newsletter has been published — most notably, we got a project extension until April 2020!

Our Newsletter – December 2018 with the latest project news is now available!    

Call for Participation Continuous Observation of Embedded Multicore Systems (COEMS) @ HiPEAC Conference, Valencia, January 21, 2019 Dear HiPEAC colleagues, We warmly invite you to participate in the project workshop COEMS (https://www.coems.eu/). Within the COEMS (Continuous Observation of Embedded Multicore Systems) project a novel platform for online monitoring of multicore systems is developed. It is targeting to provide insight into the system’s behaviour without affecting it. This insight is crucial to detect non-deterministic failures as for example caused by race conditions and access to inconsistent data. The workshop is presenting the current state of project findings and developments. Several talks

Our Newsletter – September 2018 with the latest project news is now available!

Integration of multicore systems is rather new in the context of avionic systems. Even though there are many initiatives to enable multicores for avionic use cases, reality is still the use of single-core systems. The reason for this are manifold regulations and the long product cycles: any product developed for application in airborne systems need to be certified. This certification is extremely expensive and, hence, once a system is certified it will be used for many years. Novel developments require a good reason that must be more than just higher integration. Moreover, if higher integration is an argument, multiple systems

Modified condition/decision coverage (MC/DC) is a coverage criterion that is required for the certification of safety-critical software-systems used in the avionics industry. Due to a limitation in size of traces which becomes unfeasible very quickly, an online approach is proposed to measure MC/DC using COEMS FPGA hardware to reconstruct the trace and calculate the MC/DC information. It combines current research on online trace reconstruction with online monitoring of trace information. To satisfy MC/DC, the following criteria need to be fulfilled: every point of entry and exit in the program should be invoked at least once every basic condition in a