CIS%20640-001:%20Advanced%20Topics%20in%20Software%20Systems

1
CIS 640-001 Advanced Topics in Software Systems

• Software reliability methodsandEmbedded Systems

2
Time and place

• TTh 430-600
• Moore 223
• Instructor Insup Lee
• Office 262 Moore
• Office hours TTh 2-3
• lee_at_cis.upenn.edu

3
Course outline

• Part 1
• - introduction to formal methods
• - real-time systems
• - research projects at Penn
• Part 2
• - student presentations
• Part 3
• - programming projects demos

4
Research project overview

• Charon/toolset modeling language, simulation,
  researchability analyzer, code generation, test
  generation
• MaCS Monitoring, checking and steering
• Model-based test generation
• Model-based code generation
• ACSR family resource-based process algebras
• Trans from informal to formal

5
Part 2 Class presentation topics

• Specification patterns
• Witness generation
• Bounded model checking
• Specification/model based test generation
• Formal medeling of schedulability
• UML-RT, etc. (other OMG efforts on model-based
  approaches)
• Embedded applications and issues (smart space,
  etc.)
• Embedded system (co-)design paradigms
• Other topics are allowed

6
Programming projects

• Pick an application
• Model and analyze using a tool (CHARON, ACSR,
  SPIN, SMV, etc.)
• Implement and validate the application
• Possible programming environment
• Java (CLDC, MIDP, J2ME wireless toolkit)
• RT-Java
• TMO
• Esterel
• Lego Mindstorm

7
Requirements/expectations

• class participation
• CIS colloq attendance
• class presentation/ppt slides/summary paper
• programming project(s) specify and analyze,
  implement and validate
• optional (in-depth research projects)
• RT Java and semantics (for memory management,
  exception handling, etc.)

8
Reading Materials

• Software reliabiity methods, Doron Peled,
  Springer, 2001
• Real-time systems, Jane Liu
• handouts