ALIDECS

ACI Sécurité, 2004-2007

An integrated development environment for the construction and use of safe embedded components.

 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