{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T07:05:10Z","timestamp":1742799910522},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540788300"},{"type":"electronic","value":"9783540788317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-78831-7_42","type":"book-chapter","created":{"date-parts":[[2009,7,14]],"date-time":"2009-07-14T22:48:16Z","timestamp":1247611696000},"page":"735-747","source":"Crossref","is-referenced-by-count":4,"title":["Reliability, Maintainability, and Safety"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Morel","sequence":"first","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"P\u00e9tin","sequence":"additional","affiliation":[]},{"given":"Timothy L.","family":"Johnson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"42_CR1_42","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1016\/j.conengprac.2006.07.005","volume":"15","author":"TL Johnson","year":"2007","unstructured":"T.L.\u00a0Johnson: Improving automation software dependability: a role for formal methods?, Control Eng. Pract. 15(11), 1403\u20131415 (2007)","journal-title":"Control Eng. Pract."},{"key":"42_CR2_42","volume-title":"Handbook of Manufacturing Automation and Integration","author":"J Stark","year":"1989","unstructured":"J.\u00a0Stark: Handbook of Manufacturing Automation and Integration (Auerbach, Boston 1989)"},{"key":"42_CR3_42","doi-asserted-by":"publisher","DOI":"10.1002\/9780470172452","volume-title":"Handbook of Design, Manufacturing and Automation","author":"RS Dorf","year":"1994","unstructured":"R.S.\u00a0Dorf, A.\u00a0Kusiak: Handbook of Design, Manufacturing and Automation (Wiley, New York 1994)"},{"issue":"2","key":"42_CR4_42","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S1367-5788(02)00026-3","volume":"26","author":"A Ollero","year":"2002","unstructured":"A.\u00a0Ollero, G.\u00a0Morel, P.\u00a0Bernus, S.Y.\u00a0Nof, J.\u00a0Sasiadek, S.\u00a0Boverie, H.\u00a0Erbe, R.\u00a0Goodall: From MEMS to enterprise systems, IFAC Annu. Rev. Control 26(2), 151\u2013162 (2002)","journal-title":"IFAC Annu. Rev. Control"},{"issue":"1","key":"42_CR5_42","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.arcontrol.2006.01.005","volume":"30","author":"SY Nof","year":"2006","unstructured":"S.Y.\u00a0Nof, G.\u00a0Morel, L.\u00a0Monostori, A.\u00a0Molina, F.\u00a0Filip: From plant and logistics control to multi-enterprise collaboration, IFAC Annu. Rev. Control 30(1), 55\u201368 (2006)","journal-title":"IFAC Annu. Rev. Control"},{"issue":"11","key":"42_CR6_42","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1016\/j.conengprac.2007.05.005","volume":"15","author":"G Morel","year":"2007","unstructured":"G.\u00a0Morel, P.\u00a0Valckenaers, J.M.\u00a0Faure, C.E.\u00a0Pereira, C.\u00a0Diedrich: Manufacturing plant control challenges and issues, IFAC Control Eng. Pract. 15(11), 1321\u20131331 (2007)","journal-title":"IFAC Control Eng. Pract."},{"issue":"1","key":"42_CR7_42","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"A.\u00a0Avizienis, J.C.\u00a0Laprie, B.\u00a0Randell, C.\u00a0Landwehr: Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Trans. Dependable Secur. Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"42_CR8_42","volume-title":"Statistical Methods for the Reliability of Repairable Systems","author":"SE Rigdon","year":"2000","unstructured":"S.E.\u00a0Rigdon, A.P.\u00a0Basu: Statistical Methods for the Reliability of Repairable Systems (Lavoisier, Paris 2000)"},{"key":"42_CR9_42","volume-title":"Reliability-Centered Maintenance","author":"J Moubray","year":"1997","unstructured":"J.\u00a0Moubray: Reliability-Centered Maintenance (Industrial, New York 1997)"},{"key":"42_CR10_42","first-page":"1","volume":"1145","author":"A Avizienis","year":"2001","unstructured":"A.\u00a0Avizienis, J.C.\u00a0Laprie, B.\u00a0Randell: Fundamental concepts of dependability, LAAS Techn. Rep. 1145, 1\u201319 (2001), \n                  http:\/\/www.laas.fr","journal-title":"LAAS Techn. Rep."},{"key":"42_CR11_42","unstructured":"J.W.\u00a0Foster, D.T.\u00a0Philips, T.R.\u00a0Rogers: Reliability Availability and Maintainability: The Assurance Technologies Applied to the Procurement of Production Systems (MA Press, 1979)"},{"key":"42_CR12_42","volume-title":"Product Reliability, Maintainability and Supportability Handbook","author":"M Pecht","year":"1995","unstructured":"M.\u00a0Pecht: Product Reliability, Maintainability and Supportability Handbook (CRC, New York 1995)"},{"key":"42_CR13_42","unstructured":"H.\u00a0Erbe: Technologies for cost-effective automation in manufacturing, IFAC Professional Briefs (2003) pp.\u20091\u201332"},{"key":"42_CR14_42","unstructured":"IEEE: IEEE Standard Computer Dictionary: A Compilation of IEEE Standard Computer Glossaries (IEEE, 1990), \n                  http:\/\/ieeexplore.ieee.org\/xpls\/abs_all.jsp?tp=&isnumber=4683&arnumber=182763&punumber=2267"},{"key":"42_CR15_42","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4655-9","volume-title":"Reliability, Maintenance and Logistic Support. A life Cycle Approach","author":"D Kumar","year":"2000","unstructured":"D.\u00a0Kumar, J.\u00a0Crocker, J.\u00a0Knezevic, M.\u00a0El-Haram: Reliability, Maintenance and Logistic Support. A life Cycle Approach (Springer, Berlin, Heidelberg 2000)"},{"key":"42_CR16_42","unstructured":"IEC 61508: Functional safety of electrical\/electronic\/ programmable electronic (E\/E\/PE) safety-related systems"},{"key":"42_CR17_42","volume-title":"Maintenance Theory of Reliability","author":"T Nakagawa","year":"2005","unstructured":"T.\u00a0Nakagawa: Maintenance Theory of Reliability (Springer, London 2005)"},{"key":"42_CR18_42","volume-title":"Out of the Crisis: For Industry, Government, Education","author":"WE Deming","year":"2000","unstructured":"W.E.\u00a0Deming: Out of the Crisis: For Industry, Government, Education (MIT Press, Cambridge 2000)"},{"key":"42_CR19_42","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"1999","unstructured":"C.G.\u00a0Cassandras, S.\u00a0Lafortune: Introduction to Discrete Event Systems (Kluwer Academic, Norwell 1999)"},{"issue":"1","key":"42_CR20_42","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S1367-5788(99)00015-2","volume":"23","author":"F Lhote","year":"1999","unstructured":"F.\u00a0Lhote, P.\u00a0Chazelet, M.\u00a0Dulmet: The extension of principles of cybernetics towards engineering and manufacturing, Annu. Rev. Control 23(1), 139\u2013148 (1999)","journal-title":"Annu. Rev. Control"},{"key":"42_CR21_42","volume-title":"Performance Modeling of Automated Manufacturing Systems","author":"N Viswanadham","year":"1992","unstructured":"N.\u00a0Viswanadham, Y.\u00a0Narahari: Performance Modeling of Automated Manufacturing Systems (Prentice-Hall, Englewood Cliffs 1992)"},{"key":"42_CR22_42","unstructured":"http:\/\/www.sei.cmu.edu\/cmmi"},{"key":"42_CR23_42","unstructured":"http:\/\/www.oooneida.info"},{"issue":"1","key":"42_CR24_42","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/52.363163","volume":"12","author":"MC Paulk","year":"1995","unstructured":"M.C.\u00a0Paulk: How ISO 9001 compares with the CMM, IEEE Softw. 12(1), 74\u201383 (1995)","journal-title":"IEEE Softw."},{"key":"42_CR25_42","first-page":"49","volume":"1","author":"K Polzer","year":"2004","unstructured":"K.\u00a0Polzer: Ease of use in engineering \u2013 availability and safety during runtime, Autom. Technol. Pract. 1, 49\u201360 (2004)","journal-title":"Autom. Technol. Pract."},{"issue":"1","key":"42_CR26_42","first-page":"58","volume":"4","author":"T Shell","year":"2001","unstructured":"T.\u00a0Shell: Systems functions implementation and behavioural modelling: system theoretic approach, Int. J. Syst. Eng. 4(1), 58\u201375 (2001)","journal-title":"Int. J. Syst. Eng."},{"key":"42_CR27_42","first-page":"45","volume":"1","author":"A Moik","year":"2003","unstructured":"A.\u00a0Moik: Engineering-related formal method for the development of safe industrial automation systems, Autom. Technol. Pract. 1, 45\u201353 (2003)","journal-title":"Autom. Technol. Pract."},{"key":"42_CR28_42","volume-title":"Model Checking","author":"EM Clarke","year":"2000","unstructured":"E.M.\u00a0Clarke, O.\u00a0Grunberg, D.A.\u00a0Peled: Model Checking (MIT Press, Cambridge 2000)"},{"key":"42_CR29_42","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B Book: Assigning Programs to Meanings","author":"JR Abrial","year":"1996","unstructured":"J.R.\u00a0Abrial: The B Book: Assigning Programs to Meanings (Cambridge Univ. Press, Cambridge 1996)"},{"key":"42_CR30_42","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/j.ress.2004.06.005","volume":"87","author":"T Kim","year":"2005","unstructured":"T.\u00a0Kim, D.\u00a0Stringer-Calvert, S.\u00a0Cha: Formal verification of functional properties of a SCR-style software requirements specification using PVS, Reliab. Eng. Syst. Saf. 87, 351\u2013363 (2005)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"1","key":"42_CR31_42","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.jss.2003.10.018","volume":"74","author":"J Yoo","year":"2005","unstructured":"J.\u00a0Yoo, T.\u00a0Kim, S.\u00a0Cha, J.-S.\u00a0Lee, H.S.\u00a0Son: A formal software requirements specification method for digital nuclear plant protection systems, Syst. Softw. 74(1), 73\u201383 (2005)","journal-title":"Syst. Softw."},{"key":"42_CR32_42","unstructured":"S.\u00a0Elkhattabi, D.\u00a0Corbeel, J.C.\u00a0Gentina: Integration of dependability in the conception of FMS, 7th IFAC Symp. on Inf. Control Probl. Manuf. Technol., Toronto (1992) pp.\u2009169\u2013174"},{"issue":"3","key":"42_CR33_42","first-page":"43","volume":"16","author":"R Vogrig","year":"1987","unstructured":"R.\u00a0Vogrig, P.\u00a0Baracos, P.\u00a0Lhoste, G.\u00a0Morel, B.\u00a0Salzemann: Flexible manufacturing shop, Manuf. Syst. 16(3), 43\u201355 (1987)","journal-title":"Manuf. Syst."},{"issue":"1\u20132","key":"42_CR34_42","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0166-3615(97)00102-4","volume":"36","author":"E Zama\u00ef","year":"1998","unstructured":"E.\u00a0Zama\u00ef, A.\u00a0Chaillet-Subias, M.\u00a0Combacau: An architecture for control and monitoring of discrete events systems, Comput. Ind. 36(1\u20132), 95\u2013100 (1998)","journal-title":"Comput. Ind."},{"issue":"5\u20136","key":"42_CR35_42","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.matcom.2005.11.007","volume":"70","author":"AKA Toguyeni","year":"2006","unstructured":"A.K.A.\u00a0Toguyeni, E.\u00a0Craye, L.\u00a0Sekhri: Study of the diagnosability of automated production systems based on functional graphs, Math. Comput. Simul. 70(5\u20136), 377\u2013393 (2006)","journal-title":"Math. Comput. Simul."},{"issue":"4","key":"42_CR36_42","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1023\/A:1008930403506","volume":"11","author":"MG Mehrabi","year":"2000","unstructured":"M.G.\u00a0Mehrabi, A.G.\u00a0Ulsoy, Y.\u00a0Koren: Reconfigurable manufacturing systems: key to future manufacturing, J. Intell. Manuf. 11(4), 403\u2013419 (2000)","journal-title":"J. Intell. Manuf."},{"key":"42_CR37_42","unstructured":"ESPRIT II-2172 DIAS Distributed Intelligent Actuators and Sensors"},{"key":"42_CR38_42","unstructured":"ESPRIT III-6188 PRIAM Pre-normative Requirements for Intelligent Actuation and Measurement"},{"key":"42_CR39_42","unstructured":"ESPRIT III-6244 EIAMUG European Intelligent Actuation and Measurement User Group"},{"key":"42_CR40_42","unstructured":"ESPRIT IV-23525 IAM-PILOT Intelligent Actuation and Measurement Pilot"},{"key":"42_CR41_42","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0166-3615(98)00099-2","volume":"37","author":"JF P\u00e9tin","year":"1998","unstructured":"J.F.\u00a0P\u00e9tin, B.\u00a0Iung, G.\u00a0Morel: Distributed intelligent actuation and measurement system within an integrated shop-floor organisation, Comput. Ind. J. 37, 197\u2013211 (1998)","journal-title":"Comput. Ind. J."},{"key":"42_CR42_42","unstructured":"http:\/\/www.predict.fr"},{"key":"42_CR43_42","unstructured":"http:\/\/www.openoandm.org"},{"key":"42_CR44_42","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1017\/S0263574702004824","volume":"21","author":"B Iung","year":"2003","unstructured":"B.\u00a0Iung, G.\u00a0Morel, J.-B.\u00a0L\u00e9ger: Proactive maintenance strategy for harbour crane operation improvement, Robotica 21, 313\u2013324 (2003)","journal-title":"Robotica"},{"issue":"1","key":"42_CR45_42","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.arcontrol.2007.03.004","volume":"31","author":"FB Vernadat","year":"2007","unstructured":"F.B.\u00a0Vernadat: Interoperable enterprise systems: Principles, concepts and methods, IFAC Annu. Rev. Control. 31(1), 137\u2013145 (2007)","journal-title":"IFAC Annu. Rev. Control."},{"key":"42_CR46_42","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.arcontrol.2006.09.001","volume":"30","author":"D Galara","year":"2006","unstructured":"D.\u00a0Galara: Roadmap to master the complexity of process operation to help operators improve safety, productivity and reduce environmental impact, Annu. Rev. Control 30, 215\u2013222 (2006)","journal-title":"Annu. Rev. Control"},{"key":"42_CR47_42","unstructured":"http:\/\/www.resilience-engineering.org"},{"issue":"3","key":"42_CR48_42","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1147\/sj.423.0462","volume":"42","author":"CF Kurtz","year":"2003","unstructured":"C.F.\u00a0Kurtz, D.J.\u00a0Snowden: The new dynamics of strategy: sense-making in a complex and complicated world, IBM Syst. J. 42(3), 462\u2013483 (2003)","journal-title":"IBM Syst. J."},{"key":"42_CR49_42","unstructured":"ISO\/IEC 15288, \n                  http:\/\/www.incose.org"},{"key":"42_CR50_42","volume-title":"Weak Emergence, Philosophical Perspectives: Mind, Causation and World","author":"M Bedau","year":"1997","unstructured":"M.\u00a0Bedau: Weak Emergence, Philosophical Perspectives: Mind, Causation and World, Vol.\u200911 (Blackwell, Oxford 1997)"}],"container-title":["Springer Handbook of Automation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78831-7_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:01:11Z","timestamp":1619521271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78831-7_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540788300","9783540788317"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78831-7_42","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}