DocumentCode :
3385705
Title :
Compatibility and reuse in component-based systems via type and unit inference
Author :
Kuhnel, Christian ; Bauer, Andreas ; Tautschnig, Michael
Author_Institution :
Tech. Univ. Munchen, Munich
fYear :
2007
fDate :
28-31 Aug. 2007
Firstpage :
101
Lastpage :
108
Abstract :
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. In order to facilitate reuse, and to raise the level of abstraction for future designs and frequently used functions, the employed tool sets offer built-in mechanisms to create sophisticated component libraries. For large, real-world designs, however, it is not always clear, whether or not a certain context violates even the most basic design assumptions of employed library components, thus often leading to expensive runtime errors. This paper introduces a practical method for checking compatibility of large designs, statically. This method not only ensures that large component-based designs provide a context such that all (library) components have well defined types, but it also ensures that transmitted physical units, such as m2, km/h, mph, etc. are preserved during computation. As such the possibility for runtime errors is reduced, and a metric for sound component reuse given.
Keywords :
object-oriented programming; reasoning about programs; software libraries; software reusability; component libraries; component-based system compatibility; component-based system reuse; type inference; unit inference; Australia; Automotive engineering; Control systems; Electrical equipment industry; Inference algorithms; Libraries; MATLAB; Mathematical model; Measurement units; Runtime;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Advanced Applications, 2007. 33rd EUROMICRO Conference on
Conference_Location :
Lubeck
ISSN :
1089-6503
Print_ISBN :
978-0-7695-2977-6
Type :
conf
DOI :
10.1109/EUROMICRO.2007.24
Filename :
4301070
Link To Document :
بازگشت