|
Esterel Technologies
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. Products The Esterel Technologies' SCADE Product Family includes: SCADE System, SCADE Suite, SCADE Display, and SCADE LifeCycle. SCADE Suite was acquired from Telelogic in 2001. In September 2006, Esterel Technologies acquired the IMAGE product from Thales and Diehl Aerospace. It is now proposed as SCADE Display, a display framework targeted for Real-time applications, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thales Group
Thales Group () is a French multinational company that designs, develops and manufactures electrical systems as well as devices and equipment for the aerospace, defence, transportation and security sectors. The company is headquartered in Paris' business district, La Défense, and its stock is listed on the Euronext Paris. Having been known as Thomson-CSF since its foundation in 1968, the company was rebranded ''Thales'' (named after the Greek philosopher Thales and pronounced , reflecting its pronunciation in French) in December 2000. A communication audit, launched in spring that year, highlighted Thomson-CSF's image deficit, particularly among the young French graduates it was seeking to recruit. The wish to liven up its image as well as the expansion of its business worldwide were cited among the reasons for the change. Thales is partially owned by the French State and operates in more than 56 countries. It had 80,000 employees and generated €18.4 billion in revenues in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Esterel Studio
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. As a consequence, it is well suited for control-dominated model designs. The development of the language started in the early 1980s, and was mainly carried out by a team of Ecole des Mines de Paris and INRIA led by Gérard Berry in France. Current compilers take Esterel programs and generate C code or hardware (RTL) implementations (VHDL or Verilog). The language is still under development, with several compilers out. The commercial version of Esterel is the development environment Esterel Studio. The company that commercialize itSynfora initiated a normalization process with the IEEE in April 2007 however the working group (P1778) dissolved March 2011. ThEsterel v7 Reference Manual Version v7 30 – initial IEEE standardization proposalis publicly available. The Multiform Notio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. As a consequence, it is well suited for control-dominated model designs. The development of the language started in the early 1980s, and was mainly carried out by a team of Ecole des Mines de Paris and INRIA led by Gérard Berry in France. Current compilers take Esterel programs and generate C code or hardware (RTL) implementations (VHDL or Verilog). The language is still under development, with several compilers out. The commercial version of Esterel is the development environment Esterel Studio. The company that commercialize itSynfora initiated a normalization process with the IEEE in April 2007 however the working group (P1778) dissolved March 2011. ThEsterel v7 Reference Manual Version v7 30 – initial IEEE standardization proposalis publicly available. The Multiform Notion ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gerard Berry
Gerard is a masculine forename of Proto-Germanic origin, variations of which exist in many Germanic and Romance languages. Like many other early Germanic names, it is dithematic, consisting of two meaningful constituents put together. In this case, those constituents are ''gari'' > ''ger-'' (meaning 'spear') and -''hard'' (meaning 'hard/strong/brave'). Common forms of the name are Gerard (English, Scottish, Irish, Dutch, Polish and Catalan); Gerrard (English, Scottish, Irish); Gerardo (Italian, and Spanish); Geraldo ( Portuguese); Gherardo (Italian); Gherardi ( Northern Italian, now only a surname); Gérard (variant forms ''Girard'' and ''Guérard'', now only surnames, French); Gearóid ( Irish); Gerhardt and Gerhart/ Gerhard/ Gerhardus (German, Dutch, and Afrikaans); Gellért ( Hungarian); Gerardas ( Lithuanian) and Gerards/Ģirts ( Latvian); Γεράρδης (Greece). A few abbreviated forms are Gerry and Jerry (English); Gerd (German) and Gert (Afrikaans and Dutch); Ger ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
INRIA
The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on computer science and applied mathematics. It was created under the name ''Institut de recherche en informatique et en automatique'' (IRIA) in 1967 at Rocquencourt near Paris, part of Plan Calcul. Its first site was the historical premises of SHAPE (central command of NATO military forces), which is still used as Inria's main headquarters. In 1980, IRIA became INRIA. Since 2011, it has been styled ''Inria''. Inria is a Public Scientific and Technical Research Establishment (EPST) under the double supervision of the French Ministry of National Education, Advanced Instruction and Research and the Ministry of Economy, Finance and Industry. Administrative status Inria has 9 research centers distributed across France (in Bordeaux, Grenoble- Inovallée, Lille, Lyon, Nancy, Paris-Rocquencourt, Rennes, Saclay, and Sophia Antipolis) and one center ab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
VxWorks
VxWorks is a real-time operating system (or RTOS) developed as proprietary software by Wind River Systems, a wholly-owned subsidiary of Aptiv. First released in 1987, VxWorks is designed for use in embedded systems requiring real-time, deterministic performance and, in many cases, safety and security certification for industries such as aerospace and defense, medical devices, industrial equipment, robotics, energy, transportation, network infrastructure, automotive, and consumer electronics.VxWorks Goes 64-bit", Electronic Design, March 25, 2011 VxWorks supports AMD/Intel architecture, POWER architecture, ARM architectures and RISC-V. The RTOS can be used in multicore as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wind River Systems
Wind River Systems, also known as Wind River (trademarked as Wndrvr), is an Alameda, California–based company, subsidiary of Aptiv PLC. The company develops embedded system and cloud software consisting of real-time operating systems software, industry-specific software, simulation technology, development tools and middleware. History Wind River Systems was formed by a partnership of Jerry Fiddler and Dave Wilner. Until 1981, Fiddler had worked at Berkeley Lab writing software for control systems, and wanted to pursue a career in computer generated music, which he funded through a consultancy business focused on real-time operating systems. His early clients included the National Football League and film director Francis Ford Coppola, for whom he designed a unique film editing system. Wilner, a former colleague at Berkeley Lab, joined Fiddler to form Wind River Systems in 1983. In 2009, Wind River was acquired by Intel. In 2018, Intel spun out its Wind River division, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
DO-178B
DO-178B, Software Considerations in Airborne Systems and Equipment Certification is a guideline dealing with the safety of safety-critical software used in certain airborne systems. It was jointly developed by the safety-critical working group RTCA SC-167 of the Radio Technical Commission for Aeronautics (RTCA) and WG-12 of the European Organisation for Civil Aviation Equipment (EUROCAE). RTCA published the document as RTCA/DO-178B, while EUROCAE published the document as ED-12B. Although technically a guideline, it was a ''de facto'' standard for developing avionics software systems until it was replaced in 2012 by DO-178C. The Federal Aviation Administration (FAA) applies DO-178B as the document it uses for guidance to determine if the software will perform reliably in an airborne environment, when specified by the Technical Standard Order (TSO) for which certification is sought. In the United States, the introduction of TSOs into the airworthiness certification process, an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flight Simulator
A flight simulator is a device that artificially re-creates aircraft flight and the environment in which it flies, for pilot training, design, or other purposes. It includes replicating the equations that govern how aircraft fly, how they react to applications of flight controls, the effects of other aircraft systems, and how the aircraft reacts to external factors such as air density, turbulence, wind shear, cloud, precipitation, etc. Flight simulation is used for a variety of reasons, including flight training (mainly of pilots), the design and development of the aircraft itself, and research into aircraft characteristics and control handling qualities. The term "flight simulator" may carry slightly different meaning in general language and technical documents. In past regulations it referred specifically to devices which can closely mimic the behavior of aircraft throughout various procedures and flight conditions. In more recent definitions, this has been named "full f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
