{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:19Z","timestamp":1772163979706,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,13]],"date-time":"2010-04-13T00:00:00Z","timestamp":1271116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,13]]},"DOI":"10.1145\/1755888.1755907","type":"proceedings-article","created":{"date-parts":[[2010,4,16]],"date-time":"2010-04-16T10:28:35Z","timestamp":1271413715000},"page":"125-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Integrating safety analysis into the model-based development toolchain of automotive embedded systems"],"prefix":"10.1145","author":[{"given":"Matthias","family":"Biehl","sequence":"first","affiliation":[{"name":"Royal Institute of Technology (KTH), Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"DeJiu","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology (KTH), Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology (KTH), Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The altarica data-flow language in use: modeling of production availability of a multi-state system. Reliability Engineering & System Safety, 91 (7)","author":"Boiteau M.","year":"2006","unstructured":"M. Boiteau , Y. Dutuit , A. Rauzy , and J. P. Signoret . The altarica data-flow language in use: modeling of production availability of a multi-state system. Reliability Engineering & System Safety, 91 (7) , 2006 . M. Boiteau, Y. Dutuit, A. Rauzy, and J. P. Signoret. The altarica data-flow language in use: modeling of production availability of a multi-state system. Reliability Engineering & System Safety, 91 (7), 2006."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_9"},{"key":"e_1_3_2_1_3_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. W. Eisenecker . Generative Programming: Methods, Tools, and Applications . Addison-Wesley , Boston , 2000 . K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Boston, 2000."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"e_1_3_2_1_5_1","first-page":"157","article-title":"Vers la g\u00e9n\u00e9ration de mod\u00e8les de s\u00fbret\u00e9 de fonctionnement. Revue des Nouvelles Technologies de l'Information","volume":"2","author":"Dumas X.","year":"2008","unstructured":"X. Dumas , C. Pagetti , L. Sagaspe , P. Bieber , and P. Dhaussy . Vers la g\u00e9n\u00e9ration de mod\u00e8les de s\u00fbret\u00e9 de fonctionnement. Revue des Nouvelles Technologies de l'Information , RNTI- L-2 : 157 -- 172 , 2008 . X. Dumas, C. Pagetti, L. Sagaspe, P. Bieber, and P. Dhaussy. Vers la g\u00e9n\u00e9ration de mod\u00e8les de s\u00fbret\u00e9 de fonctionnement. Revue des Nouvelles Technologies de l'Information, RNTI-L-2: 157--172, 2008.","journal-title":"RNTI-"},{"key":"e_1_3_2_1_6_1","volume-title":"openarchitectureware user guide. Technical report, openArchitectureWare Community","author":"Efftinge S.","year":"2007","unstructured":"S. Efftinge , P. Friese , A. Haase , C. Kadura , B. Kolb , D. Moroff , K. Thoms , and M. Voelter . openarchitectureware user guide. Technical report, openArchitectureWare Community , 2007 . S. Efftinge, P. Friese, A. Haase, C. Kadura, B. Kolb, D. Moroff, K. Thoms, and M. Voelter. openarchitectureware user guide. Technical report, openArchitectureWare Community, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Y.\n      Papadopoulos\n     and \n      J. A.\n      McDermid\n    .\n  Hierarchically performed hazard origin and propagation studies\n  . In M. Felici K. Kanoun and A. Pasquini editors SAFECOMP volume \n  1698\n   of \n  Lecture Notes in Computer Science pages \n  139\n  --\n  152\n  . \n  Springer 1999\n  .   Y. Papadopoulos and J. A. McDermid. Hierarchically performed hazard origin and propagation studies. In M. Felici K. Kanoun and A. Pasquini editors SAFECOMP volume 1698 of Lecture Notes in Computer Science pages 139--152. Springer 1999.","DOI":"10.1007\/3-540-48249-0_13"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(00)00076-4"},{"key":"e_1_3_2_1_11_1","volume-title":"Cesar project","author":"Partners C. P.","year":"2010","unstructured":"C. P. Partners . Cesar project , 2010 . URL http:\/\/www.cesarproject.eu. C. P. Partners. Cesar project, 2010. URL http:\/\/www.cesarproject.eu."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2006.02.001"},{"key":"e_1_3_2_1_13_1","volume-title":"KTH","author":"Shi J.","year":"2007","unstructured":"ngren}safety.plugin.jianlin J. Shi , D. Chen , and M. T\u00f6rngren . Case studies on integrating simulink, uml and safety analysis through model transformations. Technical report , KTH , Mechatronics Lab , 2007 . ngren}safety.plugin.jianlinJ. Shi, D. Chen, and M. T\u00f6rngren. Case studies on integrating simulink, uml and safety analysis through model transformations. Technical report, KTH, Mechatronics Lab, 2007."},{"key":"e_1_3_2_1_14_1","first-page":"137","volume-title":"Software Engineering Environments, International Workshop on Environments Proceedings, number 467 in Lecture Notes in Computer Science","author":"Wasserman A. I.","year":"1989","unstructured":"A. I. Wasserman . Tool integration in software engineering environments . In F. Long, editor, Software Engineering Environments, International Workshop on Environments Proceedings, number 467 in Lecture Notes in Computer Science , pages 137 -- 149 . Springer-Verlag , September 1989 . A. I. Wasserman. Tool integration in software engineering environments. In F. Long, editor, Software Engineering Environments, International Workshop on Environments Proceedings, number 467 in Lecture Notes in Computer Science, pages 137--149. Springer-Verlag, September 1989."}],"event":{"name":"LCTES '10: ACM SIGPLAN\/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems","location":"Stockholm Sweden","acronym":"LCTES '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems","SIGAI ACM Special Interest Group on Artificial Intelligence","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the ACM SIGPLAN\/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755888.1755907","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1755888.1755907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:45:34Z","timestamp":1750236334000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755888.1755907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,13]]},"references-count":14,"alternative-id":["10.1145\/1755888.1755907","10.1145\/1755888"],"URL":"https:\/\/doi.org\/10.1145\/1755888.1755907","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1755951.1755907","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,4,13]]},"assertion":[{"value":"2010-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}