Advertisement

Simulation-Based Development of Safety Related Interlocks

  • Timo VepsäläinenEmail author
  • Seppo Kuikka
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 197)

Abstract

Dynamic simulations could support in several ways the industrial automation and control systems development, including their interlocking functions, which constitute an important and tedious part of the development. In this paper, we present a tool-supported, automated approach for creating simulation models of controlled systems and their interlocking functions based on UML AP models of control systems and ModelicaML models of the systems to be controlled. The purpose of the approach is to facilitate manual development work related to model-based development of control systems and to enable early testing and comparison of control and interlocking strategies. The tools and the techniques are demonstrated with an example modelling project and the paper also discusses extending the approach to verifiable safety systems including their security aspects.

Keywords

Model-based development UML AP Simulation Industrial control Interlocks Safety 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Biehl, M., DeJiu, C., Törngren, M.: Integrating safety analysis into the model-based development toolchain of automotive embedded systems. In: LCTES 2010, pp. 125–132. ACM, New York (2010)Google Scholar
  2. 2.
    Carrasco, J., Dormido, S.: Analysis of the use of industrial control systems in simulators: State of the art and basic guidelines. ISA Transactions 45(2), 295–312 (2006)CrossRefGoogle Scholar
  3. 3.
    Dougall, J.: Applications and benefits of real-time I/0 simulation for PLC and PC control systems. ISA Transactions 36(4), 305–311 (1998)CrossRefGoogle Scholar
  4. 4.
    Ferrarini, L., Dede, A., Salaun, P., Dang, T., Fogliazza, G.: Domain specific views in model-driven embedded systems design in industrial automation. In: INDIN 2009 the 7th IEEE International Conference on Industrial Informatics, Cardiff, UK, June 23-26 (2009)Google Scholar
  5. 5.
    Friedenthal, S., Moore, A., Steiner, R.: A practical guide to SysML. Morgan Kaufmann OMG Press, San Francisco (2008)Google Scholar
  6. 6.
    Hästbacka, D., Vepsäläinen, T., Kuikka, S.: Model-driven Development of Industrial Process Control Applications. The Journal of Systems and Software 84(7), 1100–1113 (2011), doi:10.1016/j.jss.2011.01.063CrossRefGoogle Scholar
  7. 7.
    IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems. parts 1-7 (2010)Google Scholar
  8. 8.
    Jones, C.: Software quality in 2008: A survey of the state of the art. Software Productivity Research LLC, 59 p. (2008), http://www.jasst.jp/archives/jasst08e/pdf/A1.pdf (achieved February 13, 2011)
  9. 9.
    Karhela, T.: A software architecture for configuration and usage of process simulation models: Software component technology and XML-based approach. PhD Thesis, VTT Technical Research Centre, Finland (2002)Google Scholar
  10. 10.
    Object Management Group. Technical Guide to Model Driven Architecture: The MDA Guide. Version 1.0.1 (2003)Google Scholar
  11. 11.
    OpenModelica project website (2011), http://www.ida.liu.se/pelab/modelica/OpenModelica.html
  12. 12.
    Ritala, T., Kuikka, S.: UML Automation Profile: Enhancing the Efficiency of Software Development in the Automation Industry. In: The Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN 2007), Vienna, Austria, July 23-27, pp. 885–890 (2007)Google Scholar
  13. 13.
    Schamai, W.: Modelica Modeling Language (ModelicaML) a UML Profile for Modelica, Technical Report 2009:5, EADS IW, Germany, Linköping University, Institute of TechnologyGoogle Scholar
  14. 14.
    Strasser, T., Rooker, M., Ebenhofer, G.: MEDEIA - Model-Driven Embedded Systems Design Environment for the Industrial Automation Sector. 1st Version of the MEDEIA open source modelling prototype, documentation (2009), http://www.medeia.eu/26.0.html
  15. 15.
    Strasser, T., Rooker, M., Hegny, I., Wenger, M., Zoitl, A., Ferrarini, L., Dede, A., Colla, M.: A research roadmap for model-driven design of embedded systems for automation components. In: INDIN 2009 the 7th IEEE International Conference on Industrial Informatics, Cardiff, UK, June 23-26 (2009)Google Scholar
  16. 16.
    Tranoris, C., Thramboulidis, C.: A tool supported engineering process for developing control applications. Computers in Industry 57, 462–472 (2006)CrossRefGoogle Scholar
  17. 17.
    Vepsäläinen, T., Hästbacka, D., Kuikka, S.: Tool Support for the UML Automation Profile - for Domain-Specific Software Development in Manufacturing. In: The Proceedings of the 3rd International Conference on Software Engineering Advances, Sliema, Malta, October 26-31, pp. 43–50 (2008)Google Scholar
  18. 18.
    Vepsäläinen, T., Hästbacka, D., Kuikka, S.: A Model-driven Tool Environment for Automation and Control Application Development - Transformation Assisted, Extendable Approach. In: Proceedings of the 7th Nordic Workshop on Model Driven Software Engineering, Tampere, Finland, August 26-28 (2009)Google Scholar
  19. 19.
    Vepsäläinen, T., Hästbacka, D., Kuikka, S.: Simulation Assisted Model-Based Control Development - Unifying UML AP and Modelica ML. In: 11th International Middle Eastern Simulation Multi Conference, Alexandria, Egypt, December 1-3 (2010)Google Scholar
  20. 20.
    Vepsäläinen, T., Sierla, S., Peltola, J., Kuikka, S.: Assessing the Industrial Applicability and Adoption Potential of the AUKOTON Model Driven Control Application Engineering Approach. In: Proceedings of International Conference on Industrial Informatics, Osaka, Japan, July 13-16 (2010)Google Scholar
  21. 21.
    Zoughbi, G., Briand, L., Labiche, Y.: A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 574–588. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.Department of Automation Science and EngineeringTampere University of TechnologyTampereFinland

Personalised recommendations