{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:49:27Z","timestamp":1742921367469,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642343353"},{"type":"electronic","value":"9783642343360"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-34336-0_11","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T14:49:43Z","timestamp":1349966983000},"page":"165-182","source":"Crossref","is-referenced-by-count":3,"title":["Simulation-Based Development of Safety Related Interlocks"],"prefix":"10.1007","author":[{"given":"Timo","family":"Veps\u00e4l\u00e4inen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seppo","family":"Kuikka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","first-page":"125","volume-title":"LCTES 2010","author":"M. Biehl","year":"2010","unstructured":"Biehl, M., DeJiu, C., T\u00f6rngren, M.: Integrating safety analysis into the model-based development toolchain of automotive embedded systems. In: LCTES 2010, pp. 125\u2013132. ACM, New York (2010)"},{"issue":"2","key":"11_CR2","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0019-0578(07)60196-7","volume":"45","author":"J. Carrasco","year":"2006","unstructured":"Carrasco, J., Dormido, S.: Analysis of the use of industrial control systems in simulators: State of the art and basic guidelines. ISA Transactions\u00a045(2), 295\u2013312 (2006)","journal-title":"ISA Transactions"},{"issue":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/S0019-0578(97)00033-5","volume":"36","author":"J. Dougall","year":"1998","unstructured":"Dougall, J.: Applications and benefits of real-time I\/0 simulation for PLC and PC control systems. ISA Transactions\u00a036(4), 305\u2013311 (1998)","journal-title":"ISA Transactions"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/INDIN.2009.5195889"},{"key":"11_CR5","volume-title":"A practical guide to SysML","author":"S. Friedenthal","year":"2008","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A practical guide to SysML. Morgan Kaufmann OMG Press, San Francisco (2008)"},{"issue":"7","key":"11_CR6","doi-asserted-by":"publisher","first-page":"1100","DOI":"10.1016\/j.jss.2011.01.063","volume":"84","author":"D. H\u00e4stbacka","year":"2011","unstructured":"H\u00e4stbacka, D., Veps\u00e4l\u00e4inen, T., Kuikka, S.: Model-driven Development of Industrial Process Control Applications. The Journal of Systems and Software\u00a084(7), 1100\u20131113 (2011), doi:10.1016\/j.jss.2011.01.063","journal-title":"The Journal of Systems and Software"},{"key":"11_CR7","unstructured":"IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety-related systems. parts 1-7 (2010)"},{"key":"11_CR8","unstructured":"Jones, C.: Software quality in 2008: A survey of the state of the art. Software Productivity Research LLC, 59 p. (2008), \n                      http:\/\/www.jasst.jp\/archives\/jasst08e\/pdf\/A1.pdf\n                     (achieved February 13, 2011)"},{"key":"11_CR9","unstructured":"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)"},{"key":"11_CR10","unstructured":"Object Management Group. Technical Guide to Model Driven Architecture: The MDA Guide. Version 1.0.1 (2003)"},{"key":"11_CR11","unstructured":"OpenModelica project website (2011), \n                      http:\/\/www.ida.liu.se\/pelab\/modelica\/OpenModelica.html"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"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\u2013890 (2007)","DOI":"10.1109\/INDIN.2007.4384890"},{"key":"11_CR13","unstructured":"Schamai, W.: Modelica Modeling Language (ModelicaML) a UML Profile for Modelica, Technical Report 2009:5, EADS IW, Germany, Link\u00f6ping University, Institute of Technology"},{"key":"11_CR14","unstructured":"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), \n                      http:\/\/www.medeia.eu\/26.0.html"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/INDIN.2009.5195865"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1016\/j.compind.2006.02.006","volume":"57","author":"C. Tranoris","year":"2006","unstructured":"Tranoris, C., Thramboulidis, C.: A tool supported engineering process for developing control applications. Computers in Industry\u00a057, 462\u2013472 (2006)","journal-title":"Computers in Industry"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Veps\u00e4l\u00e4inen, T., H\u00e4stbacka, 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\u201350 (2008)","DOI":"10.1109\/ICSEA.2008.22"},{"key":"11_CR18","unstructured":"Veps\u00e4l\u00e4inen, T., H\u00e4stbacka, 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)"},{"key":"11_CR19","unstructured":"Veps\u00e4l\u00e4inen, T., H\u00e4stbacka, 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)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Veps\u00e4l\u00e4inen, 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)","DOI":"10.1109\/INDIN.2010.5549626"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/978-3-540-75209-7_39","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Zoughbi","year":"2007","unstructured":"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.\u00a04735, pp. 574\u2013588. Springer, Heidelberg (2007)"}],"container-title":["Advances in Intelligent Systems and Computing","Simulation and Modeling Methodologies, Technologies and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34336-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T14:06:17Z","timestamp":1720706777000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-34336-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642343353","9783642343360"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34336-0_11","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]}}}