National University of Sciences and Technology
Home | Back
CSE-869 Real Time Systems
Campus RCMS
Programs PG
Session Fall Semester 2016
Course Title Real Time Systems
Course Code CSE-869
Credit Hours 3-0
Pre-Requisutes -
Course Objectives The aim of the course is to introduce the student to the theory of formal verification methods and techniques used for real time and hybrid systems.
Detail Content
  • Introduction
    • What is real-time system?
    • System properties
    • Generalisedrailoroad crossing
    • Gas burner
    • Aims of this book
  • Duration Calculus
    • Preview
    • Syntax and semantics
    • Specification and correctness proff
    • Proof rules
  • Properties and subsets of DC
    • Decidability results
    • Implementables
    • Constraint Diagrams
  • Timed automata
    • Timed automata
    • Networks of timed automata
    • Reachability is decidable
    • The model checker UPPAAL
  • PLC-Automata
    • Programable Logic Controllers
    • PLC-Automata
    • Translation into PLC source code
    • Duration Calculus semantics
    • Synthesis from DC implementabless
    • Extensions of PLC-Automata
  • Automatic verification
    • The approach
    • Requirements
    • Specification
    • Verification
    • The tool MOBY / RT
Text/Ref Books Real-Time Systems Formal Specification and Automatic Verification By_ERNST-RUDIGER OLDEROG1 and HENNING DIERKS2
Time Schedule
Faculty/Resource Person Dr. Jamil Ahmad
PhD (Ecole Centrale de Nantes, France)
Discipline : Computational System Biology, Model Checking
Specialization: Applied Computer Science & Bio Informatics