Formal incremental requirements specification of service-oriented automotive software systems
SOSE '06 Proceedings of the Second IEEE International Symposium on Service-Oriented System Engineering
| Hi-index | 0.00 |
The automotive industry faces the challenge of handling increasingly complex software systems in modern vehicles. The solution may be twofold: (i) A model-based development paradigm on the system level, using standards such as AUTOSAR, (ii) the usage of such models for a seamless testing and quality assurance process, using simulations and (reusable) tests. This paper describes, from an automotive industry perspective, system models and their advantages for manufacturers and suppliers. The main focus is on tooling for offline system simulations and on the introduction of such solutions in standard development processes. For this, different industrial simulation and testing scenarios are outlined; starting with single software component tests and ending with virtual integrations. For each phase of the development process, chances and problems are discussed.