{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:02:38Z","timestamp":1777946558981,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Federal Ministry of Economic Affairs and Climate Action","award":["13IK001ZE"],"award-info":[{"award-number":["13IK001ZE"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550356.3561601","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"511-518","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Case study on automated and continuous reliability assessment of software-defined manufacturing based on digital twins"],"prefix":"10.1145","author":[{"given":"Philipp","family":"Grimmeisen","sequence":"first","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Wortmann","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrey","family":"Morozov","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPS.2015.7245001"},{"key":"e_1_3_2_1_2_1","unstructured":"Adrian Beer Todor Georgiev Florian Leitner-Fischer and Stefan Leue. 2013. Model-based quantitative safety analysis of Matlab Simulink\/Stateflow models. In Model-Based Development of Embedded Systems. 60--69.  Adrian Beer Todor Georgiev Florian Leitner-Fischer and Stefan Leue. 2013. Model-based quantitative safety analysis of Matlab Simulink\/Stateflow models. In Model-Based Development of Embedded Systems. 60--69."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-49435-3_6"},{"key":"e_1_3_2_1_4_1","volume-title":"Assessment of Power System Reliability","author":"\u010cepin Marko","unstructured":"Marko \u010cepin . 2011. Reliability block diagram . In Assessment of Power System Reliability . Springer , 119--123. Marko \u010cepin. 2011. Reliability block diagram. In Assessment of Power System Reliability. Springer, 119--123."},{"key":"e_1_3_2_1_5_1","volume-title":"JE Jacobs Sverdrup","author":"Clemens PL","year":"2002","unstructured":"PL Clemens . 2002 . Event tree analysis . JE Jacobs Sverdrup , (2002). PL Clemens. 2002. Event tree analysis. JE Jacobs Sverdrup, (2002)."},{"key":"e_1_3_2_1_6_1","volume-title":"Verification and validation in systems engineering: assessing UML\/SysML design models","author":"Debbabi Mourad","unstructured":"Mourad Debbabi , Fawzi Hassaine , Yosr Jarraya , Andrei Soeanu , and Luay Alawneh . 2010. Verification and validation in systems engineering: assessing UML\/SysML design models . Springer Science & Business Media . Mourad Debbabi, Fawzi Hassaine, Yosr Jarraya, Andrei Soeanu, and Luay Alawneh. 2010. Verification and validation in systems engineering: assessing UML\/SysML design models. Springer Science & Business Media."},{"key":"e_1_3_2_1_7_1","volume-title":"Nonelectronic parts reliability data","author":"Denson William","year":"1995","unstructured":"William Denson , Greg Chandler , William Crowell , Amy Clark , and Paul Jaworski . 1994. Nonelectronic parts reliability data 1995 . Technical Report. RELIABILITY ANALYSIS CENTER GRIFFISS AFB NY. William Denson, Greg Chandler, William Crowell, Amy Clark, and Paul Jaworski. 1994. Nonelectronic parts reliability data 1995. Technical Report. RELIABILITY ANALYSIS CENTER GRIFFISS AFB NY."},{"key":"e_1_3_2_1_8_1","volume-title":"2009 Ninth International Conference on Quality Software. IEEE, 185--190","author":"Wang Geng","year":"2009","unstructured":"Yun-wei Dong, Geng Wang , and Hong-bing Zhao. 2009 . A model-based testing for aadl model of embedded software . In 2009 Ninth International Conference on Quality Software. IEEE, 185--190 . Yun-wei Dong, Geng Wang, and Hong-bing Zhao. 2009. A model-based testing for aadl model of embedded software. In 2009 Ninth International Conference on Quality Software. IEEE, 185--190."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2021.3130755"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092893.3092900"},{"key":"e_1_3_2_1_11_1","first-page":"1","article-title":"The applicability of markov analysis methods to reliability, maintainability, and safety","volume":"2","author":"Fuqua Norman B","year":"2003","unstructured":"Norman B Fuqua . 2003 . The applicability of markov analysis methods to reliability, maintainability, and safety . Selected Topic in Assurance Related Technologies (START) 2 , 10 (2003), 1 -- 8 . Norman B Fuqua. 2003. The applicability of markov analysis methods to reliability, maintainability, and safety. Selected Topic in Assurance Related Technologies (START) 2, 10 (2003), 1--8.","journal-title":"Selected Topic in Assurance Related Technologies (START)"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1115\/IMECE2021-69998"},{"key":"e_1_3_2_1_13_1","unstructured":"Charles Miller Grinstead and James Laurie Snell. 1997. Introduction to probability. American Mathematical Soc.  Charles Miller Grinstead and James Laurie Snell. 1997. Introduction to probability. American Mathematical Soc."},{"key":"e_1_3_2_1_14_1","volume-title":"FIDES guide","author":"FIDES Group","year":"2009","unstructured":"FIDES Group . 2010. FIDES guide 2009 , Reliability Methodology for Electronic Systems . FIDES Group. 2010. FIDES guide 2009, Reliability Methodology for Electronic Systems."},{"key":"e_1_3_2_1_15_1","volume-title":"Fifteenth European Systems Engineering Conference","volume":"9","author":"Matthew","unstructured":"Matthew Hause et al. 2006. The SysML modelling language . In Fifteenth European Systems Engineering Conference , Vol. 9 . 1--12. Matthew Hause et al. 2006. The SysML modelling language. In Fifteenth European Systems Engineering Conference, Vol. 9. 1--12."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2014.6899347"},{"key":"e_1_3_2_1_17_1","unstructured":"SE INCOSE. 2007. Vision 2020 (INCOSE-TP-2004-004-02).  SE INCOSE. 2007. Vision 2020 (INCOSE-TP-2004-004-02)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.22"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11563228_10"},{"key":"e_1_3_2_1_20_1","unstructured":"Anjali Joshi Steve Vestal and Pam Binns. 2007. Automatic generation of static fault trees from AADL models. (2007).  Anjali Joshi Steve Vestal and Pam Binns. 2007. Automatic generation of static fault trees from AADL models. (2007)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410941"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.474"},{"key":"e_1_3_2_1_23_1","volume-title":"VIRTUAL REPRESENTATION OF PHYSICAL OBJECTS FOR SOFTWARE DEFINED MANUFACTURING. International Conference on Production Research","author":"Lechler Armin","year":"2017","unstructured":"Armin Lechler , Oliver Riedel , and Daniel Coupek . 2017 . VIRTUAL REPRESENTATION OF PHYSICAL OBJECTS FOR SOFTWARE DEFINED MANUFACTURING. International Conference on Production Research (2017). Armin Lechler, Oliver Riedel, and Daniel Coupek. 2017. VIRTUAL REPRESENTATION OF PHYSICAL OBJECTS FOR SOFTWARE DEFINED MANUFACTURING. International Conference on Production Research (2017)."},{"key":"e_1_3_2_1_24_1","volume-title":"2019 Twelfth International Conference \"Management of large-scale system development\" (MLSD). IEEE, 1--4.","year":"2019","unstructured":"Makarov, Frolov, Parshina, and Ushakova. 2019 . The design concept of digital twin . In 2019 Twelfth International Conference \"Management of large-scale system development\" (MLSD). IEEE, 1--4. Makarov, Frolov, Parshina, and Ushakova. 2019. The design concept of digital twin. In 2019 Twelfth International Conference \"Management of large-scale system development\" (MLSD). IEEE, 1--4."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2014.6878163"},{"key":"e_1_3_2_1_26_1","unstructured":"Object Management Group (OMG). 2021. OMG Systems Modeling Language (SysML) Version 2.0. See also URL https:\/\/github.com\/Systems-Modeling\/SysML-v2-Release..  Object Management Group (OMG). 2021. OMG Systems Modeling Language (SysML) Version 2.0. See also URL https:\/\/github.com\/Systems-Modeling\/SysML-v2-Release.."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.10.064"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941393"},{"key":"e_1_3_2_1_29_1","volume-title":"Modeling Capabilities of Digital Twin Platforms-Old Wine in New Bottles?","author":"Pfeiffer Jerome","year":"2022","unstructured":"Jerome Pfeiffer , Daniel Lehner , Andreas Wortmann , and Manuel Wimmer . 2022. Modeling Capabilities of Digital Twin Platforms-Old Wine in New Bottles? ( 2022 ). Jerome Pfeiffer, Daniel Lehner, Andreas Wortmann, and Manuel Wimmer. 2022. Modeling Capabilities of Digital Twin Platforms-Old Wine in New Bottles? (2022)."},{"key":"e_1_3_2_1_30_1","unstructured":"Antoine Rauzy. 2020. Probabilistic Safety Analysis with XFTA.  Antoine Rauzy. 2020. Probabilistic Safety Analysis with XFTA."},{"key":"e_1_3_2_1_31_1","volume-title":"Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer science review 15","author":"Ruijters Enno","year":"2015","unstructured":"Enno Ruijters and Mari\u00eblle Stoelinga . 2015. Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer science review 15 ( 2015 ), 29--62. Enno Ruijters and Mari\u00eblle Stoelinga. 2015. Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer science review 15 (2015), 29--62."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2007.46"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eng.2019.01.014"},{"key":"e_1_3_2_1_35_1","volume-title":"Hybrid causal logic methodology for risk assessment","author":"Wang Chengdong","unstructured":"Chengdong Wang . 2007. Hybrid causal logic methodology for risk assessment . University of Maryland , College Park . Chengdong Wang. 2007. Hybrid causal logic methodology for risk assessment. University of Maryland, College Park."},{"key":"e_1_3_2_1_36_1","first-page":"27","article-title":"Reshaping the Landscape of the Future","volume":"54","author":"Xu Lei","year":"2021","unstructured":"Lei Xu , Lin Chen , Zhimin Gao , Hiram Moya , and Weidong Shi . 2021 . Reshaping the Landscape of the Future : Software-Defined Manufacturing. Computer 54 , 7 (2021), 27 -- 36 . Lei Xu, Lin Chen, Zhimin Gao, Hiram Moya, and Weidong Shi. 2021. Reshaping the Landscape of the Future: Software-Defined Manufacturing. Computer 54, 7 (2021), 27--36.","journal-title":"Software-Defined Manufacturing. Computer"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00031"},{"key":"e_1_3_2_1_38_1","volume-title":"International Conference on Model-Driven Engineering and Software Development","volume":"2","author":"Yakymets Nataliya","year":"2013","unstructured":"Nataliya Yakymets , Hadi Jaber , and Agnes Lanusse . 2013 . Model-based system engineering for fault tree generation and analysis . In International Conference on Model-Driven Engineering and Software Development , Vol. 2 . SCITEPRESS, 210--214. Nataliya Yakymets, Hadi Jaber, and Agnes Lanusse. 2013. Model-based system engineering for fault tree generation and analysis. In International Conference on Model-Driven Engineering and Software Development, Vol. 2. SCITEPRESS, 210--214."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/CICN.2014.240"},{"key":"e_1_3_2_1_40_1","volume-title":"UML model to fault tree model transformation for dependability analysis. Ph. D. Dissertation","author":"Zhao Zhao","unstructured":"Zhao Zhao . 2014. UML model to fault tree model transformation for dependability analysis. Ph. D. Dissertation . Carleton University . Zhao Zhao. 2014. UML model to fault tree model transformation for dependability analysis. Ph. D. Dissertation. Carleton University."}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada","acronym":"MODELS '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"]},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561601","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3561601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:11Z","timestamp":1750182551000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561601"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":39,"alternative-id":["10.1145\/3550356.3561601","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3561601","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}