Esterel Technologies: Қауіпсіздікке бағытталған бағдарламалық жасақтаманы әзірлеу құралдары
Esterel Technologies
Esterel Technologies – қауіпсіздікке маңызды жүйелер үшін модельдеу, тестілеу және код жасау құралдары. Ansys еншілес компаниясы. Қазақстанда өкілдігі жоқ.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Esterel Technologies – қауіпсіздікке маңызды бағдарламалық және аппараттық қолданбалар үшін модельдік жобалау, тексеру және кодты генерациялау құралдарын жеткізуші. Esterel құралдары бағдарламалық және/немесе аппараттық құралдарда басқару жобаларының кодын құратын формальды сипаттамаларды жасайды. Esterel Technologies, Ansys, Inc. компаниясының толыққанды еншілес компаниясы, Францияның Эланкур қаласында және Калифорнияның Маунтин-Вью қаласында кеңселерге ие. Esterel сонымен қатар Германияның Оттобрунн қаласында, Ұлыбританияның Бракнелл қаласында және Қытай Халық Республикасының Шанхай қаласында тікелей сату кеңселерiн ұстап тұр. Жапония, Қытай, Оңтүстік Корея, Израиль және Үндістандағы дистрибьюторлар Esterel тікелей сату кеңселерiн күшейтеді.
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.
Өнімдер
Esterel Technologies компаниясының SCADE өнімдер тобы: SCADE жүйесі, SCADE Suite, SCADE дисплейі және SCADE өмірлік циклы. SCADE Suite 2001 жылы Telelogic компаниясынан сатып алынды. 2006 жылдың қыркүйегінде Esterel Technologies Thales және Diehl Aerospace компанияларынан IMAGE өнімін сатып алды. Қазір ол SCADE Display ретінде ұсынылады – бұл нақты уақыт қосымшалары үшін, прототиптеу, дисплей дизайны, симуляция, тексеру және растау, DO 178B сертификатталған кодты генерациялау (A деңгейіне дейін) және басқа қосымшалармен интеграциялауға арналған дисплейлік платформа. 2007 жылдың ақпан айында Esterel Technologies компаниясы SCADE-ні VxWorks 653 нақты уақыт операциялық жүйесімен интеграциялау үшін Wind River Systems компаниясымен серіктестікке келгенін хабарлады.
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, 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.
Тарих
2000 жылы құрылған Esterel Technologies француз компаниясы Simulog-тан бөлініп шықты (Simulog өзі 2003 жылы Astek компаниясымен сатып алынған). Simulog та INRIA-дан бөлініп шыққан, ал бастапқы негіздеушілердің көпшілігі INRIA зертханасынан шыққан. Олардың ішінде компанияға атын берген Эстерел тілінің авторы Жерард Берри де бар. Оның алғашқы өнімі Esterel Studio синхронды бағдарламалау тілінің артықшылықтарын өнеркәсіпке (алғашқыда телекоммуникация, кейіннен ЭDA электрондық дизайнды автоматтандыру саласына) енгізуді мақсат еткен. 2003 жылы Esterel Technologies Lustre негізіндегі (басқа бір синхронды бағдарламалау тілі) SCADE (Safety Critical Application Development Environment – қауіпсіздікке маңызды қолданбаларды дамыту ортасы) құралдар жиынтығын сатып алды, ал осы тілдердің артындағы екі академиялық қауымдастық оларды біріктіру жолын ұсынды. Осының нәтижесінде SCADE Suite 6 және одан кейінгі нұсқалары жасалды. 2006 жылы THALES компаниясы A380 ұшағының кабинасын жобалау үшін қолданған IMAGE құралын Esterel Technologies компаниясына беріп, оны SCADE Display деп қайта атады. Кейін 2009 жылы Esterel Studio Synfora компаниясымен сатып алынды. Соңында, 2012 жылы ANSYS компаниясы Esterel компаниясын шамамен 42 миллион еуроға сатып алу туралы келісімге келді.
Created in 2000, Esterel Technologies 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 Berry, 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 Electronic design automation). In 2003, a Lustre based (one of the other synchronous programming language) tool set named SCADE (Safety Critical Application Development Environment) was bought by Esterel Technologies, and the two academics communities behind these languages proposed 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, was transferred to Esterel Technologies, and re branded SCADE Display. Later in 2009, Esterel Studio was acquired by Synfora. Finally, in 2012, it was announced that ANSYS had signed a definitive agreement to purchase Esterel for approximately €42 million.