سخنرانی دکتر موسوی با عنوان "آزمون مبتنی بر مدل سیستمهای سایبرفیزیکال"
دانشگاه خاتم برگزار مینماید
آزمون مبتنی بر مدل سیستمهای سایبرفیزیکال
Cyber-physical systems are the omnipresent and tight integration of computation and communication infrastructure with physicals devices and human beings. This tight integration leads to enormous challenges in the design and verification of such systems. Model-based testing is a rigorous verification technique, which is recently adapted to deal with cyber-physical systems. In this talk, we present an overview of the challenges facing model-based testing of cyber-physical systems. Subsequently, we provide an overview of our past and ongoing research in this area.
سخنران: دکتر سیدمحمدرضا موسوی
(استاد دانشگاه هلمستد – سوئد)
Mohammad Mousavi is a professor of Computer Systems Engineering at Halmstad University, Sweden. He received hid Ph.D. in Computer Science in 2005 from TU Eindhoven, Netherland.
Since then, he has been postdoctoral researcher at Reykjavik University, Iceland and assistant and associate professor at TU Eindhoven.
He specializes in model-based testing and verification. He is the co-author of some 100 chapters and scientific papers and a book on "Modeling and Analysis of Communicating Systems".
You can read more about Mohammad on his home page: