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
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)