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

Fall 2008

 

 Home

 

 Syllabus

 

 Useful Links

 

 Lectures

 

 Assignments

 

 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

E-mail: bentahar@ciise.concordia.ca    

Tel: 514-848-2424 Ext. 5382

Course Web:              http://www.ciise.concordia.ca/~bentahar/inse6280.html

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.

 Textbooks:        

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
Wiley

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