This video demonstrates how to use the COEMS hardware.
Continue readingCategory: Movie
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 reading