ARTEMIS Call 2008 Project
CHARTER
Critical and High Assurance Requirements Transformed through Engineering Rigour
ARTEMIS
E X E C U T I V E summar y
Ease, accelerate, and reduce the cost of verifying and certifying of critical embedded systems thereby contributing to the safety and security of citizens who rely on embedded systems.
R E L E VA N C E C A L L 2008 objectives
Increase productivity of developers through a 10% reduction in the cost of critical system design by 2013, along with a 15% reduction in the software development cycles in critical Automotive, Medical, Surveillance and Aviation sectors that demand verified or certified embedded systems.
M A R K E T innovation
CHARTER will advance real-time system development technologies so that the safety and robustness of critical embedded systems can be boosted and attained at a much lower cost. Availability of new verification technologies will enable many more applications to achieve higher safety standards. Impr oving Eur opean competitiveness
European companies that rely on the design and integration of safety critical embedded systems for their products will be more competitive through reduced costs and shorter time to market. The reduction of re-certification costs for product releases will make EU companies more receptive and competitive.
T E C H N I C A L innovation
> Advanced engineering process requirements to cover deductive formal verification and test generation driven by requirements > Hyperlinked traceability evidence containing base lined artefacts, their certification evidence, including verification traces, and their traceability relationships > Automatic Test Case Generation methods capable of addressing extra-functional properties of embedded systems > Lightweight, portable, repository independent graph rewriting tool that can be retargeted to different languages and metamodels > New technology for the certification of model-driven development that translates partial models to more complete models, models to source codes and source code to binary code > Rule driven compilation methods able to demonstrate code correctness
Project Coordinator
DURATION
Scott Hansen
36 months
INSTITUTION
START
The Open Group (UK)
April 2009
TOTAL COST
s.hansen@opengroup.org
5.2 Mâ‚Ź
Website
www.charter-project.org
Advanced 3642--0480 CHARTER (poster).indd 1
Research
&
Te c h n o l o g y
for
EMbedded
Intelligence
and
Systems 23-10-2009 14:03:58
ARTEMIS Call 2008 Project
CHARTER
ARTEMIS
project partners
U nited K in g d o m
SWEDEN
IRELAND
GERMANY
THE NETHERLANDS
Advanced 3642--0480 CHARTER (poster).indd 2
Research
&
Te c h n o l o g y
for
EMbedded
Intelligence
and
Systems 23-10-2009 14:04:03