DocumentCode :
492616
Title :
Asam odx
Author :
Bienk, Stefan
Author_Institution :
Dept. of Al, Univ. of Erlangen, Erlangen
fYear :
2008
fDate :
10-18 May 2008
Firstpage :
583
Lastpage :
592
Abstract :
In this paper, we outline a possible formalization of the semantics of the XML-based ODX language. ODX is a substantial part of the emerging automotive ASAM MCD standard, which describes a middleware layer between offboard diagnosis applications and onboard diagnosis services of electronic control units (ECUs) of cars. The contribution of our work is threefold: Firstly, a consequent application of our results can contribute to a well-structured development process in the automotive diagnosis domain. We are currently showing this in practice as part of our ongoing cooperation with the diagnosis department of AUDI AG. Secondly, our proposition is the first step towards guaranteed standard-conformity of implementations of the MCD run-time system, also specified by the standard and strongly depending on ODX and its semantics. Last but not least, the paper can serve as an encouraging example of the application of formal methods in practice.
Keywords :
XML; automotive electronics; electronic engineering computing; middleware; programming language semantics; AUDI AG; XML-based ODX language; automotive ASAM MCD standard; automotive diagnosis; electronic control units; formal methods; middleware layer; offboard diagnosis applications; onboard diagnosis services; Application software; Artificial intelligence; Automotive engineering; Middleware; Performance evaluation; Permission; Protocols; Software performance; Standardization; Vehicles; asam odx; automotive; formal semantics; middleware;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 2008. ICSE '08. ACM/IEEE 30th International Conference on
Conference_Location :
Leipzig
ISSN :
0270-5257
Print_ISBN :
978-1-4244-4486-1
Electronic_ISBN :
0270-5257
Type :
conf
DOI :
10.1145/1368088.1368169
Filename :
4814170
Link To Document :
بازگشت