Project name: SoftFMEA
Automated safety analysis of software in electronic systems
Start date: 1st July 2001 Finish date: 30th 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
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 outcomesTechnical 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