National University of Sciences and Technology
Nust Home
ALUMNI
Contact Us
Home
All Courses
Home
>
Courses Detail
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