CHARTER

Critical and High Assurance Requirements Transformed through Engineering Rigour

Share This


ARTEMIS Publications

Project Flyer

Project Poster

Photos

Loading…
  • Add Photos
  • View All

Latest Activity

Alec Dorling posted events
May 27, 2012
Klaas Wiegmink posted a discussion

CHARTER avionics demonstrator works!

NLR has successfully integrated the avionics use case, the environment simulator and the soft…See More
May 24, 2012
Marko van Eekelen posted a discussion

New Release of Virtual Box Image with CHARTER tool chain installed

Hi Charter partners,We, in cooperation with Enschede and Chalmers, have prepared a new release of…See More
May 24, 2012
Marko van Eekelen posted events
May 24, 2012
 

The CHARTER Project

CHARTER - Critical and High Assurance Requirements Transformed through Engineering Rigour - is an ARTEMIS Embedded Computing Systems Initiative project.

CHARTER aims to 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 cost-reduce the certification of such critical embedded systems by melding real-time 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.

CHARTER Project Handbook

The CHARTER Project Handbook provides an overview of the  CHARTER methodology – the process, concepts and tools. Download the CHARTER Project Handbook here.

Virtual Box 

Download the Virtual Box image with the CHARTER tool chain installed here.

CHARTER Project Presentation

CHARTER Project Showcase

Learn more about the Partners and the CHARTER Project. Gain access to training  materials structured around the CHARTER technologies. Visit the CHARTER Project Showcase.

CHARTER Project News

CHARTER avionics demonstrator works!

NLR has successfully integrated the avionics use case, the environment simulator and the soft cockpit panels. The avionics use case is a simplified aircraft Environment Control System (ECS) that…Continue

Started by Klaas Wiegmink May 24, 2012.

New Release of Virtual Box Image with CHARTER tool chain installed

Hi Charter partners,We, in cooperation with Enschede and Chalmers, have prepared a new release of the VirtualBox image. It is 2 GiB in size. Based on your valuable input (this time especially thanks…Continue

Started by Marko van Eekelen May 24, 2012.

KeYTestGen+KeYFloat Eclipse Plugin released! 1 Reply

The latest version of KeYTestGen+KeYFloat Eclipse plugin has been released. Now KeYTestGen can deal with unavailable library code, by generating automatically stubs that can be specified by the…Continue

Started by Gabriele Paganelli. Last reply by Gabriele Paganelli May 23, 2012.

KeYFloat extends KeY to handle floating-point data types

KeYFloat is an extension of KeY to handle floating-point computations. It relies on KeY and on experimental SMT solvers to verify properties involving floating-point data. Check it out at…Continue

Started by Gabriele Paganelli May 23, 2012.

Members

Events

 
 
 

CHARTER Partners

© 2014   Created by Alec Dorling.

Badges  |  Report an Issue  |  Terms of Service