{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T04:20:16Z","timestamp":1771647616041,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,18]],"date-time":"2013-03-18T00:00:00Z","timestamp":1363564800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001729","name":"Swedish Foundation for Strategic Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001729","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,3,18]]},"DOI":"10.1145\/2480362.2480575","type":"proceedings-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T19:47:45Z","timestamp":1367437665000},"page":"1137-1144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["A model-based framework for flexible safety-critical software development"],"prefix":"10.1145","author":[{"given":"Jesper Pedersen","family":"Notander","sequence":"first","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"Per","family":"Runeson","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"Martin","family":"H\u00f6st","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2013,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 5th International Conference on Embedded Real Time Software and Systems (ERTS2)","author":"Baufreton P.","year":"2010","unstructured":"P. Baufreton , J. P. Blanquart , J. L. Boulanger , H. Delseny , J. C. Derrien , J. Gassino , G. Ladier , E. Ledinot , M. Leeman , P. Qu\u00e9r\u00e9 , and B. Ricque . Multi-domain comparison of safety standards . In Proceedings of the 5th International Conference on Embedded Real Time Software and Systems (ERTS2) , Toulouse, France , 2010 . P. Baufreton, J. P. Blanquart, J. L. Boulanger, H. Delseny, J. C. Derrien, J. Gassino, G. Ladier, E. Ledinot, M. Leeman, P. Qu\u00e9r\u00e9, and B. Ricque. Multi-domain comparison of safety standards. In Proceedings of the 5th International Conference on Embedded Real Time Software and Systems (ERTS2), Toulouse, France, 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15327809jls1301_2"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-642-14891-0_3","volume-title":"Smart Spaces and Next Generation Wired\/Wireless Networking","author":"Coronato A.","year":"2010","unstructured":"A. Coronato and G. De Pietro . A middleware architecture for safety critical ambient intelligence applications . In S. Balandin, R. Dunaytsev, and Y. Koucheryavy, editors, Smart Spaces and Next Generation Wired\/Wireless Networking , volume 6294 of Lecture Notes in Computer Science , pages 26 -- 37 . Springer Berlin\/Heidelberg , 2010 . A. Coronato and G. De Pietro. A middleware architecture for safety critical ambient intelligence applications. In S. Balandin, R. Dunaytsev, and Y. Koucheryavy, editors, Smart Spaces and Next Generation Wired\/Wireless Networking, volume 6294 of Lecture Notes in Computer Science, pages 26--37. Springer Berlin\/Heidelberg, 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-12575-1","volume-title":"Agile Software Development - Current Research and Future Directions","author":"Dings\u00f8yr T.","year":"2010","unstructured":"T. Dings\u00f8yr , T. Dyb\u00e5 , and N. B. Moe . Agile Software Development - Current Research and Future Directions . Springer Berlin Heidelberg , 2010 . T. Dings\u00f8yr, T. Dyb\u00e5, and N. B. Moe. Agile Software Development - Current Research and Future Directions. Springer Berlin Heidelberg, 2010."},{"key":"e_1_3_2_1_5_1","volume-title":"availability, maintainability and safety (RAMS)","author":"EN","year":"2007","unstructured":"EN 50126 Railway applications - The specification and demonstration of reliability , availability, maintainability and safety (RAMS) , 2007 . EN 50126 Railway applications - The specification and demonstration of reliability, availability, maintainability and safety (RAMS), 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.2307\/25148625"},{"key":"e_1_3_2_1_8_1","volume-title":"Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety Related Systems - Part 3: Software requirements. 65A\/550\/FDIS","author":"International Electrotechnical Commission","year":"2009","unstructured":"International Electrotechnical Commission . IEC 61508 , Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety Related Systems - Part 3: Software requirements. 65A\/550\/FDIS , 2009 . International Electrotechnical Commission. IEC 61508, Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety Related Systems - Part 3: Software requirements. 65A\/550\/FDIS, 2009."},{"key":"e_1_3_2_1_9_1","unstructured":"ISO\/IEC 25010:2011 Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models 2011. ISO\/IEC 25010:2011 Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models 2011."},{"key":"e_1_3_2_1_10_1","volume-title":"Engineering a safer world: systems thinking applied to safety","author":"Leveson N.","year":"2011","unstructured":"N. Leveson . Engineering a safer world: systems thinking applied to safety . MIT Press , Cambridge, Mass ., 2011 . N. Leveson. Engineering a safer world: systems thinking applied to safety. MIT Press, Cambridge, Mass., 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.528"},{"key":"e_1_3_2_1_12_1","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/978-3-642-24106-2_45","volume-title":"G. Lee, D. Howard, and D. \u015al\u0119zak","author":"Rodrigues D.","year":"2011","unstructured":"D. Rodrigues , R. Melo Pires , J. C. Estrella , M. Vieira , M. Corr\u00eaa , J. B. Camargo J\u00fanior , K. R. L. J. C. Branco , and O. T. J\u00fanior . Application of SOA in safety-critical embedded systems . In G. Lee, D. Howard, and D. \u015al\u0119zak , editors, Convergence and Hybrid Information Technology, volume 206 of Communications in Computer and Information Science , pages 345 -- 354 . Springer Berlin Heidelberg , 2011 . D. Rodrigues, R. Melo Pires, J. C. Estrella, M. Vieira, M. Corr\u00eaa, J. B. Camargo J\u00fanior, K. R. L. J. C. Branco, and O. T. J\u00fanior. Application of SOA in safety-critical embedded systems. In G. Lee, D. Howard, and D. \u015al\u0119zak, editors, Convergence and Hybrid Information Technology, volume 206 of Communications in Computer and Information Science, pages 345--354. Springer Berlin Heidelberg, 2011."},{"key":"e_1_3_2_1_13_1","unstructured":"RTCA\/DO178B Software Considerations in Airborne Systems and Equipment Certification 1992. RTCA\/DO178B Software Considerations in Airborne Systems and Equipment Certification 1992."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/98.943998"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.186"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083190.1083192"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1568199.1568213"},{"key":"e_1_3_2_1_18_1","volume-title":"Services Computing","author":"Zhang L.-J.","year":"2007","unstructured":"L.-J. Zhang , J. Zhang , and H. Cai . Services Computing . Springer Berlin Heidelberg , 2007 . L.-J. Zhang, J. Zhang, and H. Cai. Services Computing. Springer Berlin Heidelberg, 2007."}],"event":{"name":"SAC '13: SAC '13","location":"Coimbra Portugal","acronym":"SAC '13","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 28th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480575","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2480362.2480575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:34Z","timestamp":1750235734000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480575"}},"subtitle":["a design study"],"short-title":[],"issued":{"date-parts":[[2013,3,18]]},"references-count":18,"alternative-id":["10.1145\/2480362.2480575","10.1145\/2480362"],"URL":"https:\/\/doi.org\/10.1145\/2480362.2480575","relation":{},"subject":[],"published":{"date-parts":[[2013,3,18]]},"assertion":[{"value":"2013-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}