Skip to main content


Proving Integrity of Complex Automotive Systems of Systems


The PICASSOS project aims to deliver a step change improvement in the ability of the UK supply chain to develop demonstrably safe and secure, highly complex embedded software systems at a price the general market can afford.

Research challenge

To bring about the step change improvement in the ability of the UK supply chain to develop demonstrably safe and secure embedded software systems, at a price the automotive market can afford. The application of automated formal methods to break away from the traditional approach of large amounts of process supported by documentation and people promises significant benefit for the UK supply chain, but not without risk. The supply chain which can first implement the most effective approaches will have a significant first mover advantage, in this growing sector.

Project outcomes

  • Requirements setting. Development and definition of use cases, toolsets processes and tool requirements
  • Supply Chain Functional Safety Process. this looks to develop the supply chain process, identification and strengthening of foundation processes.
  • Tool development. Focusses on development of the initial specifications and the creation of a prototype set of tools and processes to be applied in initial (Phase 1) trials and roll out training for the tools and techniques developed
  • Evaluation and Benchmarking. Focusses on specific assessment of the results of the trials (Phase 1 and Phase 2) through the definition of use cases and suitable tracking metrics, to allow the improvements to the development process to be validated.
  • Project Management and Dissemination. Ensures that the project objectives are achieved and that the learning is captured and disseminated from the consortium and the sector community.

Funded by

  • UK Government's Advanced Manufacturing Supply Chain Initiative (AMSCI)


  • Axeon Power
  • Coventry University
  • D-RisQ
  • Jaguar Land Rover
  • Oxford University
  • Ricardo UK Ltd (Lead Partner)
  • WMG
  • YorkMetrics