TY - CHAP AU - Seyed Morteza Babamir AU - Mehdi Borhani Dehkordi ED - Seyed Morteza Babamir Y1 - 2012-04-11 PY - 2012 T1 - Construction of Real-Time Oracle Using Timed Automata N2 - 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). BT - Real-Time Systems, Architecture, Scheduling, and Application SP - Ch. 6 UR - https://doi.org/10.5772/45597 DO - 10.5772/45597 SN - PB - IntechOpen CY - Rijeka Y2 - 2024-03-28 ER -