Sommaire
Introduction
This project addresses large size critical embedded systems, for which reuse is becoming crucial. The objective is to study an integrated development environment for the construction and use of safe embedded components. The use of an appropriate programming language being one of the key points contributing to safety in computer systems, we will favour a "language" approach for all aspects.
Partners
Verimag People Involved
- Pascal Raymond
- Florence Maraninchi
- Paul Caspi
- Erwan Jahier
