報告題目：Polychrony: A Model and an Open-source Toolset for Safety-critical System Design (安全關鍵系統設計模型及開源平台)

報告人：Thierry Gautier研究員(法國國家信息與自動化研究所,INRIA)

報告時間：2015年9月15日(星期二)下午2：00 – 5：00

報告地點：江甯校區伟德victory大樓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).