[Otira Bridge]
ENSE 623/ENPM 643: Systems Engineering Design Projects
(and Validation and Verification)

Mark Austin,
Institute for Systems Research,
University of Maryland, College Park.
Notes from Class
Internet Resources
Meet the Class: [ 2008 ] [ 2010 ] [ 2011 ]
Projects: [ 2008 ] [ 2009 ] [ 2010 ] [ 2011 ]

COURSE CONTENTS - FALL SEMESTER, 2011

PRESENTATION SCHEDULES ARE NOW POSTED ON THE PROJECTS 2011 PAGE...

Guideline: Aim for a 15 minute presentation with approximately 15 slides.

This course will build upon material covered in ENSE 621/ENPM 641 and ENSE 622/ENPM 642.
The topics will be as follows:

  • Quick review of ENSE 621 and ENSE 622.
    We will cover a few topics that we didn't get to last semester.
  • Types of validation/verification.
  • Established approaches to validation/verification
    • Inspection and testing.
    • Levels of validation and verification.
    • How traceability helps validation and verification.
    • Writing validation and verification plans
    • Verification traceability matrices (VTMs); verification task networks (VTNs); verification compliance matrices.
    • Economic considerations
    • Test-Driven Development
  • Emerging approaches to validation/verification
    • Formal approaches to validation/verification
    • Specification-based testing
    • Constraint-based approaches to validation
    • Role of logic in validation/verification
    • Overview of propositional logic, first-order logic, temporal logic, spatial logic.
    • Automaton models of computation. Timed automaton
    • Model checking for reactive systems
    • Examples (e.g., Operation of a microwave; traffic light controler; generalized railroad crossing problem).
  • Model-based design with LTSA.
  • Tools for specification-based testing and model checking (UPPAAL, Telelogic Tau).
  • Phase III of the systems engineering project.

COURSE PREREQUISITES

  • Graduate level status in engineering.
  • ENSE 621/ENPM 641: Systems Concepts, Issues, and Processes
    ENSE 622/ENPM 642: Systems Engineering Requirements, Design and Trade-Off.
  • A good knowledge of engineering mathematics (e.g., calculus, linear algebra, differential equations).

TIME AND LOCATION OF CLASS/OFFICE HOURS

  • Class. T, 7.00 pm - 9.40 pm, ITV 1111.
  • Office Hours. By appointment.
    For a quick response to your problems, send me e-mail.

REFERENCE MATERIALS

  • CLASS NOTES
    You can pick up the class notes from Steve Sutton's office at ISR (Monday thru Thursday).
    The cost will be $40.00.
  • SUPPORT MATERIAL
    I will hand out a significant volume of support material (300 Mbytes) for the classes ENSE 621, 622 and 623.
    Bring your laptop to class and I will pass the material to you via a CD-ROM and/or memory stick.
  • Jeff Magee and Jeff Kramer, Concurrency: State Models and Java Programs (2nd Edition), John Wiley and Sons, 2006.
    Click here to see the slides for each chapter (Or look on the CD of supplementary material).
  • Tutorial on Design Structure Matrices .
  • The Design Structure Matrix Home Page.
  • Java Pathfinder: The Swiss Army Knife of Java Verification

PETRI NET SOFTWARE

VALIDATION/VERIFICATION SOFTWARE

EXAM AND PRESENTATION SCHEDULE

There will be one or two homework assignments, a take-home midterm exam, and an oral/presentation final exam:

  • Homework (20%)
  • Midterm Presentation (10%): Mid-October 2011.
  • Midterm Exam (30%): End-of-October 2011.
  • Final Exam (40%): December 2011.
    The final exam will consist of a class presentation plus project report.

    Additional credit will be given for advancing our understanding of systems...

Last Modified: September 6, 2011.
Copyright © 2008-2011, Institute for Systems Research, University of Maryland