{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:01:19Z","timestamp":1725562879646},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156502"},{"type":"electronic","value":"9783642156519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15651-9_27","type":"book-chapter","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T05:12:19Z","timestamp":1281417139000},"page":"361-374","source":"Crossref","is-referenced-by-count":9,"title":["Evolving a Safe System Design Iteratively"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Mota","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joabe","family":"Jesus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe","family":"Ferri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edson","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Prism and CSP models, http:\/\/www.cin.ufpe.br\/~acm\/ecs\/"},{"key":"27_CR2","unstructured":"Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems. Aerospace Recommended Practice ARP4761, SAE International, Warrendale, PA (December 1996)"},{"key":"27_CR3","unstructured":"Alexander, R., Herbert, N., Kelly, T.: Deriving Safety Requirements for Autonomous Systems. In: 4th SEAS DTC Technical Conference (2009)"},{"key":"27_CR4","unstructured":"Alexander, R.D., Kelly, T.P.: Escaping the non-quantitative trap. In: 27th International System Safety Conference, pp. 69\u201395 (2009)"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","volume-title":"Computer Safety, Reliability, and Security","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: The FSAP\/NuSMV-SA safety analysis platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 49\u201362. Springer, Heidelberg (2003)"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Damasceno, A., Farias, A., Mota, A.: A Mechanised Strategy for Safe Abstraction of CSP Specifications (Best paper). In: Brazilian Symposium on Formal Methods, vol.\u00a012, pp. 118\u2013133 (2009)","DOI":"10.1007\/978-3-642-10452-7_9"},{"key":"27_CR7","unstructured":"Ebeling, C.E.: An Introduction to Reliability and Maintainability Engineering, 2nd Har\/Cdr edn. Waveland Pr Inc., Prospect Heights (2009)"},{"key":"27_CR8","unstructured":"Kerlund, O.A., et al.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: European Congress on Embedded Real Time Software, ERTS 2006 (2006)"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Farias, A., Mota, A., Sampaio, A.: Compositional Abstraction of CSP Z Processes. Journal of the Brazilian Computer Society\u00a014(2) (June 2008)","DOI":"10.1590\/S0104-65002008000200003"},{"key":"27_CR10","unstructured":"Goldsmith, M.: FDR: User Manual and Tutorial, version 2.77. Formal Systems (Europe) Ltd. (2001)"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Gomes, A.J.O.: Model based safety analysis using probabilistic model checking. Master\u2019s thesis, Federal University of Pernambuco (2010)","DOI":"10.1007\/978-3-642-16558-0_50"},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1109\/QEST.2007.18","volume-title":"QEST 2007: Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems","author":"L. Grunske","year":"2007","unstructured":"Grunske, L., Colvin, R., Winter, K.: Probabilistic Model-Checking Support for FMEA. In: QEST 2007: Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems, pp. 119\u2013128. IEEE Computer Society, Los Alamitos (2007)"},{"key":"27_CR13","first-page":"85","volume":"25","author":"Y. Isobe","year":"2008","unstructured":"Isobe, Y., Roggenbach, M.: Csp-prover \u2013 a proof tool for the verification of scalable concurrent systems. Journal of Computer Software, Japan Society for Software Science and Technology (JSSST)\u00a025, 85\u201392 (2008)","journal-title":"Journal of Computer Software, Japan Society for Software Science and Technology (JSSST)"},{"key":"27_CR14","unstructured":"Jesus, J.B.J.: Designing and formal verification of fly-by-wire flight control systems. Master\u2019s thesis, Federal University of Pernambuco (2009)"},{"issue":"4","key":"27_CR15","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1530873.1530882","volume":"36","author":"M. Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review\u00a036(4), 40\u201345 (2009)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Laurent, O.: Using formal methods and testability concepts in the avionics systems validation and verification (v&v) process. In: 2008 International Conference on Software Testing, Verification, and Validation, pp. 1\u201310 (2010)","DOI":"10.1109\/ICST.2010.38"},{"key":"27_CR17","unstructured":"Lisagor, O., Kelly, T.: Incremental safety assessment: Theory and practice. In: 26th International System Safety Conference, published by the System Safety Society (2008)"},{"key":"27_CR18","unstructured":"Lisagor, O., McDermid, J., Pumfrey, D.J.: Towards a practicable process for automated safety analysis. In: 24th International System Safety Conference, pp. 596\u2013607 (2006)"},{"key":"27_CR19","unstructured":"The MathWorks Inc. Simulink Validation and Verification 2 User\u2019s Guide (2008)"},{"key":"27_CR20","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming from Specifications, 2nd edn. Prentice Hall International (UK) Ltd., Englewood Cliffs (1994)","edition":"2"},{"issue":"3","key":"27_CR21","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0951-8320(00)00076-4","volume":"71","author":"Y. Papadopoulos","year":"2001","unstructured":"Papadopoulos, Y., McDermid, J., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering & System Safety\u00a071(3), 229\u2013247 (2001)","journal-title":"Reliability Engineering & System Safety"},{"issue":"5","key":"27_CR22","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1016\/j.scico.2009.12.005","volume":"75","author":"R. Ramos","year":"2010","unstructured":"Ramos, R., Sampaio, A., Mota, A.: Conformance notions for the coordination of interaction components. Science of Computer Programming\u00a075(5), 350\u2013373 (2010)","journal-title":"Science of Computer Programming"},{"key":"27_CR23","volume-title":"The Theory and Practice of Concurrency","author":"A. Roscoe","year":"1997","unstructured":"Roscoe, A.: The Theory and Practice of Concurrency. Prentice Hall PTR, Englewood Cliffs (1997)"},{"key":"27_CR24","unstructured":"Soares, G., Gheyi, R., Massoni, T., Cornelio, M., Cavalcanti, D.: Generating unit tests for checking refactoring safety. In: Brazilian Symposium on Programming Languages, pp. 159\u2013172 (2009)"},{"key":"27_CR25","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/SEW.2006.40","volume-title":"SEW 2006: Proceedings of the 30th Annual IEEE\/NASA Software Engineering Workshop","author":"Z. Stephenson","year":"2006","unstructured":"Stephenson, Z., McDermid, J., Choy, J.: Using simulation to validate style-specific architectural refactoring patterns. In: SEW 2006: Proceedings of the 30th Annual IEEE\/NASA Software Engineering Workshop, pp. 123\u2013132. IEEE Computer Society, Los Alamitos (2006)"},{"key":"27_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-00255-7_11","volume-title":"Integrated Formal Methods","author":"F. Zeyda","year":"2009","unstructured":"Zeyda, F., Cavalcanti, A.: Mechanised Translation of Control Law Diagrams into Circus. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 151\u2013166. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15651-9_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T05:25:39Z","timestamp":1636003539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15651-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156502","9783642156519"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15651-9_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}