Abstract
With an increasing number of distributed heterogeneous manufacturing systems, interoperability is becoming more and more critical for the reliability, performance, and security of working applications. In order to control the development and evolution of applications interoperability, crucial decisions should be made at the earliest stages of development. These decisions need to be incorporated in the detailed design of the components that make up the application in order to accomplish a reliable and efficient solution at the implementation level. For a complete solution the application architecture must be designed using a methodology that can be verified. The components used in the implementation must be verified against the evolving application requirements. These components need to be checked for coherency of the design as the application evolves to meet new application requirements. The two checking types, in conjunction with an integrated approach, constitute the main goal of interoperability verification. This paper presents elements of an integrated modeling of interoperability verification. The implemented model is designed to develop automatic interactive tools which facilitate the tasks of interoperability verification.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Medvidovic, N., & Taylor, R. N. (2000). A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26 (1), 70–93.
The Emerging SAE AADL Standard: Tutorial of Real Time Systems Group (RTG), University of Pennsylvania, DASC AADL Tutorial, Part I (p. 33). Pennsylvania, USA.
Hassan, M. O., Deruelle, L., & Basson, H. (2009). Towards a change propagation process in software architecture. In 18th International Conference on Software Engineering and Data Engineering (SEDE-2009, pp. 85–90). Las Vegas,Nevada, USA.
Hassan, M. O., Deruelle, L., Basson, H., & Ahmad, A. (2010). A change propagation process for distributed software architecture, ENASE 2010. In Proceedings of 5th International Conference on Evaluation of Novel Approaches to Software Engineering. Athens, Greece.
Melab, N., Basson, H., Deruelle, L., & Bouneffa, M. (1999). Performance of object-oriented code: Profiling and instrumentation. Proceedings of the IEEE International Conference on Software Maintenance (pp. 982–911), Oxford, UK.
ISO 15745-1 (2003). Industrial automation systems and integration—open systems application integration framework—Part I: Generic reference description. ISO, Geneva, Switzerland.
Matsuda, M. (2012). Manufacturing software interoperability services which ISO 16100 brings about (pp. 60–70, Vol. 0122). Lecture notes in business information processing series,New York: IFIP, Springer.
ISO/TC 184/SC 5/WG 4 N464, PWI 16300-3 (2013). Interoperability of capability units for manufacturing application solutions—Part 3: Verification and validation of interoperability among capability units.
Wilde, N. et al. (2013). Interoperable Systems and Software Evolution: Issues and Approaches. In Digital enterprise design and management (pp. 45–56). New York: Springer Berlin Heidelberg.
Bandyopadhyay, S., Sengupta, M., Maiti, S., & Dutta, S. (2011). Role of middleware for internet of things: A study. International Journal of Computer Science and Engineering Survey (IJCSES), 2(3).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Basson, H., Matsuda, M., Chung, D. (2014). A Contribution to Software Interoperability Verification of Manufacturing Application. In: Mertins, K., Bénaben, F., Poler, R., Bourrières, JP. (eds) Enterprise Interoperability VI. Proceedings of the I-ESA Conferences, vol 7. Springer, Cham. https://doi.org/10.1007/978-3-319-04948-9_36
Download citation
DOI: https://doi.org/10.1007/978-3-319-04948-9_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04947-2
Online ISBN: 978-3-319-04948-9
eBook Packages: EngineeringEngineering (R0)