{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T22:22:34Z","timestamp":1761862954739},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250531"},{"type":"electronic","value":"9783540318699"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31869-9_8","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T15:20:08Z","timestamp":1278343208000},"page":"78-90","source":"Crossref","is-referenced-by-count":5,"title":["A Survey of Software Development Approaches Addressing Dependability"],"prefix":"10.1007","author":[{"given":"Sadaf","family":"Mustafiz","sequence":"first","affiliation":[]},{"given":"J\u00f6rg","family":"Kienzle","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book","author":"J.-R. Abriel","year":"1996","unstructured":"Abriel, J.-R.: The B-book. Cambridge University Press, Cambridge (1996)"},{"key":"8_CR2","unstructured":"Avizienis, A., Laprie, J.-C., et al.: Dependability of computer systems: Fundamental concepts, erminology, and examples. In: Proc. 3rd IEEE Information Survivability Workshop (ISW-2000), Boston, Massachusetts, USA, October 24-26, pp. 7\u201312 (2000)"},{"key":"8_CR3","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental Concepts of Dependability, CSTR: 739, Department of Computing Science, University of Newcastle (2001)"},{"key":"8_CR4","unstructured":"Bagchi, S., Whisnant, K., et al.: Error Detection and Recovery in Chameleon., Center for eliable and High-Performance Computing, Coordinated Science Laboratory, University f Illinois at Urbana-Champaign (November 1998) (presentation)"},{"key":"8_CR5","unstructured":"Barrett, P.A.: Delta-4: An open architecture for dependable systems. In: IEE Colloquium on Safety Critical Distributed Systems, pp. 2\/1\u20132\/7 (1993)"},{"issue":"5","key":"8_CR6","first-page":"265","volume":"16","author":"A. Bondavalli","year":"2001","unstructured":"Bondavalli, A., Cin, M.D., et al.: Dependability Analysis in the Early Phases of UML ased System Design. International Journal of Computer Systems - Science & Engineering\u00a016(5), 265\u2013275 (2001)","journal-title":"International Journal of Computer Systems - Science & Engineering"},{"key":"8_CR7","unstructured":"Burns, A., Lister, A.M., McDermid: TARDIS: an architectural framework for timely and reliable distributed information systems. In: Proc. Sixth Australian Software Engineering Conf., Sydney, Australia, July, pp. 1\u201315 (1991)"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1093\/comjnl\/34.2.173","volume":"34","author":"A. Burns","year":"1991","unstructured":"Burns, A., Lister, A.M.: A framework for building dependable systems. The Computer Journal\u00a034(2), 73\u2013181 (1991)","journal-title":"The Computer Journal"},{"key":"8_CR9","volume-title":"HRT-HOOD: a structured design method for hard real-time Ada systems","author":"A. Burns","year":"1995","unstructured":"Burns, A., Wellings, A.: HRT-HOOD: a structured design method for hard real-time Ada systems. Elsevier Science BV, Amsterdam (1995) ISBN 0-444-82164-3"},{"key":"8_CR10","unstructured":"Buskens. R, Siddiqui A., et al.: Aurora Management Workbench. Bell laboratories (2003), http:\/\/www.bell-labs.com\/project\/aurora"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Carnot, M., DaSilva, C., et al.: Error-free software development for critical systems using the B-Methodology. In: Proc. of 3rd International Symposium on Software Reliability Engineering, October, pp. 274\u2013281 (1992)","DOI":"10.1109\/ISSRE.1992.285893"},{"key":"8_CR12","unstructured":"Chin, M.D.: Extending UML towards a useful OO-language for modeling dependability features. In: the Ninth IEEE Workshop on Object-Oriented Dependable Real-Time Systems (October 2003)"},{"key":"8_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-functional Requirements in Software Engineering","author":"L. Chung","year":"2000","unstructured":"Chung, L., Nixon, B.A., et al.: Non-functional Requirements in Software Engineering. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Cukier, M., Ren, J., et al.: AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects. In: Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems (SRDS 1998), Indiana, SA, October 20-23, pp. 245\u2013253 (1998)","DOI":"10.1109\/RELDIS.1998.740506"},{"issue":"2","key":"8_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s007660170008","volume":"6","author":"L.M. Cysneiros","year":"2001","unstructured":"Cysneiros, L.M., Leite, J.C.S.P., et al.: A Framework for Integrating Non-Functional Requirements into Conceptual Models. Requirements Engineering Journal\u00a06(2), 97\u2013115 (2001)","journal-title":"Requirements Engineering Journal"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Cysneiros, L.M., Leite, J.C.S.P.: Non-Functional Requirements: From Elicitation to Conceptual Model. IEEE Transactions on Software Engineering (May 2004)","DOI":"10.1109\/TSE.2004.10"},{"key":"8_CR17","volume-title":"Objects, components, and frameworks with UML: The Catalysis Approach","author":"D. D\u2019Souza","year":"1998","unstructured":"D\u2019Souza, D., Wills, A.C.: Objects, components, and frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)"},{"key":"8_CR18","unstructured":"D1.1 - Requirement specification V2, TIRAN Project Deliverable, confidential (October 1999)"},{"key":"8_CR19","unstructured":"D2.1 and D2.2: Updated Investigation, evaluation, and selection, DepAuDE Deliverable (2002)"},{"key":"8_CR20","unstructured":"D7.9 \u2013 Project Final Report, TIRAN Project Deliverable, confidential (October 2000)"},{"key":"8_CR21","unstructured":"D8.6: Final Report, DepAuDE Deliverable (2003)"},{"key":"8_CR22","unstructured":"Darimont, R., Delor, E., et al.: GRAIL\/KAOS: An Environment for Goal-Driven Requirements Engineering. In: Proc of. ICSE 1998 - 20th Intl. Conf. on Software Engineering, Kyoto, April, vol.\u00a02, pp. 58\u201362 (1998)"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/24.994916","volume":"51","author":"G. Deconinck","year":"2002","unstructured":"Deconinck, G., De Florio, V., et al.: The EFTOS approach to dependability in embedded supercomputing. IEEE Transactions on Reliability\u00a051, 76\u201390 (2002)","journal-title":"IEEE Transactions on Reliability"},{"key":"8_CR24","unstructured":"DepAuDE project website (April 22, 2004), http:\/\/www.depaude.org\/"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-46428-X_7","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Dondossola","year":"2000","unstructured":"Dondossola, G., Botti, O.: System fault tolerance specification: proposal of a method combining semi-formal and formal approaches. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 82\u201396. Springer, Heidelberg (2000)"},{"key":"8_CR26","unstructured":"European Dependability Initiative: Inventory of EC Funded Projects in the area of Dependability, Issue 2.2, 11 (January 2000)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Fabre, J.-C., P\u00e9rennou, T.: A Metaobject Architecture for Fault Tolerant Distributed Systems: The FRIENDS Approach. IEEE Trans. on Computers, 78\u201395 (January 1998)","DOI":"10.1109\/12.656088"},{"issue":"9","key":"8_CR28","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1016\/0950-5849(92)90137-E","volume":"34","author":"C.J. Fidge","year":"1992","unstructured":"Fidge, C.J., Lister, A.M.: A disciplined approach to real-time systems design. Information and Software Technology\u00a034(9), 603\u2013610 (1992)","journal-title":"Information and Software Technology"},{"key":"8_CR29","unstructured":"Fidge, C.J., Lister, A.M.: The challenges of non-functional computing requirements. In: Seventh Australian Software Engineering Conference (ASWEC 1993), Sydney, September, pp. 77\u201384 (1993)"},{"key":"8_CR30","unstructured":"Gokhale, A., Natarajan, B., et al.: DOORS: Towards high-performance fault-tolerant CORBA. In: Proc. 2nd Intl. Symp. Distributed Objects and Applications (DOA 2000) (September 2000)"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45177-3_6","volume-title":"Architecting Dependable Systems","author":"P.A.C. Guerra de","year":"2003","unstructured":"de Guerra, P.A.C., Rubira, C., et al.: Fault-Tolerant Software Architecture for Component- Based Systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol.\u00a02677, pp. 129\u2013149. Springer, Heidelberg (2003)"},{"key":"8_CR32","unstructured":"HOOD Reference Manual, Issue 4 (1995), Available at ftp:\/\/ftp.estec.esa.nl\/pub\/wm\/wme\/HOOD\/HRM4.tar.gz"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-540-45221-8_31","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J. J\u00fcrgens","year":"2003","unstructured":"J\u00fcrgens, J.: Developing safety-critical systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 360\u2013372. Springer, Heidelberg (2003)"},{"key":"8_CR34","volume-title":"Secure Systems Development with UML","author":"J. J\u00fcrgens","year":"2004","unstructured":"J\u00fcrgens, J.: Secure Systems Development with UML. Springer, Heidelberg (2004) (to be published)"},{"key":"8_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/3-540-46852-8_25","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"L. Kabous","year":"1999","unstructured":"Kabous, L., Nebel, W.: Modeling Hard Real Time Systems with UML The OOHARTS Approach. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 339\u2013355. Springer, Heidelberg (1999)"},{"key":"8_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/3-540-44947-7_3","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"J. Kienzle","year":"2003","unstructured":"Kienzle, J.: Software fault tolerance: An overview. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol.\u00a02655, pp. 45\u201367. Springer, Heidelberg (2003)"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Kim, K.H.: ROAFTS: A Middleware Architecture for Real-time Object-oriented Adaptive Fault Tolerance Support. In: Proc. of IEEE CS 1998 HASE Symp., Washington, D.C, November, pp. 50\u201357 (1998)","DOI":"10.1109\/HASE.1998.731595"},{"key":"8_CR38","series-title":"Dependable Computing and Fault-Tolerant Systems","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-8990-0","volume-title":"Fault Tolerance - Principles and Practice","author":"P.A. Lee","year":"1990","unstructured":"Lee, P.A., Anderson, T.: Fault Tolerance - Principles and Practice, 2nd edn. Dependable Computing and Fault-Tolerant Systems. Springer, Heidelberg (1990)","edition":"2"},{"key":"8_CR39","unstructured":"MAFTIA project website, http:\/\/www.newcastle.research.ec.org\/maftia\/"},{"key":"8_CR40","unstructured":"Mustafiz, S.: Addressing Fault Tolerance in Software Development: A Comparative Study., M.Sc. Thesis, School of Computer Science, McGill University (June 2004)"},{"key":"8_CR41","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1109\/71.774908","volume":"10","author":"D. Powell","year":"1999","unstructured":"Powell, D., Arlat, J., et al.: GUARDS: A generic upgradable architecture for real-time dependable systems. IEEE Trans. Parallel and Distributed Syst.\u00a010, 580\u2013597 (1999)","journal-title":"IEEE Trans. Parallel and Distributed Syst."},{"key":"8_CR42","volume-title":"Software Fault Tolerance Techniques and Implementation","author":"L.L. Pullum","year":"2001","unstructured":"Pullum, L.L.: Software Fault Tolerance Techniques and Implementation. Artech House, Inc., Boston (2001)"},{"key":"8_CR43","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-79789-7","volume-title":"ESPRIT Basic Research Series: Predictably Dependable Computing Systems","author":"B. Randell","year":"1995","unstructured":"Randell, B., Laprie, J.-C., et al.: ESPRIT Basic Research Series: Predictably Dependable Computing Systems. Springer, Heidelberg (1995)"},{"key":"8_CR44","first-page":"1","volume-title":"Software Fault Tolerance, Ch. 1","author":"B. Randell","year":"1995","unstructured":"Randell, B., Xu, J.: The Evolution of the Recovery Block Concept. In: Lyu, M.R. (ed.) Software Fault Tolerance, Ch. 1, pp. 1\u201321. John Wiley & Sons, Chichester (1995)"},{"key":"8_CR45","doi-asserted-by":"crossref","unstructured":"Rubira, C.M.F., de Lemos, R., et al.: Exception handling in the development of dependable component-based systems. In: Software \u2013 Practice and Experience (2004) (to appear)","DOI":"10.1002\/spe.632"},{"key":"8_CR46","unstructured":"Tirtea, R., Deconinck, G.: A Survey of Middleware and its Support for Fault Tolerance. In: Proc. 6th Int. Conf. Engineering of Modern Electric Systems (EMES 2001), Felix-Spa, Romania, May 24-26, p. 6 (2001)"},{"key":"8_CR47","unstructured":"UML Revision Task Force. OMG UML Specification v. 1.5. OMG Document ad\/03-03-01 (2003), Available at http:\/\/www.uml.org"},{"key":"8_CR48","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Reliable Software Technologies \u2013 Ada Europe 2001","author":"A. Lamsweerde van","year":"2001","unstructured":"van Lamsweerde, A.: Building Formal Requirements Models for Reliable Software. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol.\u00a02043, p. 1. Springer, Heidelberg (2001)"},{"key":"8_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A. Lamsweerde van","year":"2003","unstructured":"van Lamsweerde, A.: From System Goals to Software Architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"issue":"3","key":"8_CR50","first-page":"401","volume":"10","author":"E. Verentziotis","year":"2001","unstructured":"Verentziotis, E., Varvarigou, T., et al.: Fault tolerant supercomputing: a software approach. International Journal of Computer Research\u00a010(3), 401\u2013413 (2001)","journal-title":"International Journal of Computer Research"}],"container-title":["Lecture Notes in Computer Science","Scientific Engineering of Distributed Java Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31869-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T15:49:56Z","timestamp":1635608996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31869-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250531","9783540318699"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31869-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}