高安全软件的建模与分析
报告题目：高安全软件的建模与分析
主讲人：Gauthier Maillard （SCADE Validation Manager）
主持人：刘静 教授
时间：2015年3月18日 15:00-16:30
地址：中北校区数学馆201室
报告摘要：
Rising energy costs, competition from low cost airlines, demand for enhanced passenger experience, increasing certification costs and delays, obsolescence of infrastructure and interoperability requirements are reshaping the rail transportation markets.
Rail operators and suppliers develop Key Business Initiatives to integrated traffic management to optimize the use of transport capacity and speed, while reducing energy consumptions and emissions, implement widely automatic train controls, improve signaling technology to allow greater traffic density without compromising safety and improve rolling stock capacity and efficiency.
These Key Business Initiatives have a deep impact on Product Development Processes. Ever increasing regulatory compliance and V&V requirements, such as the new EN 50128:2011 standard, place a strong emphasis on Software-Based Controls, Driver-Machine Interfaces and Power Electronics. The need to master complexity fosters the adoption of Model-Based Systems Engineering, in an effort to master complexity and enable multidisciplinary collaboration.
With the arising challenges for tomorrow engineers, Esterel Technologies is strongly involved in supporting Academic.
Through research projects, cooperation with industrial partners, formal research and advanced teaching, academia tackles upfront all the issues and questions. They prepare the new generation of engineers and researchers to come.
Every actor of the process is important. But industrial partners have a key role to play. They provide the means to prepare the new generation to get ready for the upcoming projects. At Esterel Technologies, we believe that it is our role to support researchers, teachers and students in taking the most of technology to put their great ideas into action.
The speech to be delivered will present these topics. It will start detailing how Esterel Technologies supports the rail Industry, providing an overview of the landscape and the solutions. A focus will then be applied to the Academic Program, showcasing examples of SCADE use and key initiatives dedicated to Academic Actors. The presentation will be followed by an open discussion and interactions with the participants.
报告人简介：
He joined Esterel Technologies in March 2005 as a Testing Engineer of Esterel Studio.From 2007 to 2014, He was Validation Leader of Esterel Studio, and then of SCADE Suite product, in charge of all the validation activities of those products.Since this year, He is Validation Manager of SCADE product.