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
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