About Deploy Project
Workpackage 1 — Deployment in the automotive sector
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
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.