Dr. Seyed Morteza Babamir

University of Kashan, Iran

Seyed Morteza Babamir received the B.S. degree in Computer Science from Ferdowsi University of Mashad, Iran, the M.S. degree in Software Engineering, from Tarbiat Modares University, Iran, in 2001 and Ph.D. degree in Software Engineering from Tarbiat Modares University, Iran in 2007. His current research Interests include Real-time Systems, Run-time Verification, Formal Methods, and Software Modeling. Currently, Dr. Babamir is assistant professor of department of computer in University of Kashan. Home page: http://ce.kashanu.ac.ir/babamir

Edited Books

  • Real-Time Systems, Architecture, Scheduling, and Application

    This book is a rich text for introducing diverse aspects of real-time systems including architecture, specification and verification, scheduling and real world applications. It is useful for advanced graduate students and researchers in a wide range of disciplines impacted by embedded computing and software. Since the book covers the most recent advances in real-time systems and communications networks, it serves as a vehicle for technology transition within the real-time systems community of systems architects, designers, technologists, and system analysts. Real-time applications are used in daily operations, such as engine and break mechanisms in cars, traffic light and air-traffic control and heart beat and blood pressure monitoring. This book includes 15 chapters arranged in 4 sections, Architecture (chapters 1-4), Specification and Verification (chapters 5-6), Scheduling (chapters 7-9) and Real word applications (chapters 10-15).

Publications