Notes From Class

Week 1: September 6, 2011.

• Lecture slides: A Quick Review of ENSE 621/ENSE 622 .
• The lecture notes can be purchased from Steve Sutton at ISR for $40.
  Otherwise, you can purchase the notes from me in class.

Week 2: September 13, 2011

• Lecture slides: System Process and Workflow Modeling

Week 3: September 20, 2011

• Lecture slides: Established Approaches to Validation and Verification

Week 4: September 27, 2011

• Lecture slides: Emerging Approaches to Validation and Verification

Week 5: October 4, 2011

• Lecture slides: Model-Based Design with LTSA

Week 6: October 11, 2011

• ENSE 621 Guest Speaker on October 10: Gundars Osvalds, Northrop Grumman Corporation.
  He will talk about his application of MBSE.
  ENGR Room 2107 at 7 pm.
• Lecture slides: Formal Approaches to Validation with Logic
• Homework, Parts 1 and 2

  You can work in teams of two for this homework
  

  Consider the railroad crossing problem shown in Figure 1.

  

  Figure 1. Simplified model for the railroad crossing problem.

  PART 1. Due November 1

  Develop a detailed model of the railroad crossing problem in LTSA.

  Your model should include processes for the sensors (e.g., a:sensor, b:sensor, c:sensor), the gate, the gate controller, and the train. Also indicate the property automata that you would use for safety and progress checks.

  My suggestion is to keep the functionality of the sensors as simple as possible (i.e., simply measure whether or not the track is occupied by a train at a particular point) and then put all of the system smarts in the gate controller.

  The first and third sensors should detect the arrival and departure of a train. A safety violation will occur if the second sensor is activated before the gate has been completely lowered.

  For some ideas on how to implement the gate controller, see the oneway bridge example in the LTSA distribution. The process is called BRIDGE, but it's really a traffic controller.

  List all other assumptions that you make.

  PART 2. Due November 8

  Develop a detailed model of the railroad crossing problem in UPPAAL.

  My suggestion is that you study and adapt the train-gate example discussed in class. Assign reasonable times for each activity and periods that a train will spend in each zone. Then try to identify boundaries that separate safe behavior from unsafe behavior.

  List all other assumptions that you make.

  Note. Both LTSA and UPPAAL are implemented in Java.

  If you have a Mac then Java will already be installed.

  Look in /Program Files to see whether or not Java is installed on your PC.
  If not, then you can download Java (it's free!) from http://www.oracle.com/technetwork/java/index.html .

Week 7: October 18, 2011

• Lecture slides: System Behavior Modeling and Validation with UPPAAL .

• Midterm Project Presentation Requirements
  • Duration: Aim for 10 minutes; No more than 15 minutes.
  • Slides: Only four slides.
  • Content: Project Title and Who am I? What am I doing? Why is it important? What's new?

Week 8: October 25, 2011

• Lecture slides: Formal Validation with Spatial Logic and Spatio-Temporal Logic

• ECE Colloquium Talk. 3 pm, October 28, 2011.
  Verification & Control of Hybrid Systems Using Reachability Analysis
  Prof. Claire Tomlin, University of California-Berkeley
  Jeong H. Kim Engineering Building, Rm. 1110.
  

Week 9: November 1, 2011

• Midterm Project Presentations
  Projects 11 through 19.

Week 10: November 8, 2011

• Midterm Project Presentations
  Projects 1 through 10.

Week 11: November 15, 2011

ENSE 621 Guest Speaker on November 14: Dr. Donald York, TASC, Inc.
He will talk about the decision analysis approach called Value Focused Thinking.
ENGR Room 2107 at 7 pm.
• Midterm Exam

Week 12: November 22, 2011

• ENSE 621 Guest Speaker on November 21: Dr. Suzette Johnson, Northrop Grumman Corporation.
  She will talk about Agile Systems Engineering.
  ENGR Room 2107 at 7 pm.
  
• Project Work

Week 13: November 29, 2011

• End-of-Semester Presentations: Projects 1, 2, 3, 4, 5, 6, 8, 9 and 19.
• Presentation Guidelines
  Aim for 15 minutes and 15 slides, followed by a few minutes for questions.

Week 14: December 6, 2011

• End-of-Semester Presentations: Projects 10, 11, 12, 13, 14, 15, 16, 17 and 18.
• Presentation Guidelines
  Aim for 15 minutes and 15 slides, followed by a few minutes for questions.

Week 15: December 13, 2011

• Semester Projects Due.
  This is a hard deadline, so no extensions.

Last Modified: November 21, 2011,
Copyright © 2011, Institute for Systems Research, University of Maryland.