Upload
alec-dorling
View
219
Download
0
Tags:
Embed Size (px)
DESCRIPTION
CHARTER Project Presentation
Citation preview
CHARTERCritical and High Assurance Requirements Transformed through Engineering Rigour
ARTEMIS JOINT UNDERTAKING - 2
CHARTER Partners (11)
Industrial Partnersaicas, Artisan SW, Impronova, Luminis, QRTech, The Open Group
Research CentresNational Aerospace Laboratory, Dundalk Institute of Technology
UniversitiesChalmers TU, U Twente, Radboud U
IEUK
DE
SE
NL
IEUK
DE
SE
NL
ARTEMIS JOINT UNDERTAKING - 3
CHARTER Objectives
Project FactsStart: 1 April 2009Duration: 3 YearsTotal cost: 5.237 Mio €
ObjectiveDevelop concepts, methods, and tools for embedded system design and deployment that master complexity and substantially improve the development, verification and certification of critical systems
ARTEMIS JOINT UNDERTAKING - 4
CHARTER Motivation
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
Facilitate the rapid development of robust, safety critical embedded systems through
ARTEMIS JOINT UNDERTAKING - 5
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 UNDERTAKING - 6
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 UNDERTAKING - 7
CHARTER Economic Impact
20% reduction in design time
30% increase in reusable classes
35% reduction in porting effort
20% reduction in errors reported during test phase
25% reduction in time required to generate test cases
0
20
40
60
80
100
RequirementsAnalysis
System Design Programmingand Unit Testing
System Testingand Integration
Total
W/O CHARTER
With CHARTER
0
5
10
15
20
Design Development Testing Certification Total
Cost Savings [%]
(Estimations for the Aviation sector)
ARTEMIS JOINT UNDERTAKING - 8
Further CHARTER Information
Project Coordinator• Scott Hansen• The Open Group• Tel: +32.2.675.1136• E-mail: [email protected]
Technical Manager• James Hunt• Aicas• Tel: +49.721.663.968.22• E-mail: [email protected]
Website: charter-project.org