Module Descriptors
SAFETY CRITICAL AUTOMOTIVE SYSTEMS SOFTWARE
MECH60398
Key Facts
Faculty of Computing, Engineering and Sciences
Level 6
15 credits
Hours of Study
Scheduled Learning and Teaching Activities: 24
Independent Study Hours: 126
Total Learning Hours: 150
Assessment
- ASSIGNMENT weighted at 50%
- EXAMINATION - UNSEEN IN EXAMINATION CONDITIONS weighted at 50%
Module Details
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.
12 hours lectures and 12 hours practical.
12 hours lectures and 12 hours practical.
Module Indicative Content
Categorisation and impact of formal approaches, role of proof, model checking. Regulations surrounding Safety Critical Systems Software
Characterisation of safety, safety culture, risk and its management, cost of failure. Standards and safety life-cycle. Fault tolerance. The implications of safety within an automotive systems environment
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. The implications of safety within an automotive systems environment
Hardware interfacing, interrupts and polling, transformers and transducers.
Testing techniques and environment modelling.
Module Additional Assessment Details
One assignment 2,500 words (50%) learning outcome 3.
An examination 2 hours (50%) learning outcomes 1 and 2.
An examination 2 hours (50%) learning outcomes 1 and 2.
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
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
Module Special Admissions Requirements
Prior study of CE00562-5 Automotive embedded Software or equivalent high level language module AND prior study of CE00345-6, Real Time Systems 1 or equivalent.
Module Resources
Laboratory containing National Instruments Can Device Simulators and National Instruments CAN Series 2 interfaces. Labview is needed to program the systems.