DocumentCode :
3557349
Title :
Service-oriented software and systems engineering - a vision for the automotive domain
Author :
Krüger, Ingolf H.
Author_Institution :
Dept. of Comput. Sci. & Eng., California Univ., San Diego, CA, USA
fYear :
2005
fDate :
11-14 July 2005
Firstpage :
150
Abstract :
Increasing interactions among automotive software functions and the ensuing complexity demand new ways of developing automotive systems. Many functions deployed in the vehicle cut across physical and logical boundaries. Capturing the core interactions underlying system functions, creating logical service architectures and mapping them to varying deployment architectures and product lines are central development tasks that cross-cut requirements capture, architecture design, implementation and validation/verification. The service-oriented development approach we propose addresses these fundamental aspects of automotive system design. In this talk the author demonstrate the description techniques, methodology and tools we have developed, and discuss their application in the context of automotive case studies.
Keywords :
automobile industry; automotive engineering; formal specification; formal verification; software architecture; software metrics; systems engineering; automotive software interactions; automotive system design; logical service architectures; service-oriented development; service-oriented software; systems engineering; Automotive engineering; Computer architecture; Computer science; Laboratories; Programming; Scattering; Software quality; Software systems; Software tools; Systems engineering and theory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on
Print_ISBN :
0-7803-9227-2
Type :
conf
DOI :
10.1109/MEMCOD.2005.1487906
Filename :
1487906
Link To Document :
بازگشت