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

Profile Icon

New Standards for Certifying Avionics Software have been accepted by the RTCA

The update of DO-178/ED-12 and DO-278/ED-109 has been completed and accepted by the RTCA.  EUROCAE acceptance is also expected soon.  This paves the way for use by the FAA and EASA as certification standards for air and ground based systems respectively.  Along with these standards, three supplements to these standards and one new standard where also accepted.  The supplements cover model-based design and verification (DO-331/ED-216), object-oriented technology and related techniques…See More
Discussion posted by Dr. James J. Hunt Thursday
Profile Icon

Charter Project meeting, Hengelo, 8-9 December 2011

The Charter Project held its quarterly project meeting in Hengelo on 8 and 9 December. Thales Nederland kindly provided interesting industrial context and a location for this event. The meeting was attended by all project members.See More
Discussion posted by Andriy Levytskyy Jan 12
Profile Icon
Sebastian Dorling is now a member of CHARTER Dec 8, 2011
Profile Icon

Wind River supports the CHARTER project

The National Aerospace Laboratory NLR, in its role as industrial use partner, develops a demonstrator for the avionics domain. This demonstrator will be a simplified implementation of an aircraft Environment Control System (ECS). NLR will use the CHARTER tools to develop the avionics subsystems of the ECS and evaluate the toolchain for use in the avionics domain. For the system software of the subsystems, NLR has selected Wind Rivers operating system VxWorks 653. VxWorks 653 conforms to or…See More
Discussion posted by Gosse Wedzinga Nov 21, 2011
 

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.

Project Presentation

CHARTER Project Showcase

The CHARTER Project will provide innovative packaging of knowledge and training as part of its dissemination activities during the final phase of the CHARTER project. To this end it will have a persistent virtual exhibition space to showcase the Project Partners and a persistent expo hall where visitors can gain access to training  materials structured around the CHARTER technologies.

The CHARTER Project Showcase will be available commencing Q3 2011.

Members

  • Dr. James J. Hunt
  • Scott Hansen
  • Andriy Levytskyy
  • Sebastian Dorling
  • Alec Dorling
  • Daan van Berkel
  • Gosse Wedzinga
  • Albert Oudenampsen
  • Maarten de Mol
  • Paul Brennan
  • Wolfgang Ahrendt
  • Adrian
  • Dr. Isabel Tonin
  • Stefan Blom
  • Rody Kersten
  • Wojciech Mostowski
  • Richard van der Laan
  • Reiner Hähnle
  • Paul Whiston
  • Marko van Eekelen
  • Maged Khalil
  • Julien Charles
  • Alborz Sedaghat
  • Gabriele Paganelli
  • Arend Rensink
  • Dr Fergal Mc Caffery
  • Alessandra Bagnato

CHARTER Project News

Dr. James J. Hunt

New Standards for Certifying Avionics Software have been accepted by the RTCA

The update of DO-178/ED-12 and DO-278/ED-109 has been completed and accepted by the RTCA.  EUROCAE acceptance is also expected soon.  This paves the way for use by the FAA and EASA as certification…Continue

Started by Dr. James J. Hunt on Thursday.

Gosse Wedzinga

Wind River supports the CHARTER project

The National Aerospace Laboratory NLR, in its role as industrial use partner, develops a demonstrator for the avionics domain. This demonstrator will be a simplified implementation of an aircraft…Continue

Started by Gosse Wedzinga Nov 21, 2011.

Andriy Levytskyy

CHARTER Surveillance Use Case – Industrial Evaluation

This month, Luminis has started development of a surveillance use case. The purpose of the case is industrial assessment and validation of tools and technologies developed in the “Critical and High…Continue

Started by Andriy Levytskyy Oct 21, 2011.

Events

 
 
 

CHARTER Partners

© 2012   Created by Alec Dorling.

Badges  |  Report an Issue  |  Terms of Service