CIS 640-001: Advance Topics in Software Systems
Software Reliability Methods and Embedded Systems

Section 001, TTh 4.:30-6pm


Home | Schedule | Reference | Lectures | Topics | Projects

Lectures

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
  •  





    Last update: Sept 7, 2002 EST 8:15pm