ELG 7187C - Topics in Computers: Model-Based Design and Verification of Distributed Real-Time Systems

( Previous title: Formal Methods for the Development of Distributed Real-Time Applications )

School of Information Technology and Engineering, University of Ottawa, Winter 2013

For the OCICS program, this course has the code E/T (Software Engineering / Theory of Computing)

Professor: Gregor v. Bochmann , phone: 562-5800 ext.: 6205, e-mail: bochmann@site.uottawa.ca , office: SITE building (room 5082), office hours: by appointment, please send me an e-mail stating when you would like to meet

Lectures: Mondays from 14:30 to 17:30 in SITE F 0126.

Course description

Course notes and reading material

Assignments: Assign-1 (some solutions) ; Assign-2 (some solution) ; Assign-3; (some solution) (NEW) - from previous years

Student projects: Description - see Presentations this year - Projects from previous years

Exams from previous years: Mid-term exam with solutions from 2009 - Final exam from 2007.

Comments:

The course starts this Monday, January 14.
To get a computer account at SITE for Carleton students: Carleton students registered in our graduate courses are now able to activate their accounts for the SITE computing infrastructure; details on how to proceed are available in our online documentation (http://www.site.uottawa.ca/local/labinfo), specifically at item 'Carleton Students Account Information' of the Account Information section. Note that they need to use their Carleton student ID, as they may not have uOttawa student IDs...

Last update:January 9, 2013