安全关键嵌入式软件系列讲座：安全关键系统设计模型及开源平台-Thierry Gautier研究员(法国国家信息与自动化研究所,INRIA)

报告题目：Polychrony: A Model and an Open-source Toolset for Safety-critical System Design (安全关键系统设计模型及开源平台)

报告人：Thierry Gautier研究员(法国国家信息与自动化研究所,INRIA)

报告时间：2015年9月15日(星期二)下午2：00 – 5：00

报告地点：江宁校区计算机科学与技术学院大楼509会议室

报告人简介：Thierry Gautier is a researcher with INRIA. He received the graduate degree from the Institut National des Sciences Appliquées, Rennes, France, in 1980, and the PhD degree in computer science from Université de Rennes 1 in 1984. He is one of the designers of the Signal language, the polychronous model of computation and the Polychrony toolset. His main research interests lie in the safe design of complex embedded systems, including formal modeling, formal validation, and transformations of models to target architectures.

报告摘要：

High-level embedded system design has gained prominence in the face of rising technological complexity, increasing performance requirements and shortening time to market demands for electronic equipments. Today, the installed base of intellectual property (IP) further stresses the requirements for adapting existing components with new services within complex integrated architectures, calling for appropriate mathematical models and methodological approaches to that purpose.The relational mathematical model behind the design language Signal, the supportive data-flow notation of Polychrony, allows to embrace the context of complex architectures consisting of synchronous circuits and desynchronization protocols: globally asynchronous and locally synchronous architectures (GALS).This feature is obtained thanks to the fundamental notion of polychrony: the capability to describe systems in which components obey to multiple clock rates. It provides a mathematical foundation to a notion of refinement: the ability to model a system from the early stages of its requirement specifications (relations, properties) to the late stages of its synthesis and deployment (functions, automata).