BEng Thesis Defense - Humberto Carvalho

BEng Thesis Defense - Humberto Carvalho

Reference Implementation of a novel Runtime Monitoring Architecture
20, Nov, 2015 14:00-15:15 (1 hour, 15 minutes)
Instituto Superior de Engenharia do Porto, Porto, Portugal

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.

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

Room B403
Departamento de Engenharia Informática

PDF Presentation (1MB)

CISTER's main roles:
Humberto Carvalho
Eduardo Tovar
Geoffrey Nelissen