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: [ 2003 ] [ 2004 ] [ 2005 ] [ 2006 ] [ 2008 ] Projects: [ 2006 ] [ 2007 ] [ 2008 ] [ 2009 ]
COURSE CONTENTS - FALL SEMESTER, 2009 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. 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 Modeling and Analysis and 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, Room 3117, Computer Science Instruction Center 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 Sue Frazier's office. The cost is $36. 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. Tutorial on Design Structure Matrices . Tyson Browning's Recent Publications The Design Structure Matrix Home Page. VALIDATION/VERIFICATION SOFTWARE Labelled Transition System Analyser Home Page LTSA BPEL4WS plugin This web page references LTSA 2.3 with BPEL4WS 1.1 Plugin, the MSC plugin ... etc. Darwin plugin for the LTSA Tool. LTSA Extensions Manual Page . This version of LTSA supports timed transition systems. UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata. EXAMINATION SCHEDULE There will be one exam: Final (100%): December 2009. 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: August 26, 2009. Copyright © 2008-2009, Institute for Systems Research, University of Maryland