CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet


Critical and High Assurance Requirements Transformed through Engineering Rigour

Project Number: 100039 / PNEI 083018

Project Manager: Arend Rensink

Faculty of Electrical Engineering, Mathematics and Computer Science

Tel.: +31 53 489 4862

Email: a.rensink@utwente.nl

Project website:


Today, embedded software systems assist, accelerate, and control various aspects of European society. They enable businesses to perform better and make citizen’s lives more convenient. Just a few, especially such as for aircraft control and nuclear power supply, are critical to human life. This will change drastically.

Future generations will experience software pervasiveness that can hardly be imagined today. Embedded systems will literally be found everywhere and control almost everything. Human life will depend on software to an inconceivable extent. To protect our society from the resulting severe risks, ever more software will be subject to governmental regulations. Whenever software is deployed in sensitive applications, certification processes will be needed. The costly and time-consuming procedures employed today to verify new software, for example in the air flight industry, will fail to meet demands of this scale.

CHARTER will ease, accelerate, and cost-reduce the certification of critical embedded systems by melding realtime Java, Model Driven Development, rule-based compilation, and formal verification. This approach, Quality-Embedded Development (QED), will push software certification to a new level and thereby significantly contribute to the safety and security of the upcoming age of an embedded software society.

Project duration: 3 years / 2009-2012

Project budget: 5.2 M-€

Number of person/years: 453 person months

Project Coordinator: The Open Group

Participants: The Open Group, Aicas, Artisan, NLR, Impronova, Chalmers, UT, Radboud University Nijmegen, Lero, Luminis, QRTech AB

Project budget CTIT: 250 k-€ funding

Number of person/years CTIT: 50 person months

Involved groups: Formal Methods and Tools (FMT)