This video demonstrates how to use the COEMS hardware.
Continue readingCategory: Dissemination
Video demo: Data Race Checking (HVL)
We have recorded a screen-cast that shows you how to use the COEMS Data Race Checker on the hardware.
Continue readingVideo demo: AGI
The board in the middle of the table is Airbus specific hardware. The chip on this board is a Xilinx Zynq 7000 with an integrated ARM processor. PetaLinux is running on this computer and it controls a real-time system which balances a ball on top of a platform. A camera and different algorithms are used to determine the current location of the ball. The results of a PID controller running on the Airbus board are sent to the motors to move the platform. Video. This control software is observed by the COEMS tools. More specific, the CEDAR box (connected with
Continue readingApril’20 Newsletter
The final newsletter for April 2020 has been published!
Continue readingOctober 2019 newsletter
The latest newsletter incl. information on our FM Week tutorial on Stream-based Runtime Verification is now available! PDF
Continue readingApril 2019 newsletter
The April 2019 newsletter has been published — most notably, we got a project extension until April 2020!
Continue readingDecember newsletter
Our Newsletter – December 2018 with the latest project news is now available!
Continue readingCOEMS workshop @ HiPEAC, Valencia, 21. Jan. 2019
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
Continue readingSeptember newsletter
Our Newsletter – September 2018 with the latest project news is now available!
Continue readingMulticore Integration in Avionic Systems
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
Continue reading