Project name: SoftFMEA

Automated safety analysis of software in electronic systems

Start date: 1^st July 2001 Finish date: 30^th June 2004

Funding

Grant of £150,352 from EPSRC critical systems programme

Total funding: £150,352

Staff

Neal Snooke, Chris Price, Jonathan Bell

Collaborating organisations

• Ford Motor Company
• Motor Industry Research Association
• FirstEarth (now part of Mentor Graphics)

Objectives

Recent developments in the automotive industry have led to the introduction of sophisticated software and network systems. The aim of this project is to explore methods of conducting safety analysis of such systems, allowing the capabilities of the existing electrical design analysis tool to be expanded to analyse systems that incorporate significant software and network components. This entails simulation of systems using a mixture of different models, the structural model of the electrical system and behavioural models of complex components.

The project will:

• Investigate languages and tools for simulation of software components
• Generate and evaluate software capable of simulating systems with significant software components
• Extend simulation software to allow modelling anmd simulation of failures in the network and software components
• Use project examples to investigate principles of interaction between simulators and models
• Investigate analysis of redundant fault mitigation systems
• Investigate automatic generation of fault mitigation software

Final report

The Final Report provides an overview of the project outcomes

Technical Reports

The following technical reports were produced during the project and have been divided into several categories.

Behaviour

Proposed approaches to network simulation	SD/TR/03	11/2/02
Evaluation of AutoSteve data bus support	SD/TR/EV/01	23/10/03
Modelling behaviour	SD/TR/MM/01	21/11/02
Illustration of CAN requirements	SD/REQ/ILL/01	28/8/02
Events and signals	SD/TR/FSM/03	19/3/02
Passing signals between state charts	SD/TR/FSM/02	15/5/02
Additions to State Builder for network modelling	SD/REQ/01	9/7/02
Using a state machine language for behavioural modelling	SD/TR/FSM/01	28/3/02

Function

Representation of function	SD/TR/FR/14	29/7/04
The role of functional decomposition	SD/TR/FR/10	27/7/04
Dependencies between functions	SD/TR/FR/09	29/7/04
Functional modelling for SoftFMEA	SD/TR/FR/01	17/7/03
Hierarchy and function	SD/TR/FR/01	30/7/04
Describing system functions that depend on intermittent... (QR paper)		28/6/04
Logical relations for describing intermittent and sequential...	SD/TR/FR/07	18/11/03
Temporal aspects of functional modelling for design analysis		8/10/03
Towards a language for interpretation of simulation...	SD/TR/FR/11	22/4/04

Languages

Languages for simulation of network and software components	SD/TR/01	23/1/02
Other simulation languages	SD/BCG/LAN/OTH/02	19/11/01
Third SAM workshop, 2002	SD/BCG/LAN/SDL/02	28/6/02
Notes on SDL	SD/BCG/LAN/SDL/01	3/9/01
State transition disgrams	SD/BCG/LAN/SC/01	7/12/01
Unified Modeling Language	SD/BCG/LAN/OTH/03	3/12/01
VHDL and VHDL-AMS	SD/BCG/LAN/OTH/01	12/9/01

Systems

Notes on CANbus	SD/BCG/PR/CAN/01	20/9/01
Possible case studies for SoftFMEA	SD/TR/EX/01	17/1/03
Other automotive industry protocols	SD/BCG/PR/GEN/01	19/11/01
Comparison of protocols used in the automotive industry	SD/BCG/PR/GEN/03	13/11/01
Network protocols used in the automotive industry	SD/TR/PRO/01	24/7/02
Systems with telematic components	SD/TR/02	11/2/02

Contact details

• Neal Snooke