±¨ ¸æ ÈË£ºRidha Khedri[¼ÓÄôóMcMaster University, ¹ú¶È¸ß¶Ë±í¹úר¼Ò]
»ã±¨¹¦·ò£º5Ô 11ÈÕ£¨ÖÜÒ»£©13: 30
»ã±¨µØÖ·£ºÐ£±¾²¿¶«ÇøÍÆËã»úѧԺ´óÂ¥1001ÊÒ
Ñû Çë ÈË£º³Ââùº£ ²©Ê¿
ÄÚÈÝÌáÒª£º
Embedded systems such as automotive systems are very complex to specify. Since it is difficult to capture all their requirements or their design in one single model, approaches working with several system views are adopted. The main problem there is to keep these views coherent; the issue is known as view reconciliation. This tutorial presebts an algebraic solution. It uses sets of integration constraints that link (families of) system features in one view to other (families of) features in the same or a different view. Both, families and constraints, are formalized using a feature algebra. Besides presenting a constraint relation and its mathematical properties, the paper shows in several examples the suitability of this approach for a wide class of integration constraint formulations.
»ã±¨È˼ò½é:
Ridha Khedri is a Professor of software engineering and a member of the Formal Requirements and Information Security Enhancement (FRAISE) Research Group. He obtained his Engineer Diploma in 1987 from the University of Tunis. He received a M.Sc. and a Ph.D. from Laval University, Quebec, Canada, in 1993 and 1998 respectively. In March 1998, he joined the Communications Research Laboratories of McMaster University as a post-doctoral researcher under the supervision of Prof. David L. Parnas. From December 1998 to June 2005 he was an Assistant Professor at McMaster University. From July 2005 to June 2014 he was an Associate Professor at McMaster University. His research interests include algebraic methods in software engineering, analysis of information security policies and of cryptographic-key distribution scheme, data cleaning, software product families, and formal software requirements analysis. He organized or
served on the program committee of more than 30 conferences and workshops. He is a licensed professional engineer in the province of Ontario. He is amember of the Association for Computing Machinery and the IEEE Computer Society.
