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