课程号：ME206003

课程名：性能和可靠性评估

英文课程名：Performance and dependability evaluation

开课单位：机电工程学院

授课教师：Kamel Barkaoui

责任教师：刘改云   秦萌

学分/学时：1学分/16学时

教师简介：Kamel Barkaoui教授于1988年在巴黎第六大学获得计算机科学博士学位，现为法国国立工艺学院特级(Exceptional Class)教授，是信息科学本科项目主任、校科学委员会委员，主要研究领域包括计算机和通信系统的形式化建模、分析和验证、离散事件系统、Petri网、系统性能评估等。Barkaoui教授已发表论文200余篇，包括3篇ESI高被引论文。先后培养了32名博士生。Barkaoui教授是计算机和通信系统验证和评估国际会议（VECoS）的创始人（已举办13届）。2016年当选突尼斯科学院外籍院士。Kamel Barkaoui received the Ph.D. degree and the Habilitation à Diriger des Recherches in computer science from Université Paris 6, in 1988 and 1998, respectively. He is currently a Professor of computer science with the Conservatoire National des Arts et Métiers, Paris. He published more than 200 refereed international journal articles and conference papers. His research interests include formal methods for verification, control, and performance evaluation of concurrent and distributed systems. He received the IEEE International Conference on System, Man, and Cybernetics Outstanding Paper Award, in 1995. He has served as program committees and as program committee chairs and organizing chairs for numerous international workshopsand conferences. He was a Guest Editor of the Journal of Systems and Software and the International Journal of Critical Computer-Based Systems.

课程简介：本课程将介绍三种概率系统模型，以及他们在计算机，通讯系统和自动化制造系统的性能和可靠性评估中的应用。This course will present three probabilistic systems models and their applications to performance and dependability evaluation of computer & communication systems and automated manufacturing systems. It is addressed for bachelor students and tries as most as possible to be self-contained.

先修课程：概率论与数理统计