Today, embedded software systems assist, accelerate, and control various aspects of European society. They enable businesses to perform better and make citizen’s lives more convenient. Just a few, especially in cars, aircraft or major industrial and utility plants, are critical to human life. This will continue to change drastically.
Future generations will experience software pervasiveness that can hardly be imagined today. Embedded systems will literally be found everywhere and control almost everything. Human life will depend on software to an inconceivable extent. To protect our society from the resulting severe risks, ever more software will be subject to governmental regulations. Whenever software is deployed in sensitive applications, certification processes will be needed. The costly and time-consuming procedures employed today to verify new software, for example in the aerospace industry, will fail to meet demands of this scale.
CHARTER will ease, accelerate, and cost-reduce the certification of 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.
PROJECT START: April 1, 2009
DURATION PROJECT: 36 months
Total funding for this project is 2,55 M€
Scott Hansen
X/Open Company Limited
Director
Tel: +44 322 675 1136
Postal address:
Station Road Thames Tower 37-45
RG1 1LX Reading
UNITED KINGDOM