A Contribution to Software Interoperability Verification of Manufacturing Application

  • Henri Basson
  • Michiko Matsuda
  • Dukki Chung
Conference paper
Part of the Proceedings of the I-ESA Conferences book series (IESACONF, volume 7)


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.


Interoperability design ADL UML diagrams Software artifacts modeling Software interoperability verification 


  1. 1.
    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.Google Scholar
  2. 2.
    The Emerging SAE AADL Standard: Tutorial of Real Time Systems Group (RTG), University of Pennsylvania, DASC AADL Tutorial, Part I (p. 33). Pennsylvania, USA. Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    ISO 15745-1 (2003). Industrial automation systems and integration—open systems application integration framework—Part I: Generic reference description. ISO, Geneva, Switzerland. Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    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).Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.LISICEILCO, University of Lille North France, (Littoral)CalaisFrance
  2. 2.Kanagawa Institute of TechnologyAtsugi-shiJapan
  3. 3.Rockwell Automation, ClevelandClevelandUSA

Personalised recommendations