JAWAHARLAL NEHRU TECHNOLOGICAL UNIVERSITY HYDERABAD

Course Objectives:

• To introduce multi tasking techniques in real time systems
• 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

• identify multi tasking techniques in real time systems
• evaluate the performance of soft and hard real time systems
• analyze multi task scheduling algorithms for periodic, aperiodic and sporadic tasks
• design real time operating systems and hybrid systems.
• 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. M. Tech – I Year – II Sem. (Control Engg. / Control Sys.)