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.
You can pick up the class notes from John MacCarthy's office at ISR.
The cost will be $40.00.
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.
to see the slides for each chapter (Or look on the CD of supplementary material).
Design Structure Matrices .
The Design Structure Matrix Home Page.
The Swiss Army Knife of Java Verification
PETRI NET 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:
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...