CHARTER Critical and High Assurance Requirements Transformed through Engineering Rigour
CHARTER Partners (11)
Industrial Partners aicas, Artisan SW, Impronova, Luminis, QRTech, The Open Group SE
Research Centres National Aerospace Laboratory, Dundalk Institute of Technology
IE
UK
NL
DE
Universities Chalmers TU, U Twente, Radboud U
ARTEMIS JOINT
CHARTER Objectives
Objective Develop concepts, methods, and tools for embedded system design and deployment that master complexity and substantially improve the development, verification and certification of critical systems
 Project Facts Start: 1 April 2009 Duration: 3 Years Total cost: 5.237 Mio ₏ ARTEMIS JOINT
CHARTER Motivation
Facilitate the rapid development of robust, safety critical embedded systems through Better use of formal methods • capture system requirements • demonstrate code correctness • generate tests from requirements
Improved translation technology to facilitate the validation of systems • generate source code from system models • compile source code to machine code
Improved reuse of design, source code, and certification evidence ARTEMIS JOINT
CHARTER Results
New tools and techniques to • prove source code correctness • automatically generate test code from software requirements • generate verifiable source code from UML • write verifiable compilers • manage certification evidence Body of verified libraries to facilitate developing and certifying safety critical systems Improved MDD methodology for certifiable embedded systems ARTEMIS JOINT
CHARTER Application Areas
Avionics Automotive Aerospace Medical Systems Railways Industrial Control
CHARTER will ease, accelerate, and cost-reduce the certification of critical embedded systems improving the safety and security in the coming age of an embedded software society ARTEMIS JOINT
CHARTER Economic Impact
20% reduction in design time
100 80
W/O CHARTER
60
With CHARTER
40
30% increase in reusable classes
20 0 Requirements
35% reduction in porting effort
20% reduction in errors reported during test phase
25% reduction in time required to generate test cases
System Design
Analysis
Programming
System Testing
Total
and Unit Testing and Integration
20 15 Cost Savings [%]
10 5 0
Design
Development
Testing
Certification
Total
(Estimations for the Aviation sector) ARTEMIS JOINT
Further CHARTER Information
Project Coordinator • Scott Hansen • The Open Group • Tel: +32.2.675.1136 • E-mail: s.hansen@opengroup.org
Technical Manager • James Hunt • Aicas • Tel: +49.721.663.968.22 • E-mail: jjh@aicas.com
Website: charter-project.org ARTEMIS JOINT