|CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG - Institutionen för data- och informationsteknik
|Funding from Vinnova
|SEK 1 342 893
|December 2008 - July 2012
Purpose and goal
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.
Results and expected 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.