ENPM643

This course builds on material covered in ENSE621/ENPM641 and ENSE622/ENPM642. Topics wil cover established and emerging approaches to system validation and verification including; inspection, testing, and traceability; writing validation and verification plans; formal approaches to sytem validation and verification; specification-based testing; role of logic in system validation and verification; automation models of computation, timed automation; model-based design and model checking for reactive systems. Students will be introduced to software tools for specification-based testing, model-based testing, model-based design and model checking. Students will work in teams on semester-long projects in systems engineering design and formal approaches to system validation and verification.