Service-Based Development of Embedded Systems
Abstract
Services as a basic notion are helpful in two respects: (1) services are used to structure the specification of a system, easing understand and reasoning about the system; and (2) services also can be used as the design principle of the implementation architecture. This paper presents an approach for developing software systems using services as the central development concept. A concrete case study, namely the development of a control unit for an automotive seat adjustment system, clarifies the proposed service-based development process. Components and services differ essentially concerning the construction of complex systems: component-based architectures only support concurrent composition to form hierarchic structures; service-based architectures support a more flexible form of reusing behavior by offering composition with concurrent and alternative configurations. As a result, service-based architecture does the following: (1) supports a description of the functional structure of the system using explicit description of modes of operation in the form of configurations of active services; (2) avoids design-oriented description of the system enforced by component-based architectures; and (3) supports efficient implementations by explicitly describing active and inactive functionality. Since service-based architectures target the functional structure of a system, an important aspect of the development process is the systematic detection of conflicts and under specifications during service composition as well as the transition from service-based to component-based architectures. Current investigations include tool-based refactoring steps supporting conflict elimination and transition from service- to component-based architectures. Also, suitable variants for the constructive design of embedded software are investigated focusing on issues like explicit description of timing constraints and efficient deployment to hardware. (8 figures, 12 refs.)
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 08, 2004
- Accession Number
- ADA429097
Entities
People
- Alexander Wisspeintner
- Bernhard Schaetz
- Ingomar Thaler
- Leonid Kof