: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across buses and networks causes high interaction complexity. We propose a model-based development approach to handle this complexity. We model the individual functionalities of the system – the services – independently from each other in an interaction modeling and architecture definition language. Methodological steps allow us to refine and modify the models. A development process determines the order in which to perform the steps. Our service-oriented development methodology spans the entire development process from requirements analysis to implementation, verification and validation. We have developed integrated tool support that governs this process; it provides an effective means to apply and evaluate our approach. In this paper we introduce our service-oriented methodology and describe our tool as part o...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger,