INSE 6280/2/WW - Quality Assurance for Systems Engineering

Fall 2008






 Useful Links






 Verification book

 Final exam samples are posted under Assignments link


 The final exam will cover lectures 4 to 7


 Assignment Solution and 2 exam samples are posted under Assignments link


 Tutorial next Saturday, October 11th, 2008. Local: H-427, from 10:00h


 The assignment is posted 


 A tutorial about propositional and temporal logics will be organized most likely on Saturday 11th October. More information about time and location will be posted later...


Time:                          Thursday, 17h45 20h15

Classroom:                 CL-225            

Office hours:              Wednesday, 10h00 12h00 or by appointment (Office: EV7.630)

Instructor:               Dr. J. Bentahar


Tel: 514-848-2424 Ext. 5382

Course Web:    

You can use this web site to get lecture notes, useful links, assignments, and other useful information. It is highly advised to visit the web site regularly.


1) Systems Engineering and Analysis, (4th Edition), 2006

Benjamin S. Blanchard, Wolter J. Fabrycky 

Prentice Hall 

ISBN:  0-13-186977-9

This book covers several parts about the engineering of systems. The parts which will be covered by the course are: Part1 (Introduction to systems) and part 4 (Design for operational feasibility).


2) Assurance Technologies Principles and Practices: A Product, Process, and System Safety Perspective, (2nd Edition), 2006
Dev G. Raheja, Michael Allocco

ISBN: 0-471-74491-3

This book covers the main principals of assurance technologies including quality, system safety, reliability, maintainability, human engineering, logistics, software integrity, and system integration.


3) Principles of Model Checking 

J-P. Katoen

Formal Methods and Tools Group, University of Twente

Available here