Sponsors, Partners and Media Partners
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 CWE-Compatible 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, CodePeer can detect a number of the “Top 25 Most Dangerous Software Errors” in the MITRE Corporation’s Common Weakness Enumeration (CWE). - The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems, - The QGen model-based development tool suite for safety-critical control systems, providing a qualifiable and customisable code generator and static verifier for a safe subset of Simulink® and Stateflow® models, and a model-level debugger. Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, automotive, railway, space, defence systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/industries/ for further information. AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com/
About Groupe Renault Groupe Renault has manufactured cars since 1898. Today it is an international multi-brand group, selling close to 3.9 million vehicles in 134 countries in 2018, with 36 manufacturing sites, 12,700 points of sales and employing more than 180,000 people. To address the major technological challenges of the future, whilst continuing to pursue its profitable growth strategy, Groupe Renault is focusing on international expansion. To this end, it is drawing on the synergies of its five brands (Renault, Dacia, Renault Samsung Motors, Alpine and LADA), electric vehicles and its unique alliance with Nissan and Mitsubishi Motors. With a 100% Renault-owned team committed to the Formula 1 World Championship since 2016, the brand is involved in motorsports, a real vector for innovation and awareness.
QA Systems Company QA Systems’ fundamental goals are to accelerate and improve software development. Operating on a global scale, QA Systems has over 350 blue-chip customers, spanning a range of industries, including aerospace & defence, automotive, healthcare and railways. The company supplies and supports its own dynamic testing tools, in addition to carefully selected products from strategic business partners, for static testing, requirements engineering, architectural analysis and software metrics. Cantata Tool Cantata dynamically proves code with intelligent unit and integration testing, in the most cost effective manner. It provides a complete test development environment, built on Eclipse, and it integrates easily with developer desktop compilers and embedded target platforms. Cantata has been successfully used by customers worldwide since the 1990s to meet the main international safety-related standards, including: ISO 26262, EN 50128, IEC 60880, DO 178B/C and IEC 62304.
SYSGO is the leading European provider of Real-Time Operating Systems for safety-critical and certifiable embedded systems in the Internet of Things (IoT). PikeOS, a hard RTOS with hypervisor functionality, allows to securely run critical and non-critical applications on the same hardware, reducing footprint, hardware cost, energy consumption and weight. PikeOS has been designed from scratch for mission-critical projects with certification requirements according to various safety and security standards such as DO-178B/C, IEC 61508, EN 50128, ISO 26262 or IEC 15408 (Common Criteria). Currently the version PikeOS 4.2 is available for developers. It is characterized by an improved multicore CPU handling and is the new foundation for projects that need get certified. Next to this we present ELinOS 6.2. ELinOS is an industrial grade Linux distribution, designed to be built out of the box and adapted to customer needs. ELinOS is a SYSGO own distribution and 100 % compatible with PikeOS. Certifying software according to safety and/or security standards is a complex process that includes reviewing software design, coding, validation and verification. Supporting customers from the first stage and through the complete development process and preparing them for an efficient and effective certification is SYSGO’s expertise. 80 % of SYSGO engineers have distinct certification experience and customers are supported throughout the entire certification process. We supply certification details and documentation. Our customers are leading players in the Aerospace & Defense, Railway, Automotive and Industrial Automation industries. SYSGO has locations in Germany, France, UK and the Czech Republic. SYSGO is certified according to ISO 9001:2015 and ISO/IEC
About ISAE-SUPAERO A world leader in higher education and research in aerospace engineering, ISAE-SUPAERO is a research and innovation-driven institution of higher education, committed to balancing scientific excellence, academic visibility and proximity to industrial objectives. It offers a complete, unique range of advanced higher education programs including “the Ingénieur ISAE-SUPAERO” (MSc) Degree and a apprenticeship program, 1 master in aeronautics and space delivered in English, 6 research masters, 15 advanced masters, and 6 Doctoral schools. ISAE-SUPAERO has developed a research policy resolutely focused on answering the future needs of the aerospace industry and other high technology sectors. Close collaboration with industry is reflected in the Institution’s ongoing commitment to developing teaching and research chairs in strategic fields such as neuroergonomics and human factors, advanced space concepts, embedded systems engineering, eco-design for aircraft or innovative propulsive systems. More than 10 chairs are currently in progress with Thales, Axa, Airbus, Safran, Dassault Aviation, Arianegroup or MBDA for instance. Many lecturers from industry also contribute to the school’s programs, keeping students attuned to the latest technological innovations and the best industrial practices. On the international level, ISAE-SUPAERO cooperates with premier European universities (TU Munich, TU Delft, ETSIA Madrid, Politecnico Torino et Milano, KTH Stockholm, Imperial College, Cranfield), North American institutions (Caltech, Stanford, Georgia Tech, UC Berkeley, EP Montreal...) and Latin American and Asian universities as well. The ISAE-SUPAERO learning community includes 100 professors and researchers, 1800 lecturers from industry, and nearly 1700 undergraduate students. Every year, over 30% of the Institute’s graduates are international students, and the alumni network includes over 22 100 former graduates.
A key player in energy transition, the EDF Group is an integrated electricity company, active in all areas of the business: generation, transmission, distribution, energy supply and trading, energy services. A global leader in low-carbon energies, the Group has developed a diversified generation mix based on nuclear power, hydropower, new renewable energies and thermal energy. The Group is involved in supplying energy and services to approximately 39.8 million customers(1), 29.7million of which are in France. It generated consolidated sales of €69 billion in 2018. EDF is listed on the Paris Stock Exchange. (1)The customers were counted at the end of 2018 per delivery site; a customer can have two delivery points: one for electricity and another for gas
Airbus is a global leader in aeronautics, space and related services. In 2018 it generated revenues of € 64 billion and employed a workforce of around 134,000. Airbus offers the most comprehensive range of passenger airliners. Airbus is also a European leader providing tanker, combat, transport and mission aircraft, as well as one of the world’s leading space companies. In helicopters, Airbus provides the most efficient civil and military rotorcraft solutions worldwide.”
IRT Saint Exupéry* is a technological research institute which accelerates science, technology research and transfer to aeronautics, space and embedded systems industries through the development of dependable, robust, certifiable and sustainable innovative solutions. IRT Saint Exupéry offers on its Toulouse, Bordeaux, Montpellier, Sophia Antipolis and Montreal sites a collaborative environment composed of engineers, researchers, experts and PhDs from academic and industrial sectors to lead R&T projects and services thanks to its Technology Platforms in four strategic domains: · High Performance Multifunctional Materials: Composites, Surfaces & Assemblies - Metallic Materials & Processes · More Electrical Aircraft: Dielectrics, Conductors & Plasmas - Power Technologies & Integration - Components Modeling & Reliability · Intelligent Systems & Communications: Digital Signal Processing – Intelligent Systems & Applications – Artificial Intelligence for autonomous & critical systems · Systems Engineering & Modeling: Systems Engineering – Multidisciplinary Design Optimization * IRT Saint Exupéry has been launched by the French government within Investments for the Future Program. (PIA)
ERTS 2020 - IMPORTANT DATES
Abstract of Regular and Short Paper submission : Closed
Acceptance Notification : Closed
Regular Full Paper for review :
October 15th, 2019
Regular and Short Paper Final Version :
November, 10th, 2019
January 29th to 31st, 2020
Paper Award announcement at Congress Dinner :
January 30th, 2020
IRT ST EXUPERY