Esterel Technologies
Encyclopedia
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 is a privately held company headquartered 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.
.
In 2001, Esterel acquired the SCADE business unit from Telelogic
.
In September 2006, Esterel Technologies acquired the IMAGE product from Thales
and Diehl Aerospace
. It is now proposed as SCADE Display http://www.esterel-technologies.com/products/scade-display/, a display framework targeted for Real-time
applications, for prototyping
, display design
, simulation
, verification and validation, DO-178B
certified code generation (up to level A), and integration with other applications.
In February 2007, Esterel Technologies announced a partnership with Wind River Systems
to integrate SCADE in VxWorks 653
Real Time Operating System.
, father of the Esterel
language, which gave its name to the company. Its first product, Esterel Studio
, was meant to bring synchronous programming language
benefits to the industry (initially telecommunications and then EDA
). In 2003, a Lustre
-based (one of the other synchronous programming language) tool-set named SCADE(Safety Critical Application Development Environment) is bought by Esterel Technologies, and the two academics communities behind these languages will propose a way to merge them. The result has been productized as SCADE Suite 6 and its subsequent versions.
In 2006, the tool developed by THALES
to design the A380 cockpit, named IMAGE, has been transferred to Esterel Technologies, and re-branded SCADE Display.
In 2009, Esterel Studio, the first product of the company, has been acquired by Synfora.
Software design
Software design is a process of problem solving and planning for a software solution. After the purpose and specifications of software are determined, software developers will design or employ designers to develop a plan for a solution...
, validation, and code generation
Automatic programming
In computer science, the term automatic programming identifies a type of computer programming in which some mechanism generates a computer program to allow human programmers to write the code at a higher abstraction level....
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 is a privately held company headquartered in Élancourt
Élancourt
Élancourt is a commune in the Yvelines department in the Île-de-France in north-central France. It is located in the western suburbs of Paris 30.6 km from the center, in the "new town" of Saint-Quentin-en-Yvelines.-Transport:...
, France
France
The French Republic , The French Republic , The French Republic , (commonly known as France , is a unitary semi-presidential republic in Western Europe with several overseas territories and islands located on other continents and in the Indian, Pacific, and Atlantic oceans. Metropolitan France...
, and Mountain View, California
Mountain View, California
-Downtown:Mountain View has a pedestrian-friendly downtown centered on Castro Street. The downtown area consists of the seven blocks of Castro Street from the Downtown Mountain View Station transit center in the north to the intersection with El Camino Real in the south...
. Esterel also has direct sales offices in Ottobrunn
Ottobrunn
Ottobrunn is a municipality southeast of Munich, Bavaria, Germany, founded in 1955. Ottobrunn consists of mainly semi-detached and detached houses, and lots of gardens...
, Germany, Bracknell, United Kingdom, and Shanghai, P.R. China. Distributors in Japan, China, South Korea, Israel, and India complement the Esterel direct sales offices.
Products
The company has three products: SCADE, SCADE Display, and Esterel StudioEsterel Studio
Esterel Studio is a design environment based on the Esterel language. It is optimized for hardware IPs dedicated at capturing formal design specifications, enabling formal verification of properties early in the design phase, and automating the production of synthesizable RTL , both for...
.
In 2001, Esterel acquired the SCADE business unit from Telelogic
Telelogic
Telelogic AB was a software business headquartered in Malmö, Sweden. Telelogic was founded in 1983 as a research and development arm of Televerket, the Swedish department of telecom . It was later acquired by IBM Rational, and exists under the IBM software group.Telelogic had operations in 22...
.
In September 2006, Esterel Technologies acquired the IMAGE product from Thales
Thales Group
The Thales Group is a French electronics company delivering information systems and services for the aerospace, defense, transportation and security markets...
and Diehl Aerospace
Diehl Aerospace
Diehl Aerospace GmbH is a Joint venture between Diehl BGT Defence and Thales Group operating in the field of Avionics. The headquarters of the company are in Überlingen, Germany....
. It is now proposed as SCADE Display http://www.esterel-technologies.com/products/scade-display/, a display framework targeted for Real-time
Real-time computing
In computer science, real-time computing , or reactive computing, is the study of hardware and software systems that are subject to a "real-time constraint"— e.g. operational deadlines from event to system response. Real-time programs must guarantee response within strict time constraints...
applications, for prototyping
Software prototyping
*Software prototyping, refers to the activity of creating prototypes of software applications, i.e., incomplete versions of the software program being developed...
, display design
Software design
Software design is a process of problem solving and planning for a software solution. After the purpose and specifications of software are determined, software developers will design or employ designers to develop a plan for a solution...
, simulation
Flight simulator
A flight simulator is a device that artificially re-creates aircraft flight and various aspects of the flight environment. This includes the equations that govern how aircraft fly, how they react to applications of their controls and other aircraft systems, and how they react to the external...
, verification and validation, DO-178B
DO-178B
DO-178B, Software Considerations in Airborne Systems and Equipment Certification is a document dealing with the safety of software used in airborne systems....
certified code generation (up to level A), and integration with other applications.
In February 2007, Esterel Technologies announced a partnership with Wind River Systems
Wind River Systems
Wind River Systems, Inc. is a company providing embedded systems, development tools for embedded systems, middleware, and other types of software. The company was founded in Berkeley, California in 1981 by Jerry Fiddler and David Wilner. On June 4, 2009, Wind River announced that Intel had bought...
to integrate SCADE in VxWorks 653
VxWorks
VxWorks is a real-time operating system developed as proprietary software by Wind River Systems of Alameda, California, USA. First released in 1987, VxWorks is designed for use in embedded systems.- History :...
Real Time Operating System.
History
Created in 2000, Esterel Techonologies is a spin-off from the french company Simulog (itself bought by Astek in 2003). Simulog was itself a spin-off from INRIA, and many of the initial founders came from the INRIA laboratory. These include Gerard BerryGérard Berry
Gérard Philippe Berry is a French computer scientist, member of French Academy of Sciences , French Academy of Technologies , and Academia Europaea. He was the Chief Scientist Officer of Esterel Technologies from 2000 to 2009...
, father of the Esterel
Esterel
Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption...
language, which gave its name to the company. Its first product, Esterel Studio
Esterel Studio
Esterel Studio is a design environment based on the Esterel language. It is optimized for hardware IPs dedicated at capturing formal design specifications, enabling formal verification of properties early in the design phase, and automating the production of synthesizable RTL , both for...
, was meant to bring synchronous programming language
Synchronous programming language
A synchronous programming language is a computer programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called realtime systems, and are found often in embedded uses. The term 'reactive' is chosen to...
benefits to the industry (initially telecommunications and then EDA
EDA
- Organizations :* Eating Disorders Association, a British medical charity organization, known as beat since February 2007* Economic Development Administration, US agency providing economic grants to communities* Ejército del Aire, Spanish Air Force...
). In 2003, a Lustre
Lustre
Lustre or Luster may refer to:* Lustre , a description of the way light interacts with the surface of a crystal, rock or mineral* Lusterware, ceramics with lustre glazes* Lustre , a Free Software distributed file system...
-based (one of the other synchronous programming language) tool-set named SCADE(Safety Critical Application Development Environment) is bought by Esterel Technologies, and the two academics communities behind these languages will propose a way to merge them. The result has been productized as SCADE Suite 6 and its subsequent versions.
In 2006, the tool developed by THALES
Thales Group
The Thales Group is a French electronics company delivering information systems and services for the aerospace, defense, transportation and security markets...
to design the A380 cockpit, named IMAGE, has been transferred to Esterel Technologies, and re-branded SCADE Display.
In 2009, Esterel Studio, the first product of the company, has been acquired by Synfora.