Dr. Seyed Morteza Babamir
University of Kashan, Iran
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).
Construction of Real-Time Oracle Using Timed Automata
in the book "Real-Time Systems, Architecture, Scheduling, and Application" edited by Seyed Morteza Babamir, ISBN 978-953-51-0510-7, InTech, April 4, 2012