9th European Congress

FROM JANUARY 31th TO FEBRUARY 2nd / TOULOUSE, FRANCE

PIERRE BAUDIS CONGRESS CENTER

EMBEDDED REAL TIME
SOFTWARE AND SYSTEMS

Sponsors, Partners and Media Partners

sponsors

ADACORE

ADACORE

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings: - The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability, - The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software, - The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and - The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulik(R) and Stateflow(R) models, intended for safety-critical control systems. Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, rail systems, medical devices, and financial services. AdaCore has an extensive and growing world-wide customer base; see www.adacore.com/customers/ for further information. AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.

Groupe Renault

Groupe Renault

 

ORGANISED BY


Important Dates

Regular abstract and short paper submission (4 pages): June 18, 2017 extended to July, 9

Authors Notification:
September 22, 2017

Regular Paper for review (10 pages):
October 27, 2017

Final Paper submission deadline
(Short & Regular):
November 24, 2017

sponsors

  • ADACORE

    ADACORE
  • Groupe Renault

    Groupe Renault