Skip to main content
SpringerLink
Log in
Book cover

Simulation and Modeling Methodologies, Technologies and Applications pp 165–182Cite as

Simulation-Based Development of Safety Related Interlocks

  • Chapter

Part of the book series: Advances in Intelligent Systems and Computing ((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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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. Friedenthal, S., Moore, A., Steiner, R.: A practical guide to SysML. Morgan Kaufmann OMG Press, San Francisco (2008)

    Google Scholar 

  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.063

    Article  Google Scholar 

  7. IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems. parts 1-7 (2010)

    Google Scholar 

  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. 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. Object Management Group. Technical Guide to Model Driven Architecture: The MDA Guide. Version 1.0.1 (2003)

    Google Scholar 

  11. OpenModelica project website (2011), http://www.ida.liu.se/pelab/modelica/OpenModelica.html

  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. Schamai, W.: Modelica Modeling Language (ModelicaML) a UML Profile for Modelica, Technical Report 2009:5, EADS IW, Germany, Linköping University, Institute of Technology

    Google Scholar 

  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. 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. Tranoris, C., Thramboulidis, C.: A tool supported engineering process for developing control applications. Computers in Industry 57, 462–472 (2006)

    Article  Google Scholar 

  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. 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. 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. 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. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Automation Science and Engineering, Tampere University of Technology, P.O. Box 692, FIN-33101, Tampere, Finland

    Timo Vepsäläinen & Seppo Kuikka

Authors
  1. Timo Vepsäläinen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Seppo Kuikka
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Timo Vepsäläinen .

Editor information

Editors and Affiliations

  1. , Systems and Informatics Department, Superior School of Technology of Setúbal, Rua Vale de Chaves - Estefanilha, Setúbal, 2910-761, Portugal

    Nuno Pina

  2. Systems Research Institute, Polish Academy of Sciences, ul. Newelska 6, Warsaw, 01--447, Poland

    Janusz Kacprzyk

  3. INSTICC, Polytechnic Institute of Setúbal, Setubal, 2910-595, Portugal

    Joaquim Filipe

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Vepsäläinen, T., Kuikka, S. (2013). Simulation-Based Development of Safety Related Interlocks. In: Pina, N., Kacprzyk, J., Filipe, J. (eds) Simulation and Modeling Methodologies, Technologies and Applications. Advances in Intelligent Systems and Computing, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34336-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34336-0_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34335-3

  • Online ISBN: 978-3-642-34336-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation