|
|
||
|
|
||
|
The department of computing and electrical engineering offers courses that include modules which are based around the topic of dependable systems. |
||
|
The modules begin with the basics of logic and move on to using formal methods for system specification and verification. The aims of these modules are to give students a basis for the development of dependable systems. A list of the modules together with course details and online course material is avaliable. |
||
|
|
||
|
This is the reasearch group based within the department of computing and electrical engineering. |
||
|
"The research aims and objectives of the Dependable Systems Group are to improve the reliability and predictability of computer systems through the development and application of rigorous design, implementation and verification techniques." |
||
|
Details of this group and their current project can be found on the Dependable Systems Group web site. |
||
