报告名称：Formal Modeling of Real-Time Embedded Systems for provably-correct scheduling

报告时间：11月12日 15:30-16:30

报告地点：理科大楼B1002

报告摘要:

Modeling and verification of the correct behavior of embedded real-time systems with strict timing constraints is a well-known and important problem. Failing to fulfill a deadline in system operation can have severe consequences in the practical case. In this talk, I will present an approach to formal modeling and schedulability analysis. A novel method to provably-correct scheduling will be discussed, which enables the modeling of a collection of interdependent real-time tasks whose execution is constrained by the use of priority and shared resources like processors and memory data.

报告人简介:

Robert de Simone is a professor at the French National Institute for Research in Computer Science and Automation (INRIA). Professor Simone has carried out a lot of pioneering research in system modeling and safety property analysis, developed several widely used safety-critical system modeling tools like Papyrus, and led multiple European research projects. He has published more than 100 papers in journals such as Theoretical Computer Science, ACM Transactions on Embedded Computer Systems, IEEE Transactions on Software Engineering, and at international conferences like CAV, CONCUR, and MoDELS. He has also frequently organized, chaired, and participated in leading international conferences in the field, gaining a very high level of international recognition and influence in software modeling and safety property analysis.