Projects

CHARTER

Critical and High Assurance Requirements Transformed through Engineering Rigour

CHARTER - Critical and High Assurance Requirements Transformed through Engineering Rigour - is an ARTEMIS Embedded Computing Systems Initiative project (https://www.artemis-ju.eu/)

CHARTER will develop concepts, methods, and tools for embedded system design and deployment that will enable developers to master the complexity and substantially improve the development, verification and certification of critical embedded systems.

Critical embedded software systems assist, accelerate, and control various aspects of society and are common in cars, aircraft, medical instruments and major industrial and utility plants. These systems are critical to human life and need to be held to the highest standards of performance through formal certification procedures.

CHARTER will ease, accelerate, and reduce the cost of the certification of such 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.

CHARTER project technologies will enable new methods of verification and certification that will streamline the process for certification of crucial embedded systems through the use of higher level languages and Model Driven Development methods and tools.

Project Start
1 Apr 2009

Project End
30 Jun 2012