| Date |
Lectures |
References |
| Sept 5 |
Course Outline
Introduction to System Reliability and Embedded System
Overview on System Reliability |
SRM: Ch. 1-3 |
| Sept 10 |
Chapter 4: Modeling Software Systems
Introduction to Formal Methods |
SRM: Ch. 4 |
| Sept 12 |
Chapter 5: Specification Formalisms
|
SRM: Ch. 5 |
| Sept 17 |
Chapter 6: Automatic Verification |
SRM: Ch. 6 |
| Sept 19 |
Introduction to Realtime System
|
|
| Sept 24 |
Introduction to Communication and
Concurrency System
|
SRM: Ch. 8 |
| Sept 26 |
Introduction to Communication and
Concurrency System |
SRM: Ch. 8 |
| Oct 1 |
Minimizing Code Size and Guaranteeing
Real-Time Requirements
|
[SLM02] |
| Oct 3 |
Abstraction
|
SRM: Ch.10.1 |
| Oct 8 |
Logic
|
SRM: Ch. 8 |
| Oct 10 |
CHARON
|
[HLO00]
[HLO02]
|
| Oct 15 |
Witness and Counterexample
|
[CJLV]
[CGMZ94]
|
| Oct 17 |
Witness and Counterexample
|
[CJLV]
[CGMZ94]
|
| Oct 22 |
ACSR/PACSR |
|
| Oct 24 |
MaCS |
[KLS99]
[KLS01]
|
| Oct 29 |
Time-Triggered Architecture |
[K98]
|
| Oct 31 |
Testing |
SRM: Ch. 9 |
| Nov 5 |
Bounded Model Checking |
[BCRZ01]
[BCRZ99]
|
| Nov 7 |
TMO: Distributed Time Trigger Simulation |
|
| Nov 12 |
ETI
|
[ETI] |
| Nov 14 |
PACSR/Model Checker |
|
| Nov 19 |
SAT |
[DAC01]
[CAV02]
|
| Nov 21 |
(OMG) |
|
| Nov 26 |
Statecharts, Biological Cell Activity modeling |
|
| Nov 28 |
Thanksgiving |
|
| Dec 3 |
(RTSS) |
|
| Dec 5 |
(RTSS) |
|
| Dec 10 |
Probabilistic Timed Automata |
|
| Dec 12 |
Introduction to CTL |
|
| Dec 17 |
Project Presentaion 11am-1pm in Moore 223 |
|