Your browser doesn't support javascript. This means that the content or functionality of our website will be limited or unavailable. If you need more information about Vinnova, please contact us.


Reference number
Coordinator CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG - Institutionen för data- och informationsteknik
Funding from Vinnova SEK 1 342 893
Project duration December 2008 - July 2012
Status Completed

Important results from the project

The CHARTER project has been designed with the goals of ARTEMIS and the Annual Work Programme 2008 in mind. In particular the project aims to improve the state of the art for developing high integrity embedded systems both in terms of process and methods. The project has a strong practical focus to bridge the gab between academic research and industrial practice. It brings together a broad range of tools suppliers, certification experts, practical focused academic researchers, and user partners, who have extensive expertise in a wide range of embedded environments. SMEs play a major role in CHARTER.

Expected long term effects

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.

Approach and implementation

The CHARTER project will use realtime Java to both improve on the existing safety critical design process and make the process more accessible outside the current safety-critical domain. By taking advantage of past advances in realtime Java, development can focus on pushing safety-critical design beyond the current state of the art. Formal methods will be used to improve all aspects of the design process from code generation to resource analysis and the determination of application correctness. The goal is to provide a new paradigm for Quality Embedded Development (QED). CHARTER will focus on using formal methods to improve the safety critical development process yielding several important innovations. These innovations will help master system complexity by allowing cost effective mapping of applications and product variants onto embedded platforms. Using formal methods will enable the resultant designs to respect constraints concerning resources (time, memory, etc.), safety, security, and quality of service.

The project description has been provided by the project members themselves and the text has not been looked at by our editors.

Last updated 25 November 2019

Reference number 2008-04274

Page statistics