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.
Agency: Cordis | Branch: FP7 | Program: CP | Phase: ICT-2007.3.3 | Award Amount: 7.38M | Year: 2008
The INTERESTED project has been built to exactly match the goals defined within the Objective ICT-2007-3.3b Suites of Interoperable design tools for rapid design and prototyping, namely creating a reference open interoperable embedded systems tool-chain, fulfilling the needs of the industry for designing and prototyping embedded systemsThis project regroups a consortium of leading edge European Embedded Systems Tools Vendors, all being high tech innovatives SMEs, as well as European Major Tool Users representing several industries that are both integrating massively embedded systems and contributing to the overall competitiveness of Europe: Aerospace, Automotive, Railway and Transportation and Energy.The method followed in the project is the following:- Major Tool Users will bring their requirements for the Tool-Chain content, structuring, features, interoperability architecture and characteristics;- Cover the full scope of Embedded Systems and SW engineering disciplines, spanning: . System and Application Software Design Modelling, Verification and Code Generation . Networking and RTOS execution platforms, Hardware-Dependent Software verification and Code Generation . Timing Analysis and code execution verification- Validate the use and openness of the INTERESTED tool-chain on Industrial Validators representing key application domains for European leading industries;- Demonstrate openness and interoperability within the INTERESTED Tool-Chain of Commercial Off-The-Shelf (COTS) and Open Source tools to the benefit of the users and tool suppliers communities.In summary, INTERESTED aims at realize the first European-Wide tool reference development environment ever, validated by Major Tool Users through real-life Industrial Validators, ensuring an integrated, lower cost, highly dependable, safe and efficient development process to the benefit of critical EU industries.
Agency: Cordis | Branch: H2020 | Program: RIA | Phase: ICT-01-2014 | Award Amount: 4.93M | Year: 2015
The proposed research effort provides methods for a faster and more efficient development process of safety- or operation-critical cyber-physical systems in (partially) unknown environments. Cyber-physical systems are very hard to control and verify because of the mix of discrete dynamics (originating from computing elements) and continuous dynamics (originating from physical elements). We present completely new methods for de-verticalisation of the development processes by a generic and holistic approach towards reliable cyber-physical systems development with formal guarantees. In order to guarantee that specifications are met in unknown environments and in unanticipated situations, we synthesise and verify controllers on-the-fly during system execution. This requires to unify control and verification approaches, which were previously considered separately by developers. For instance, each action of an automated car (e.g. lane change) is verified before execution, guaranteeing safety of the passengers. We will develop completely new methods, which are integrated in tools for modelling, control design, verification, and code generation that will leverage the development towards reliable and at the same time open cyber-physical systems. Our approach leverages future certification needs of open and critical cyber-physical systems. The impact of this project is far-reaching and long-term: UnCoVerCPS prepares the EU to be able to develop critical cyber-physical systems that can only be realised and certified when uncertainties in the environment are adequately considered. This is demonstrated by applying our ground-breaking methods to automated vehicles, human-robot collaborative manufacturing, and smart grids within a consortium that has a balanced participation of academic and industrial partners.
Agency: Cordis | Branch: FP7 | Program: JTI-CP-ARTEMIS | Phase: SP1-JTI-ARTEMIS-2008-1 | Award Amount: 58.30M | Year: 2009
The embedded safety-critical systems design and development industry is facing increasing complexity and variety of systems and devices, coupled with increasing regulatory constraints while costs, performances and time to market are constantly challenged. This has led to a profusion of enablers (new processes, methods and tools), which are neither integrated nor interoperable because they have been developed more or less independently, addressing only a part of the complexity issue, such as safety. The absence of internationally recognized open standards is a limiting factor in terms of industrial performance when com-panies have to select among these enablers. CESAR will bring significant and conclusive innovations in the two most improvable systems engineering disciplines: - Requirements engineering in particular through formalization of multi viewpoint and multi criteria requirements, - Component based engineering applied to design space exploration comprising multi-view/multi-criteria architecture trade-offs. In addition CESAR intends to provide industrial companies with a breakthrough in system development by deploying a customizable systems engineering Reference Technology Plat-form (RTP) making it possible to integrate or interoperate existing or emerging available technologies. This will be a significant step forward in terms of industrial performance im-provement that will help to establish de-facto standards and contribute to the standardization effort from a European perspective. Relying on industrial use-cases and scenarios, CESAR is strongly industry driven. It will ad-dress societal safety, mobility and environmental demands from a multi-domain point of view, relying on high maturity inputs (TRL 4) and target high maturity outputs (TRL 6). Quantified objectives are defined in the proposal regarding integration aspects (RTP), processes and product- related aspects.
News Article | November 4, 2016
This report studies sales (consumption) of Embedded Display in Europe market, especially in Germany, UK, France, Russia, Italy, Benelux and Spain, focuses on top players in these countries, with sales, price, revenue and market share for each player in these Countries, covering Market Segment by Countries, this report splits Europe into several key Countries, with sales (consumption), revenue, market share and growth rate of Embedded Display in these countries, from 2011 to 2021 (forecast), like Split by product type, with sales, revenue, price, market share and growth rate of each type, can be divided into Type I Type II Type III Split by application, this report focuses on sales, market share and growth rate of Embedded Display in each application, can be divided into Application 1 Application 2 Application 3 View Full Report With Complete TOC, List Of Figure and Table: http://globalqyresearch.com/europe-embedded-display-market-report-2016 Europe Embedded Display Market Report 2016 1 Embedded Display Overview 1.1 Product Overview and Scope of Embedded Display 1.2 Classification of Embedded Display 1.2.1 Type I 1.2.2 Type II 1.2.3 Type III 1.3 Application of Embedded Display 1.3.1 Application 1 1.3.2 Application 2 1.3.3 Application 3 1.4 Embedded Display Market by Countries 1.4.1 Germany Status and Prospect (2011-2021) 1.4.2 France Status and Prospect (2011-2021) 1.4.3 UK Status and Prospect (2011-2021) 1.4.4 Russia Status and Prospect (2011-2021) 1.4.5 Italy Status and Prospect (2011-2021) 1.4.6 Spain Status and Prospect (2011-2021) 1.4.7 Benelux Status and Prospect (2011-2021) 1.5 Europe Market Size (Value and Volume) of Embedded Display (2011-2021) 1.5.1 Europe Embedded Display Sales and Growth Rate (2011-2021) 1.5.2 Europe Embedded Display Revenue and Growth Rate (2011-2021) 10 Europe Embedded Display Manufacturers Analysis 10.1 Andersdx 10.1.1 Company Basic Information, Manufacturing Base and Competitors 10.1.2 Embedded Display Product Type, Application and Specification 10.1.2.1 Type I 10.1.2.2 Type II 10.1.3 Andersdx Embedded Display Sales, Revenue, Price and Gross Margin (2011-2016) 10.1.4 Main Business/Business Overview 10.2 Avnet 10.2.1 Company Basic Information, Manufacturing Base and Competitors 10.2.2 Embedded Display Product Type, Application and Specification 10.2.2.1 Type I 10.2.2.2 Type II 10.2.3 Avnet Embedded Display Sales, Revenue, Price and Gross Margin (2011-2016) 10.2.4 Main Business/Business Overview 10.3 Esterel Technologies 10.3.1 Company Basic Information, Manufacturing Base and Competitors 10.3.2 Embedded Display Product Type, Application and Specification 10.3.2.1 Type I 10.3.2.2 Type II 10.3.3 Esterel Technologies Embedded Display Sales, Revenue, Price and Gross Margin (2011-2016) 10.3.4 Main Business/Business Overview 10.4 Multi Touch 10.4.1 Company Basic Information, Manufacturing Base and Competitors 10.4.2 Embedded Display Product Type, Application and Specification 10.4.2.1 Type I 10.4.2.2 Type II 10.4.3 Multi Touch Embedded Display Sales, Revenue, Price and Gross Margin (2011-2016) 10.4.4 Main Business/Business Overview Global QYResearch is the one spot destination for all your research needs. Global QYResearch holds the repository of quality research reports from numerous publishers across the globe. Our inventory of research reports caters to various industry verticals including Healthcare, Information and Communication Technology (ICT), Technology and Media, Chemicals, Materials, Energy, Heavy Industry, etc. With the complete information about the publishers and the industries they cater to for developing market research reports, we help our clients in making purchase decision by understanding their requirements and suggesting best possible collection matching their needs.
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.
Agency: Cordis | Branch: FP7 | Program: JTI-CS | Phase: JTI-CS-2012-3-SGO-02-059 | Award Amount: 199.30K | Year: 2014
In the Clean Sky consortium, several members are working on modelling and simulation of aircraft systems with the multi-domain modelling language Modelica. The final goal is to not only utilize these models for design and evaluation, but also to directly use Modelica controller models for generation of certified code in embedded systems. On one hand this will improve the system design process, since controllers developed in Modelica wont need to be coded manually in a different language. On the other hand advanced nonlinear controllers could possibly be certified and thus applied on-board an aircraft. The objective of the CertMod project is to define the type of models and the Modelica 3.3 subset that shall be handled. This subset will be based on the discrete extensions of Modelica 3.3, including clocks and state machines. Once this subset is identified a prototype of a DO-178B Level A qualified code generator will be developed. This code generator will be an extension of the already existing SCADE Suite KCG code generator that has been qualified at Level A for DO-178B on numerous aircraft projects (Airbus A380, Boeing 787, etc.) by all civilian aeronautics certification authorities (FAA, EASA, etc.) . It will produce the C source code the controller that can be guaranteed to be a correct implementation of the input Modelica model. In order to do so, a preliminary phase will be added to KCG in order to perform a translation from the identified Modelica 3.3 subset into an intermediate form of KCG. Work will be performed to prototype the elements of the code generator that are necessary to qualify the tool. This includes traceability from the input Modelica model down to the C generated code, various types of specification and design documents, and a procedure to extensively test the code generator. Two representative Modelica models will be provided by DLR, the topic manager, and will be used to validate the code generator prototype.
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.
Esterel Technologies | Date: 2012-06-05
Computer software development tools; Computer software for use in avionics and cockpit displays systems.
Esterel Technologies | Date: 2011-02-18
Computer software development tools; Computer software for use in avionics and cockpit display systems.