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: [ 2010 ] [ 2011 ] [ 2012 ] [ 2013 ] [ 2014 ] Projects: [ 2010 ] [ 2011 ] [ 2012 ] [ 2013 ] [ 2014 ]
COURSE CONTENTS - FALL SEMESTER, 2014 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). Guest Lectures: Guest 1: Professor Rance Cleaveland, CS and ISR, November 11. Guest 2: TBD. 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, JMP 2222. 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 John MacCarthy's office at ISR. 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 memory stick. For the remote students, I will try to get the material to you via Dropbox. 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 YASPER (Yet Another Smart Process EditoR) Implementation provided for Windows Environment. Platform Independent Petri Net Editor 2 Implemented in Java. VALIDATION/VERIFICATION SOFTWARE Labelled Transition System Analyser Home Page UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata. KeYmaera is a hybrid verification tool for hybrid systems that combines deductive, real algebraic, and computer algebraic prover technologies. EXAM AND PRESENTATION SCHEDULE There will be one or two homework assignments, a midterm exam, and an oral/presentation final exam: Homework (20%) Midterm Presentation (10%): Mid-October 2014. Midterm Exam (30%): November XX, 2014. Final Exam (40%): A class presentation plus project report. Additional credit will be given for advancing our understanding of systems...
Last Modified: July 20, 2014. Copyright © 2008-2014, Institute for Systems Research, University of Maryland