Projects

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set architecture for microprocessors which has been…

The aim of the project is to develop techniques to elicit requirements for systems to control autonomous vehicles, and validate them in a timely fashion, such that the necessary safety and security…

The SAFE-10-T project will develop a Safety Framework to ensure high safety performance while allowing longer life-cycles for critical infrastructure across the road, rail and inland waterway…

The exponential growth of the complexity of electronic systems makes it

increasingly diffult to prove their correctness (verification). Addressing

this problem, the goal of the SELFIE project is a…

The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits the capability of many applications to tolerate a…

The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the challenges of the increased demand on the quality, and…