Section: Contracts and Grants with Industry

ES_PASS Contract

ES_PASS (Embedded Software Product-based ASSurance) is an ITEA European project grouping technology and tool providers as well as industrial end-users in the field of embedded software for automotive, avionic, railway and space transportation (AbsInt Angewandte Informatik GmbH, Airbus France, CEA/LIST, CS Systèmes d'Information, DaimlerChrysler AG, EADS Astrium SAS, EADS Innovation Works, École Normale Supérieure (ENS), Esterel technologies, FéRIA (IRIT & ONERA), Fraunhofer FIRST, Institut für Bahntechnik (IFB), Saarland University, Siemens VDO, Technical University Munich, Technical University of Madrid, Thales Avionics, Thales Transport). The objective of the participation of the Abstraction project-team to ES_PASS is to confront the Astrée analyzer to a wide range of industrial applications in order to evaluate its practical applicability and prepare its industrialization. Patrick Cousot is the principal investigator for this action.