Projektdetaljer
Beskrivelse
CHARTER 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.
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.
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.
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.
| Akronym | CHARTER |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/04/2009 → 01/04/2012 |
Finansiering
- European Commission: 5.200.000,00 kr.
Emneord
- embedded systems
- requirements
- formal verification
- certification
- model-driven development
- rule-based compilation
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.