The following companies and organizations are working together as part of the Hi-Lite effort:
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.
For more information: www.adacore.com
Altran is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. It offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are aerospace and defence, rail, nuclear, air traffic management, automotive, medical and security.
For more information: www.altran.com
The CEA is the French Atomic Energy Commission (Commissariat à l'énergie atomique). It is a public body established in October 1945 by General de Gaulle. A leader in research, development and innovation, the CEA mission statement has two main objectives : To become the leading technological research organization in Europe and to ensure that the nuclear deterrent remains effective in the future. The CEA is active in three main fields : Energy, information and health technologies, and defense and national security. In each of these fields, the CEA maintains a cross-disciplinary culture of engineers and researchers, building on the synergies between fundamental and technological research.
For more information: www.cea.fr
Astrium Space Transportation, the European prime contractor for civil and military space transportation and manned space activities. It designs, develops and produces Ariane launchers and ballistic missiles for France’s nuclear deterrent force, is industrial prime contractor for the Columbus laboratory and the ATV cargo vessel operating for the International Space Station, and is a specialist in atmospheric re-entry vehicles, propulsion systems and space equipment.
For more information: www.astrium.eads.net
INRIA, the French national institute for research in computer science and control, operating under the dual authority of the Ministry of Research and the Ministry of Industry, is dedicated to fundamental and applied research in information and communication science and technology (ICST). The Institute also plays a major role in technology transfer by fostering training through research, diffusion of scientific and technical information, development, as well as providing expert advice and participating in international programs.
The objective of the ProVal research project-team is to propose methods and tools that can be integrated into the software development cycle and that make it possible to produce code that is proven to be correct with respect to its expected behavior.>This project stems from project LogiCal. It is based on the formalism of type theory which provides a clear semantic framework to represent proofs and computations in the machine. The project develops a generic program proof environment (Why), that is able to generate proof demands that can then be delegated to automatic or interactive provers. Dedicated environments to prove C programs (Caduceus) and Java programs (Krakatoa) annoted with formulas describing the expected behavior, are constructed on top of this tool.
For more information: www.inria.fr
Thales is a global technology leader for the Aerospace and Space, Defence, Security and Transportation markets. In 2008, the company generated revenues of £10.2 billion (12.7 billion euros) with 68,000 employees in 50 countries. With its 25,000 engineers and researchers, Thales has a unique capability to design, develop and deploy equip¬ment, systems and services that meet the most complex security requirements. Thales has an exceptional international footprint, with operations around the world working with customers as local partners.
For more information: www.thalesgroup.com