20, Nov, 2015 14:00-15:15 (1 hour, 15 minutes)
Instituto Superior de Engenharia do Porto, Porto, Portugal

ABSTRACT:
Developed in the context of the Project/Internship (PESTI) class at ISEP, the Polytechnic Institute of Engineering in Porto Portugal, this presentation details the development and implementation of a new state of the art run-time monitoring framework developed at CISTER, which adheres to the high standards of real-time and embedded platforms, the likes of avionics, automotive and nuclear industries requires. It addresses the problem of verification and testing of complex and unpredictable computing architectures, together with the composable development approach frequently adopted in these industries.
The monitoring framework defines a new state of the art data structure, specifically developed with run-time monitoring in mind and designed from the ground up as a writer priority structure, which guarantees deterministic O(1) writes. It makes use of the lock-free and wait-free programming techniques to ensure as much concurrency and parallelization from a given system as possible.
The framework has been implemented as a C++ library with a built in real-time monitor scheduling solution, and as a loadable linux kernel module. Both are planned to be presented in future conferences such as RTSS@Work and RTAS.

JURY:
Professor António Cardoso Costa
Professor Carlos Manuel Abreu Gomes Ferreira

WHERE:
Room B403
Departamento de Engenharia Informática

DOWNLOAD:
PDF Presentation (1MB)

CISTER's main roles: