Module Descriptors
SAFETY CRITICAL AND EMBEDDED SYSTEMS
COCS60569
Key Facts
School of Digital, Technologies and Arts
Level 6
15 credits
Contact
Leader: James Mccarren
Email: James.McCarren@staffs.ac.uk
Hours of Study
Scheduled Learning and Teaching Activities: 36
Independent Study Hours: 114
Total Learning Hours: 150
Assessment
- ASSIGNMENT weighted at 50%
- EXAMINATION - UNSEEN IN EXAMINATION CONDITIONS weighted at 50%
Module Details
Module Special Admissions Requirements
Prior study of COSE40525 Introduction to Software Development or equivalent.
Module Resources
Laboratory containing LabView, C and National Instruments Data Acquisition cards. Lecture Theatre containing C and Labview.
Module Learning Strategies
The direction and key elements of the module will be covered in lectures. You will be required and encouraged to investigate topics on your own or in small groups in independent study time. The practical side of the course will involve you in developing models addressing aspects of the theory taught in the module, again in independent study time. Software tools and hardware elements will be provided, as appropriate, for the practical work.
1 lectures and 1 two hour practical per week
1 lectures and 1 two hour practical per week
Module Additional Assessment Details
A programming type assignment (50%) including code and a report of about 1000 words assessing llearning outcome 3.
An examination 2 hours (50%) learning outcomes 1 and 2.
An examination 2 hours (50%) learning outcomes 1 and 2.
Module Indicative Content
Categorisation and impact of formal approaches, role of proof, model checking.
Characterisation of safety, safety culture, risk and its management, cost of failure. Standards and safety life-cycle. Fault tolerance.
Hardware interfacing, interrupts and polling, transformers and transducers.
Testing techniques and environment modelling.
Characterisation of safety, safety culture, risk and its management, cost of failure. Standards and safety life-cycle. Fault tolerance.
Hardware interfacing, interrupts and polling, transformers and transducers.
Testing techniques and environment modelling.
Module Texts
Formal object-orientated specification using Object 2, Roger Duke and Gordon Rose, 2000, Macmillan, ISBN: 0-333-50123-7
Embedded Systems Design, 2nd Edition, Steve Heath, Newnes, 2002, ISBN: 0-7506-5546-1
Practical Design of Safety Critical Computer Systems, William Dunn, Reliability Press, 2002, ISBN: 0971752702
Functional Safety. David J. Smith & Kenneth G. L. Simpson. Elsevier, 2004. ISBN 0-7506-6269-7
Embedded Systems Design, 2nd Edition, Steve Heath, Newnes, 2002, ISBN: 0-7506-5546-1
Practical Design of Safety Critical Computer Systems, William Dunn, Reliability Press, 2002, ISBN: 0971752702
Functional Safety. David J. Smith & Kenneth G. L. Simpson. Elsevier, 2004. ISBN 0-7506-6269-7