{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:42:44Z","timestamp":1761489764581,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":70,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,10]],"date-time":"2013-07-10T00:00:00Z","timestamp":1373414400000},"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":[[2013,7,10]]},"DOI":"10.1145\/2739011.2739028","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:09:20Z","timestamp":1440425360000},"page":"1-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Building a safety architecture pattern system"],"prefix":"10.1145","author":[{"given":"Christopher","family":"Preschern","sequence":"first","affiliation":[{"name":"Graz University of Technology"}]},{"given":"Nermin","family":"Kajtazovic","sequence":"additional","affiliation":[{"name":"Graz University of Technology"}]},{"given":"Christian","family":"Kreiner","sequence":"additional","affiliation":[{"name":"Graz University of Technology"}]}],"member":"320","published-online":{"date-parts":[[2015,7,10]]},"reference":[{"volume-title":"International Conference on Field Programmable Logic and Applications. IEEE, 559--562","author":"Alvarez","key":"e_1_3_2_1_1_1","unstructured":"Alvarez , Jacobo et al. (2005). Safe PLD-based programmable controllers . In: International Conference on Field Programmable Logic and Applications. IEEE, 559--562 . Alvarez, Jacobo et al. (2005). Safe PLD-based programmable controllers. In: International Conference on Field Programmable Logic and Applications. IEEE, 559--562."},{"key":"e_1_3_2_1_2_1","volume-title":"The Seventh International Conference on Software Engineering Advances (ICSEA). c, 228--237","author":"Antonino Pablo Oliveira","year":"2012","unstructured":"Antonino , Pablo Oliveira , Thorsten Keuler , and Pablo Antonino ( 2012 ). Towards an Approach to Represent Safety Patterns . In: The Seventh International Conference on Software Engineering Advances (ICSEA). c, 228--237 . Antonino, Pablo Oliveira, Thorsten Keuler, and Pablo Antonino (2012). Towards an Approach to Represent Safety Patterns. In: The Seventh International Conference on Software Engineering Advances (ICSEA). c, 228--237."},{"key":"e_1_3_2_1_4_1","volume-title":"EuroPLoP. Lero, Ireland, 7--11.","author":"Babar M. A.","year":"2007","unstructured":"Babar , M. A. ( 2007 ). Improving the Reuse of Pattern-Based Knowledge in Software Architecting . In: EuroPLoP. Lero, Ireland, 7--11. Babar, M. A. (2007). Improving the Reuse of Pattern-Based Knowledge in Software Architecting. In: EuroPLoP. Lero, Ireland, 7--11."},{"volume-title":"Frank et al. (1996). Pattern-Oriented Software Architecture: A System of Patterns","author":"Buschmann","key":"e_1_3_2_1_5_1","unstructured":"Buschmann , Frank et al. (1996). Pattern-Oriented Software Architecture: A System of Patterns . John Wiley & Sons . Buschmann, Frank et al. (1996). Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons."},{"key":"e_1_3_2_1_6_1","volume-title":"The Reliable Hybrid Pattern A Generalized Software Fault Tolerant Design Pattern. In: European Conference on Pattern Language of Programs (EuroPLoP), 1--9.","author":"Daniels Fonda","year":"1997","unstructured":"Daniels , Fonda , Kalhee Kim , and Mladen A Vouk ( 1997 ). The Reliable Hybrid Pattern A Generalized Software Fault Tolerant Design Pattern. In: European Conference on Pattern Language of Programs (EuroPLoP), 1--9. Daniels, Fonda, Kalhee Kim, and Mladen A Vouk (1997). The Reliable Hybrid Pattern A Generalized Software Fault Tolerant Design Pattern. In: European Conference on Pattern Language of Programs (EuroPLoP), 1--9."},{"volume-title":"4th International Conference on Software Quality, Process Automation in Software Development. Springer","author":"Desnos","key":"e_1_3_2_1_7_1","unstructured":"Desnos , Nicolas et al. (2012). Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems . In: 4th International Conference on Software Quality, Process Automation in Software Development. Springer , Vienna, Austria, 193--204. Desnos, Nicolas et al. (2012). Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems. In: 4th International Conference on Software Quality, Process Automation in Software Development. Springer, Vienna, Austria, 193--204."},{"key":"e_1_3_2_1_8_1","first-page":"862","volume":"70","author":"Douglass Bruce Powel","year":"1998","unstructured":"Douglass , Bruce Powel ( 1998 ). Safety-Critical Systems Design. Electronic Engineering 70 , 862 . Douglass, Bruce Powel (1998). Safety-Critical Systems Design. Electronic Engineering 70, 862.","journal-title":"Safety-Critical Systems Design. Electronic Engineering"},{"key":"e_1_3_2_1_9_1","volume-title":"Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Pearson","author":"Douglass Bruce Powel","year":"2002","unstructured":"Douglass , Bruce Powel ( 2002 ). Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Pearson . Douglass, Bruce Powel (2002). Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Pearson."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1941675"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5120\/2259-2900"},{"key":"e_1_3_2_1_12_1","volume-title":"Transformational Patterns for the Improvement of Safety Properties in Architectural Specification. In: Proceedings of The Second Nordic Conference on Pattern Languages of Programs (VikingPLoP).","author":"Grunske Lars","year":"2003","unstructured":"Grunske , Lars ( 2003 ). Transformational Patterns for the Improvement of Safety Properties in Architectural Specification. In: Proceedings of The Second Nordic Conference on Pattern Languages of Programs (VikingPLoP). Grunske, Lars (2003). Transformational Patterns for the Improvement of Safety Properties in Architectural Specification. In: Proceedings of The Second Nordic Conference on Pattern Languages of Programs (VikingPLoP)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2494-8_11"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1557393"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371736.2371740"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2493288.2493311"},{"key":"e_1_3_2_1_17_1","volume-title":"BsC thesis","author":"Olivera Andre Rodrigues","year":"2012","unstructured":"Olivera , Andre Rodrigues ( 2012 ). Taim: A Safety Pattern Repository , BsC thesis . Federal University of Rio Grande do sul. Olivera, Andre Rodrigues (2012). Taim: A Safety Pattern Repository, BsC thesis. Federal University of Rio Grande do sul."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/501612"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739011.2739034"},{"key":"e_1_3_2_1_20_1","volume-title":"Nordic Conference on Pattern Languages of Programs (VikingPLoP).","author":"Rauham\u00e4ki Jari","year":"2012","unstructured":"Rauham\u00e4ki , Jari , Timo Veps\u00e4l\u00e4inen , and Seppo Kuikka ( 2012 ). Architectural patterns for functional safety . In: Nordic Conference on Pattern Languages of Programs (VikingPLoP). Rauham\u00e4ki, Jari, Timo Veps\u00e4l\u00e4inen, and Seppo Kuikka (2012). Architectural patterns for functional safety. In: Nordic Conference on Pattern Languages of Programs (VikingPLoP)."},{"key":"e_1_3_2_1_21_1","volume-title":"Nordic Conference on Pattern Languages of Programs (VikingPLoP).","author":"Rauham\u00e4ki Jari","year":"2013","unstructured":"Rauham\u00e4ki , Jari , Timo Veps\u00e4l\u00e4inen , and Seppo Kuikka ( 2013 ). Patterns for safety and control system cooperation . In: Nordic Conference on Pattern Languages of Programs (VikingPLoP). Rauham\u00e4ki, Jari, Timo Veps\u00e4l\u00e4inen, and Seppo Kuikka (2013). Patterns for safety and control system cooperation. In: Nordic Conference on Pattern Languages of Programs (VikingPLoP)."},{"key":"e_1_3_2_1_22_1","volume-title":"EuroPLoP.","author":"Saridakis Titos","year":"2002","unstructured":"Saridakis , Titos ( 2002 ). A System of Patterns for Fault Tolerance . In: EuroPLoP. Saridakis, Titos (2002). A System of Patterns for Fault Tolerance. In: EuroPLoP."},{"key":"e_1_3_2_1_23_1","first-page":"125","article-title":"A Catalog of Architectural Design Patterns for Safety-Critical Real-Time Systems","volume":"3","author":"Sarma U V R","year":"2013","unstructured":"Sarma , U V R , Sahith Rampelli , and P Premchand ( 2013 ). A Catalog of Architectural Design Patterns for Safety-Critical Real-Time Systems . International Journal of Engineering Research and Applications 3 , 1, 125 -- 131 . Sarma, U V R, Sahith Rampelli, and P Premchand (2013). A Catalog of Architectural Design Patterns for Safety-Critical Real-Time Systems. International Journal of Engineering Research and Applications 3, 1, 125--131.","journal-title":"International Journal of Engineering Research and Applications"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/945753"},{"volume-title":"International Conference on Field Programmable Logic and Applications. IEEE, 559--562","author":"Alvarez","key":"e_1_3_2_1_26_1","unstructured":"Alvarez , Jacobo et al. (2005). Safe PLD-based programmable controllers . In: International Conference on Field Programmable Logic and Applications. IEEE, 559--562 . Alvarez, Jacobo et al. (2005). Safe PLD-based programmable controllers. In: International Conference on Field Programmable Logic and Applications. IEEE, 559--562."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231894"},{"key":"e_1_3_2_1_29_1","volume-title":"EuroPLoP. Lero, Ireland, 7--11.","author":"Babar M. A.","year":"2007","unstructured":"Babar , M. A. ( 2007 ). Improving the Reuse of Pattern-Based Knowledge in Software Architecting . In: EuroPLoP. Lero, Ireland, 7--11. Babar, M. A. (2007). Improving the Reuse of Pattern-Based Knowledge in Software Architecting. In: EuroPLoP. Lero, Ireland, 7--11."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA413701"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"volume-title":"3rd International Conference on Testbeds and Research Infrastructure for the Development of Networks and Communities (TridentCom)","author":"Bapat","key":"e_1_3_2_1_32_1","unstructured":"Bapat , Sandip et al. (2007). Chowkidar: A Health Monitor for Wireless Sensor Network Testbeds . In: 3rd International Conference on Testbeds and Research Infrastructure for the Development of Networks and Communities (TridentCom) . IEEE. Bapat, Sandip et al. (2007). Chowkidar: A Health Monitor for Wireless Sensor Network Testbeds. In: 3rd International Conference on Testbeds and Research Infrastructure for the Development of Networks and Communities (TridentCom). IEEE."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/NESEA.2011.6144948"},{"key":"e_1_3_2_1_34_1","volume-title":"Method and arrangement for controlling the drive unit of a vehicle","author":"Bederna F.","year":"1999","unstructured":"Bederna , F. and T. Zeller ( 1999 ). Method and arrangement for controlling the drive unit of a vehicle . Bederna, F. and T. Zeller (1999). Method and arrangement for controlling the drive unit of a vehicle."},{"key":"e_1_3_2_1_35_1","volume-title":"1st GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12)","author":"Borchert Christoph","year":"2012","unstructured":"Borchert , Christoph , Horst Schirmeier , and Olaf Spinczyk ( 2012 ). Protecting the Dynamic Dispatch in C ++ by Dependability Aspects . In: 1st GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12) . Borchert, Christoph, Horst Schirmeier, and Olaf Spinczyk (2012). Protecting the Dynamic Dispatch in C ++ by Dependability Aspects. In: 1st GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12)."},{"volume-title":"Proceedings of the 2nd international conference on Circuits, Systems, Communications & Computers, 220--228. ISBN: 9781618040565.","author":"B\u00f6rcs\u00f6k","key":"e_1_3_2_1_36_1","unstructured":"B\u00f6rcs\u00f6k , J et al. (2011). High-Availability Controller Concept for Steering Systems: The Degradable Safety Controller . In: Proceedings of the 2nd international conference on Circuits, Systems, Communications & Computers, 220--228. ISBN: 9781618040565. B\u00f6rcs\u00f6k, J et al. (2011). High-Availability Controller Concept for Steering Systems: The Degradable Safety Controller. In: Proceedings of the 2nd international conference on Circuits, Systems, Communications & Computers, 220--228. ISBN: 9781618040565."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.44387"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Carr D. W. et al. (2005). An Open On-Board CBTC Controller Based on N-Version Programming. In: International Conference on Computational Intelligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and Internet Commerce (CIMCA-IAWTIC'06). Vol. 1. IEEE 834--839. Carr D. W. et al. (2005). An Open On-Board CBTC Controller Based on N-Version Programming. In: International Conference on Computational Intelligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and Internet Commerce (CIMCA-IAWTIC'06). Vol. 1. IEEE 834--839.","DOI":"10.1109\/CIMCA.2005.1631368"},{"key":"e_1_3_2_1_39_1","volume-title":"Use of the HLA in a Real-Time Multi-Vehicle Simulator","author":"Chao H. C., T. W.","year":"2004","unstructured":"Chao , H. C., T. W. Pearce , and M. J. D. Hayes ( 2004 ). Use of the HLA in a Real-Time Multi-Vehicle Simulator . In : The Canadian Society of Mechanical Engineering Forum , 1--10. Chao, H. C., T. W. Pearce, and M. J. D. Hayes (2004). Use of the HLA in a Real-Time Multi-Vehicle Simulator. In: The Canadian Society of Mechanical Engineering Forum, 1--10."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.14"},{"key":"e_1_3_2_1_41_1","volume-title":"Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Pearson","author":"Douglass Bruce Powel","year":"2002","unstructured":"Douglass , Bruce Powel ( 2002 ). Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Pearson . Douglass, Bruce Powel (2002). Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Pearson."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1941675"},{"volume-title":"International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE). IEEE, 723--726","author":"Durmu\u00fa Mustafa","key":"e_1_3_2_1_43_1","unstructured":"Durmu\u00fa , Mustafa Se\u00e7kin et al. (2011). A New Voting Strategy in Diverse Programming for Railway Interlocking Systems . In: International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE). IEEE, 723--726 . Durmu\u00fa, Mustafa Se\u00e7kin et al. (2011). A New Voting Strategy in Diverse Programming for Railway Interlocking Systems. In: International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE). IEEE, 723--726."},{"key":"e_1_3_2_1_44_1","volume-title":"Standardisiertes E-Gas-Ueberwachungskonzept fuer Motorsteuerungen von Otto- und Dieselmotoren","author":"Arbeitskreis","year":"2006","unstructured":"EGAS, Arbeitskreis ( 2006 ). Standardisiertes E-Gas-Ueberwachungskonzept fuer Motorsteuerungen von Otto- und Dieselmotoren . EGAS, Arbeitskreis (2006). Standardisiertes E-Gas-Ueberwachungskonzept fuer Motorsteuerungen von Otto- und Dieselmotoren."},{"key":"e_1_3_2_1_46_1","volume-title":"8th European Particle Accelerator Conference, 2445--2447","author":"Fernandez A Vergara","year":"2002","unstructured":"Fernandez , A Vergara and R. Denz ( 2002 ). Reliability Analysis for the quench detection in the LHC machine . In: 8th European Particle Accelerator Conference, 2445--2447 . Fernandez, A Vergara and R. Denz (2002). Reliability Analysis for the quench detection in the LHC machine. In: 8th European Particle Accelerator Conference, 2445--2447."},{"key":"e_1_3_2_1_47_1","volume-title":"21st Annual Conference on IEEE Industrial Electronics.","volume":"2","author":"Ghosh A. K.","unstructured":"Ghosh , A. K. et al. (1995). A distributed safety-critical system for real-time train control . In: 21st Annual Conference on IEEE Industrial Electronics. Vol. 2 . IEEE, 760--767. Ghosh, A. K. et al. (1995). A distributed safety-critical system for real-time train control. In: 21st Annual Conference on IEEE Industrial Electronics. Vol. 2. IEEE, 760--767."},{"key":"e_1_3_2_1_49_1","volume-title":"Transformational Patterns for the Improvement of Safety Properties in Architectural Specification. In: Proceedings of The Second Nordic Conference on Pattern Languages of Programs (VikingPLoP).","author":"Grunske Lars","year":"2003","unstructured":"Grunske , Lars ( 2003 ). Transformational Patterns for the Improvement of Safety Properties in Architectural Specification. In: Proceedings of The Second Nordic Conference on Pattern Languages of Programs (VikingPLoP). Grunske, Lars (2003). Transformational Patterns for the Improvement of Safety Properties in Architectural Specification. In: Proceedings of The Second Nordic Conference on Pattern Languages of Programs (VikingPLoP)."},{"key":"e_1_3_2_1_50_1","volume-title":"2nd IARP IEEE\/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments","author":"Guiochet J.","year":"2002","unstructured":"Guiochet , J. and A. Vilchis ( 2002 ). Safety Analysis of a Medical Robot for Tele-echography . In: 2nd IARP IEEE\/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments . IEEE , 217--227. Guiochet, J. and A. Vilchis (2002). Safety Analysis of a Medical Robot for Tele-echography. In: 2nd IARP IEEE\/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments. IEEE, 217--227."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/1557393"},{"key":"e_1_3_2_1_52_1","volume-title":"Functional Safety of Electrical\/ Electronic\/ Programmable Electronic Safety Related Systems.","author":"International Electrotechnical Commission","year":"2010","unstructured":"International Electrotechnical Commission ( 2010 ). IEC 61508 , Functional Safety of Electrical\/ Electronic\/ Programmable Electronic Safety Related Systems. International Electrotechnical Commission (2010). IEC 61508, Functional Safety of Electrical\/ Electronic\/ Programmable Electronic Safety Related Systems."},{"key":"e_1_3_2_1_53_1","volume-title":"26th International Congress of the Aeronautical Sciences, 1--9.","author":"Jacazio G, P","year":"2008","unstructured":"Jacazio , G, P Serena Guinzio , and M Sorli ( 2008 ). A dual-duplex electrohydraulic system for the fly-by-wire control of a helicopter main rotor . In: 26th International Congress of the Aeronautical Sciences, 1--9. Jacazio, G, P Serena Guinzio, and M Sorli (2008). A dual-duplex electrohydraulic system for the fly-by-wire control of a helicopter main rotor. In: 26th International Congress of the Aeronautical Sciences, 1--9."},{"key":"e_1_3_2_1_54_1","volume-title":"ROAFTS: A Middleware Architecture for Real-time Object-oriented Adaptive Fault Tolerance Support. In: 3rd International High-Assurance Systems Engineering Symposium. IEEE.","author":"Kim K H","year":"1998","unstructured":"Kim , K H Kane ( 1998 ). ROAFTS: A Middleware Architecture for Real-time Object-oriented Adaptive Fault Tolerance Support. In: 3rd International High-Assurance Systems Engineering Symposium. IEEE. Kim, K H Kane (1998). ROAFTS: A Middleware Architecture for Real-time Object-oriented Adaptive Fault Tolerance Support. In: 3rd International High-Assurance Systems Engineering Symposium. IEEE."},{"key":"e_1_3_2_1_55_1","first-page":"1","article-title":"Safety Control Solutions Protecting Onsite Safety","volume":"56","author":"Kohanawa Akihiko","year":"2010","unstructured":"Kohanawa , Akihiko , Masami Hasegawa , and Shigeharu Kanamori ( 2010 ). Safety Control Solutions Protecting Onsite Safety . Fuji Electric Group 56 , 1 . Kohanawa, Akihiko, Masami Hasegawa, and Shigeharu Kanamori (2010). Safety Control Solutions Protecting Onsite Safety. Fuji Electric Group 56, 1.","journal-title":"Fuji Electric Group"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371736.2371740"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1947940.1948069"},{"volume-title":"19th International Conference on Field Programmable Logic and Applications (FPL). IEEE.","author":"Kyriakoulakos Konstantinos","key":"e_1_3_2_1_58_1","unstructured":"Kyriakoulakos , Konstantinos and Dionisios N . Pnevmatikatos (2009). A novel SRAM-based FPGA architecture for efficient TMR fault tolerance support . In: 19th International Conference on Field Programmable Logic and Applications (FPL). IEEE. Kyriakoulakos, Konstantinos and Dionisios N. Pnevmatikatos (2009). A novel SRAM-based FPGA architecture for efficient TMR fault tolerance support. In: 19th International Conference on Field Programmable Logic and Applications (FPL). IEEE."},{"volume-title":"Software Fault Tolerance","author":"Laprie J. C.","key":"e_1_3_2_1_59_1","unstructured":"Laprie , J. C. et al. (1995). Architectural Issues in Software Fault Tolerance . In: Software Fault Tolerance . Wiley , 47--80. Laprie, J. C. et al. (1995). Architectural Issues in Software Fault Tolerance. In: Software Fault Tolerance. Wiley, 47--80."},{"key":"e_1_3_2_1_60_1","volume-title":"BUCS: Patterns and Robustness A Navigation System Case Study","author":"Ljosland Ingvar","year":"2006","unstructured":"Ljosland , Ingvar ( 2006 ). BUCS: Patterns and Robustness A Navigation System Case Study . Ljosland, Ingvar (2006). BUCS: Patterns and Robustness A Navigation System Case Study."},{"key":"e_1_3_2_1_61_1","volume-title":"DTIC Science & Technology, 102--105.","author":"Michael J Bret","year":"2006","unstructured":"Michael , J Bret , Anil Nerode , and Duminda Wijesekera ( 2006 ). On the Provision of Safety Assurance via Safety Kernels for Modern Weapon Systems . In: DTIC Science & Technology, 102--105. Michael, J Bret, Anil Nerode, and Duminda Wijesekera (2006). On the Provision of Safety Assurance via Safety Kernels for Modern Weapon Systems. In: DTIC Science & Technology, 102--105."},{"key":"e_1_3_2_1_62_1","volume-title":"Study of Machine Safety Control. JTEKT Engineering Journal 1004E, 119--124","author":"Miyawaki N.","year":"2008","unstructured":"Miyawaki , N. ( 2008 ). Study of Machine Safety Control. JTEKT Engineering Journal 1004E, 119--124 . Miyawaki, N. (2008). Study of Machine Safety Control. JTEKT Engineering Journal 1004E, 119--124."},{"key":"e_1_3_2_1_63_1","volume-title":"DC Motor Speed Controller Software","author":"Mutlu Ahmet","year":"2004","unstructured":"Mutlu , Ahmet ( 2004 ). DC Motor Speed Controller Software . Mutlu, Ahmet (2004). DC Motor Speed Controller Software."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.5555\/1802274.1802334"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20040499"},{"key":"e_1_3_2_1_66_1","volume-title":"PISCAS: Pisciculture Automation System Product Line. MA thesis","author":"Preschern Christopher","year":"2011","unstructured":"Preschern , Christopher ( 2011 ). PISCAS: Pisciculture Automation System Product Line. MA thesis . Graz University of Technology . Preschern, Christopher (2011). PISCAS: Pisciculture Automation System Product Line. MA thesis. Graz University of Technology."},{"key":"e_1_3_2_1_67_1","volume-title":"VikingPLoP.","author":"Preschern Christopher","year":"2013","unstructured":"Preschern , Christopher , Nermin Kajtazovic , and Christian Kreiner ( 2013 ). Catalog of Safety Tactics in the light of the IEC 61508 Safety Lifecycle . In: VikingPLoP. Preschern, Christopher, Nermin Kajtazovic, and Christian Kreiner (2013). Catalog of Safety Tactics in the light of the IEC 61508 Safety Lifecycle. In: VikingPLoP."},{"key":"e_1_3_2_1_68_1","first-page":"495","article-title":"Challenges in Building Fault -Tolerant Flight Control System for a Civil Aircraft","volume":"35","author":"Sghairi M","year":"2008","unstructured":"Sghairi , M ( 2008 ). Challenges in Building Fault -Tolerant Flight Control System for a Civil Aircraft . IAENG International Journal of Computer Science 35 , 4, 495 -- 499 . Sghairi, M et al. (2008). Challenges in Building Fault -Tolerant Flight Control System for a Civil Aircraft. IAENG International Journal of Computer Science 35, 4, 495--499.","journal-title":"IAENG International Journal of Computer Science"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355368"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2007.20"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641231"},{"volume-title":"Foundations of Intrusion Tolerant Systems (OASIS'03). June","author":"Wang","key":"e_1_3_2_1_74_1","unstructured":"Wang , Feiyi et al. (2001). SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services . In: Foundations of Intrusion Tolerant Systems (OASIS'03). June . IEEE , 5--6. Wang, Feiyi et al. (2001). SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services. In: Foundations of Intrusion Tolerant Systems (OASIS'03). June. IEEE, 5--6."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISME.2010.200"},{"key":"e_1_3_2_1_76_1","volume-title":"4thWorking IEEE \/ IFIP Conference on Software Architecture (WICSA). IEEE.","author":"Zhu Liming","year":"2004","unstructured":"Zhu , Liming , Muhammad Ali Babar , and Ross Jeffery ( 2004 ). Mining Patterns to Support Software Architecture Evaluation . In: 4thWorking IEEE \/ IFIP Conference on Software Architecture (WICSA). IEEE. Zhu, Liming, Muhammad Ali Babar, and Ross Jeffery (2004). Mining Patterns to Support Software Architecture Evaluation. In: 4thWorking IEEE \/ IFIP Conference on Software Architecture (WICSA). IEEE."},{"key":"e_1_3_2_1_77_1","volume-title":"Prototypische Implementierung und Evaluation von Sicherheitsmustern in eingebetteten Systemen. MA thesis. Technische Universit\u00e4t Kaiserslautern","author":"Zimmer Marcel","year":"2009","unstructured":"Zimmer , Marcel ( 2009 ). Prototypische Implementierung und Evaluation von Sicherheitsmustern in eingebetteten Systemen. MA thesis. Technische Universit\u00e4t Kaiserslautern . Zimmer, Marcel (2009). Prototypische Implementierung und Evaluation von Sicherheitsmustern in eingebetteten Systemen. MA thesis. Technische Universit\u00e4t Kaiserslautern."}],"event":{"name":"EuroPLoP 2013: 18th European Conference on Pattern Languages of Programs.","acronym":"EuroPLoP 2013","location":"Irsee Germany"},"container-title":["Proceedings of the 18th European Conference on Pattern Languages of Program"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2739011.2739028","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2739011.2739028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:23Z","timestamp":1750227383000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2739011.2739028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,10]]},"references-count":70,"alternative-id":["10.1145\/2739011.2739028","10.1145\/2739011"],"URL":"https:\/\/doi.org\/10.1145\/2739011.2739028","relation":{},"subject":[],"published":{"date-parts":[[2013,7,10]]},"assertion":[{"value":"2015-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}