Deploy

Industrial deployment of system engineering methods providing high dependability and productivity

 

About Deploy Project

Workpackage

Workpackage 1 Deployment in the automotive sector

Motivation

Increasing comfort-, emission-, and safety requirements for future motor vehicles are leading to an increasing number of powerful and complex systems within a motor vehicle. Hand in hand there is an increased networking of previously independent domains inside the motor vehicle. Therefore, reliability and safety of our overall systems are essential and have to meet highest standards. Dependability for Bosch means the absence of errors in all operating points as well as controlled behaviour in the presence of partial failures. Today, systematic testing is used to achieve dependability of our systems. However, the increase in system complexity means that the effort of systematic testing will grow exponentially and, hence, will become uneconomical. In order to face these challenges, we are convinced that dependability of our future systems can be ensured only by using formal engineering methods (quality by design). In WP1, we will deploy formal methods on the engineering of a micro hybrid engine system. A micro hybrid engine system minimises energy consumption through smart starting and stopping of a car engine. It links the engine control with driver controls and various vehicle sensors. It should maintain expected levels of safety and performance even in the presence of sensor failures.

Objectives of WP1

Our main objective is threefold: (i) the deployment and detailed assessment of formal engineering methods in the context of automotive system development; (ii) the development of a methodology that is specific and applicable for automotive systems; (iii) the development of concepts for assimilation of our development process in order to efficiently use the methodology. Our objectives in detail are to:

  • Provide evidence that refinement-based formal engineering methods are applicable to Bosch systems. The key priorities for Bosch are:
    • Structured development of system requirements and systematic construction and validation of formal models from requirements
    • Effective reuse and evolution of formal models and analysis
    • Provide evidence of the cost-effectiveness of applying formal methods to the development of automotive systems
  • Develop a methodology specific for automotive systems and provide evidence for applicability by close-to-production implementation of relevant parts of the micro hybrid system
  • Identify changes to the current development process as well as concepts for assimilation

Description of work

The work of WP1 will be organised according to the following tasks:

Tasks T1.1-T1.2 on Technology Transfer: Training and support is conducted at the beginning of the project. Knowledge transfer and experience sharing is necessary in order to get a common baseline for technology providers and Bosch. At the end of the project changes to the current development process are identified, concepts for assimilation are developed.

Tasks T1.3-T1.5 on Deployment of the DEPLOY methodology are accomplished at first to selected parts of the micro hybrid system that are regarded as suitable entry point for applying formal methods to the system development. Commencing with the natural language specification of the selected subproblems construction of designs and prototype implementations have to be derived. Reuse and evolution of formal models are essential because otherwise the methodology may not scale up with the complexity of automotive systems. It has to be shown whether composition of formal models can be done efficiently. A second deployment phase is devoted to enhanced aspects such as control systems.

Tasks T1.6-T1.7 on Method Assessment and Integration: These tasks investigate the cost-effectiveness of formal modelling. A detailed evaluation of the methodology has to prove profitable application of the methodology in the automotive sector. In that case the conceptualization of the methodology into an automotive specific methodology is performed.

Deploy-Project - All right reserved