سخن‌رانی دکتر موسوی با عنوان "آزمون مبتنی بر مدل سیستم‌های سایبرفیزیکال"

۲۲:۰۹
۱۳۹۵/۵/۴

سخن‌رانی دکتر موسوی با عنوان "آزمون مبتنی بر مدل سیستم‌های سایبرفیزیکال"

دانشگاه خاتم برگزار می‌نماید

 

عنوان سخن‌رانی:

آزمون مبتنی بر مدل سیستم‌های سایبرفیزیکال

 

 

Abstract

 

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.

 

سخنران: دکتر سیدمحمدرضا موسوی

(استاد دانشگاه هلمستد – سوئد)

 

Biography

 

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:
http://ceres.hh.se/mediawiki/Mohammad_Reza_Mousavi

 


Biography
model Based Testing Cyber Physical Systems
آزمون مبتنی بر مدل سیستم های سایبرفیزیکال
دانشگاه خاتم
دانشگاه هلمستد سوئد
دکتر سید محمد رضا موسوی
سخنرانی