Time filter

Source Type

Elancourt, France

Esterel Technologies is a supplier of model-based design, validation, and code generation tools for safety-critical software and hardware applications. Esterel’s tools create formal specifications that produce control designs code in software and/or hardware.Esterel Technologies, a wholly owned subsidiary of ANSYS, Inc., has offices in Élancourt, France, and Mountain View, California. Esterel also has direct sales offices in Ottobrunn, Germany, Bracknell, United Kingdom, and Shanghai, P.R. China. Distributors in Japan, China, South Korea, Israel, and India complement the Esterel direct sales offices. Wikipedia.

LeSergent T.,Esterel Technologies | Romeas F.,Airbus | Tourillion O.,Airbus
SAE International Journal of Aerospace | Year: 2012

Avionics systems are complex systems that integrate hardware, communication media, have many interactions with other subsystems, within or outside of the aircraft, and for the system discussed in this presentation, integrate software that must be developed according to DO-178B guidelines. System engineering and software engineering are two engineering disciplines that are historically handled by teams with different cultures, and when their engineering processes are supported by tools, use different and incompatible tools. This often leads to a difficult collaboration, with at some point, redundant information and inconsistencies. This presentation introduces a solution, based on the SysML standard for system modeling, and on the SCADE Suite product from Esterel Technologies for the development of DO-178B certified software components. This solution, named SCADE System, allows system and software engineers to work with the right formalism for their respective domains while improving cooperation due to a unified tool framework for System and Software models, the same requirements traceability and documentation generation tools, and a synchronization mechanism for the data that are at the frontier between the two engineering domains. This solution can be the basis to develop systems that have to adhere to both functional standards, such as ARINC 653 (IMA) or ARINC 661 (CDS), and certification standards like ARP 4754 (Systems), DO-178B (Software), or DO-297 (IMA). The presentation details, in particular, how this solution can be applied in the system and software engineering processes evolving in parallel in industrial avionics projects, and how the work in the system and software engineering can be synchronized. The system and software engineering flow is demonstrated on an avionics application use case from Eurocopter. It starts with a description of the intended application functionality. A description of the IMA equipment, modules, and partitions is then provided. This is followed by a description of the application architecture together with a tabular description of the allocation of the system functions to the architecture physical components and a description of the allocation of functional data to physical messages. Finally, the software blocks are mapped to a SCADE Suite software model. This interface is the basis for synchronization between system and software engineering activities. The synchronization action shall be explicit and it can be triggered either by the system team or software team. When the software design and verification is completed, the code can be compiled and loaded on the target. ARINC 653 configuration files (IMA) and glue code can be automatically generated from scripts based on the system and software model APIs. © 2012 SAE International. Source

Rossignol V.,Esterel Technologies
SAE International Journal of Aerospace | Year: 2010

Historically, the majority of avionics display manufacturers have sought custom solutions to support the development of cockpit displays, head-up displays and other avionics on-board and ground displays, from specification through to target. This was however a decision borne out necessity rather than choice since the inherent wisdom of a 'commercial-off-the-shelf' (COTS) approach had been understood and demonstrated in other parallel domains for some time. So, with this in mind, why was a more costly custom approach selected?. © 2009 SAE International. Source

Rossignol V.,Esterel Technologies
SAE Technical Papers | Year: 2012

Cockpit Display System (CDS) suppliers need to now prepare for the cockpits of the future. The architecture, design and ergonomics of the cockpits have to be re-assessed in order to place the pilot at the center of the system, while taking into account the increasing complexity of the systems. Human Machine Interfaces (HMI) have to be simplified and made more intuitive. Thus, there is a need for dedicated HMI design tools and human-factor-oriented processes that are able to support both the required flexibility in the display creation for various types of interactive displays and the increasing demand for safety in avionics displays. This paper presents a COTS approach to these needs, which combines the SCADE Display model-based HMI software design solution, designed from the ground up for displays with safety objectives, with an associated prototyping and development process largely based upon human factors assessment. The paper concludes with a status of current research activities on the topic and a summary of the benefits provided by this approach for interactive aerospace displays. Copyright © 2012 SAE International. Source

Mechatronics, that is, the interplay among mechanics, electronics, and software is today the key to success. The development of mechatronic products requires however an integrated view and an interdisciplinary understanding among departments. Even when project participants develop this understanding, the software tools among the various disciplines place limits. The discussion covers introduction; ideas need freedom; the integrated view is lacking; "Modelica": from code to the model; Safety-Critical Application Development Environment (SCADE): from the model automatically to the code; and front loading according to IEC 61508 SIL3. The various simulation tools on the market are highly efficient as such. However, these simulation tools in the various disciplines such as CAD, control and automatic control engineering do not yet communicate with one another. Modelica, however, is an open description language with which the physical properties of a system, the integration of CAD models, and their dynamic simulation, allow depiction. Software developers also need to go in the opposite direction. It makes sense in this that changes in the model can be converted also automatically and reliably again into the source code. SCADE generates this code and therefore offers the correct test of the functionality (front loading). In Germany, for example, The German Center for Air and Space Travel (Deutsches Zentrum für Luft- und Raumfahrt, DLR) has funded comprehensive Modelica libraries. The DLR is interested in robotics in space travel, medical technology, and basic research, among other areas. Many tools, developments, and simulation environments can be completely integrated with the leading CAD systems from free open source solutions from academia to high end solutions such as "Dynasim" of Dassault Systemes. Source

Esterel Technologies | Date: 2012-08-28

Computer software development tools; Computer software platforms for creating embedded software used for critical functions and to create executable specifications, formal tests, and automatically generated code.

Discover hidden collaborations