JAWAHARLAL NEHRU TECHNOLOGICAL UNIVERSITY HYDERABAD

Course Objectives:

• 1. To introduce multi tasking techniques in real time systems
• 2. To introduce the theory of formal verification methods and techniques used for real time and hybrid systems.

Course Outcomes

Upon the completion of this course, the student will be able to

• 1. Identify multi tasking techniques in real time systems
• 2. Evaluate the performance of soft and hard real time systems
• 3. Analyze multi task scheduling algorithms for periodic, aperiodic and sporadic tasks
• 4. Design real time operating systems and hybrid systems.
• 5. Know the methods and techniques used in industries for the verification of Real Time & Hybrid systems.

UNIT - I

Introduction to Real-time systems: Typical examples of RTS, Characteristic features of RT applications. Structural, Functional and Performance requirement of Reactive RTS. Distinctive features from Non - RT and Off - line system. Modeling RTS: Representation of time, Concurrency and Distributedness in discrete event systems.

UNIT - II

Hierarchical representation of complex DES. Input, Output and Communication. Examples of modeling practical systems as RT DES. Modeling programs as RTS. Analyzing RTS: Analyzing logical properties of DES such as Reachability, Deadlock etc. Analyzing timing related properties, Specification and Verification of RT DES properties.

UNIT - III

Temporal logic, Model checking. Example of checking safety and timing properties of industrial systems. Requirements and features of real-time Computing Environments: Real-time Operating Systems, Interrupts, clock, Device support.

UNIT - IV

Real time System, Multi tasking, Static and Dynamical Scheduling of resource Allocation, Real-time Programming.

UNIT - V

Real - time process and applications, Distributed Real - time systems.

TEXTBOOK:

• 1. Jane W S Liu, Real- Time Systems, Pearson Education, 1st edition.

REFERENCE:

• 1. Rajib Mall, Real-Time Systems: Theory and Practice, Computer Science, Engineering and Computer Science, Higher Education, Pearson Education, India. R19 M.TECH CONTROL ENGINEERING. / CONTROL SYSTEM M. Tech – I Year – II Sem. (Control Engg. / Control Sys.)