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 TradeOff.

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 email.
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
VALIDATION/VERIFICATION SOFTWARE

Labelled Transition System Analyser Home Page

UPPAAL is an integrated tool
environment for modeling, validation and verification of
realtime 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%): MidOctober 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...
