References

1. YLE (2008) Widespread Disturbance in Elisa's GSM Network Fixed. YLE Uutiset, http://yle.fi/news/id90683.html (accessed 14 May 2008).

2. The Local (2008) Telia Customers Lose Network Coverage, http://www.thelocal.se/11828/ (accessed 17 May 2008).

3. Helsingin Sanomat (2008) Lengthy Blackout Stalls Tuesday Share Trading Across Nordic Region. International Edition, http://www.hs.fi/english/article/Lengthy+blackout+stalls+Tuesday+share+trading+across+Nordic+region+/1135236901403 (accessed 4 June 2008).

4. BBC (2011) Amazon Apologises for Cloud Fault One Week on, http://www.bbc.co.uk/news/business-13242782 (accessed 4 May 2011).

5. Amazon Web Services (2011) Summary of the Amazon EC2 and Amazon RDS Service Disruption in the US East Region, http://aws.amazon.com/message/65648/ (accessed 12 December 2011).

6. Narasimhan, P. (2010) Downtime Incidents, http://www.cs.cmu.edu/∼priya/downtime.html (accessed 5 December 2010).

7. Service Availability Forum (2011) Service Outage Examples, http://saforum.org/Service-Outage-Examples∼310991∼16627.htm (accessed 17 July 2011).

8. International Federation of Information Processing (2011) IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance, http://www.dependability.org/wg10.4/ (accessed 17 July 2011).

9. Laprie, J.C. (1985) Dependable computing and fault tolerance: concepts and terminology, Proceedings of the 15th IEEE International Symposium on Fault Tolerant Computing, IEEE Computer Society, pp. 2–11.

10. Avižienis, A., Laprie, J-C., Randell, B., and Landwehr, C. (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1 (1), 11–33.

11. IEEE (1990) Std 610.12-1990. IEEE Standard Glossary of Software Engineering Terminology, Institute of Electrical and Electronics Engineers.

12. Department of Defense (2011) Federal Acquisition Regulation (FAR), https://www.acquisition.gov/comp/far/index.html (accessed 11 July 2011).

13. Oberndorf, P.A. (1997) Facilitating component-based software engineering: COTS and open systems, in 5th International Symposium of Assessment on Software Tools and Technologies (ed. E. Nahouraii), IEEE Computer Society, Pittsburgh, PA, pp. 143–148.

14. Anderson, T. and Lee, P. (1981) Fault Tolerance: Principles and Practice, Prentice Hall, London.

15. SCOPE Alliance (2011) Telecom Grade Cloud Computing, Version 1.0, 2011-05-03.

16. Gray, J. (1986) Why do computers stop and what can be done about it? 5th Symposium on Reliability and Distributed Software and Database Systems, IEEE Computer Society Press, Los Angeles, CA, pp. 3–12.

17. Geffroy, J.C. and Motet, G. (2002) Design of Dependable Computing Systems, Kluwer Academic Publishers, Dordrecht.

18. Birman, K.P. (2005) Reliable Distributed Systems Technologies, Web Services, and Applications, Springer, New York.

19. Pullum, L. (2001) Software Fault Tolerance Techniques and Implementation, Artech House, Norwood.

20. Schmidt, K. (2006) High Availability and Disaster Recovery: Concepts, Design, Implementation, Springer-Verlag, Berlin.

21. High Availability Forum (2001) Providing Open Architecture High Availability Solutions. Revision 1.0, http://www.lynuxworks.com/products/whitepapers/ha-solutions.pdf and http://www.saforum.org/ (accessed May 2011).

22. Gimpelson, T. (2001) New Forum Seeks to Set Service Availability Specs. Computerworld, http://www.computerworld.com/s/article/66555/New_forum_seeks_to_set_service_availability_specs (accessed 27 September 2011).

23. Mannion, P. (2001) Forum Aims to Heighten Packet Network Reliability. News & Analysis, EE Times, http://www.eetimes.com/electronics-news/4042863/Forum-aims-to-heighten-packet-network-reliability (accessed 27 September 2011).

24. Alliance for Telecommunications Industry Solutions (2011) ATIS Telecom Glossary 2011, http://www.atis.org/glossary/ (accessed 27 September 2011).

25. Wikipedia (2011) World Wide Web. http://en.wikipedia.org/wiki/World_Wide_Web (accessed 28 September 2011).

26. Bernstein, P.A. (1996) Middleware: a model for distributed system services. Communications of the ACM, 39 (2), 86–98.

27. Object Management Group (2011) The OMG's CORBA Website, http://www.corba.org/ (accessed 30 September 2011).

28. Ferraro-Esparza, V., Gudmandsen, M., and Olsson, K. (2002) Ericsson telecom server platform 4. Ericsson Review, 3, 104–113, http://www.ericsson.com/res/thecompany/docs/publications/ericsson_review/2002/2002032.pdf (accessed 26 September 2011).

29. Oracle (2011) Sun Netra Carrier-Grade Servers, http://www.oracle.com/us/products/servers-storage/servers/netra-carrier-grade/index.html (accessed 28 September 2011).

30. GoAhead Software Inc. (2011) SelfReliant, http://www.goahead.com/products/selfreliant/high-availability-middleware.aspx (accessed 28 September 2011).

31. Wikipedia (2011) Dot-com Bubble, http://en.wikipedia.org/wiki/Dot-com_bubble (accessed 30 September 2011).

32. Bass, L., Clements, P., and Kazman, R. (1998) Software Architecture in Practice, SEI Series in Software Engineering, Addison-Wesley, Reading, MA.

33. Object Management Group (2001) CORBA 2.5—Chapter 25—Fault Tolerant CORBA, http://www.omg.org/cgi-bin/doc?formal/01-09-29.pdf (accessed May 2011).

34. Object Management Group (2007) XML Metadata Interchange (XMI®), http://www.omg.org/spec/XMI/ (accessed 8 August 2011).

35. Service Availability™ Forum (2011) Hardware Platform Interface Specification. SAI-HPI-B.03.02, http://www.saforum.org (accessed 30 September 2011).

36. Service Availability™ Forum (2011) Application Interface Specification, Platform Management Service. SAI-AIS-PLM-A.01.02, http://www.saforum.org (accessed 30 September 2011).

37. Service Availability™ Forum (2011) Application Interface Specification, Cluster Membership Service. SAI-AIS-CLM-B.04.01, http://www.saforum.org (accessed 30 September 2011).

38. Service Availability™ Forum (2011) Application Interface Specification, Information Model Management Service. SAI-AIS-IMM-A.03.01, http://www.saforum.org (accessed 30 September 2011).

39. Service Availability™ Forum (2011) Application Interface Specification, Notification Service. SAI-AIS-NTF-A.04.01, http://www.saforum.org (accessed 30 September 2011).

40. Service Availability™ Forum (2011) Application Interface Specification, Log Service. SAI-AIS-LOG-A.02.01, http://www.saforum.org (accessed 30 September 2011).

41. Service Availability™ Forum (2011) Application Interface Specification, Security Service. SAI-AIS-SEC-A.01.01, http://www.saforum.org (accessed 30 September 2011).

42. Service Availability™ Forum (2011) Application Interface Specification, Checkpoint Service. SAI-AIS-CKPT-B.02.02, http://www.saforum.org (accessed 30 September 2011).

43. Service Availability™ Forum (2011) Application Interface Specification, Event Service. SAI-AIS-EVT-B.03.01, http://www.saforum.org (accessed 30 September 2011).

44. Service Availability™ Forum (2011) Application Interface Specification, Message Service. SAI-AIS-MSG-B.02.01, http://www.saforum.org (accessed 30 September 2011).

45. Service Availability™Forum (2011) Application Interface Specification, Lock Service. SAI-AIS-LCK-B.03.01, http://www.saforum.org (accessed 30 September 2011).

46. Service Availability™ Forum (2011) Application Interface Specification, Naming Service. SAI-AIS-NAM-A.01.01, http://www.saforum.org (accessed 30 September 2011).

47. Service Availability™ Forum (2011) Application Interface Specification, Timer Service. SAI-AIS-TMR-A.01.01, http://www.saforum.org (accessed 30 September 2011).

48. Service Availability™ Forum (2011) Application Interface Specification, Availability Management Framework. SAI-AIS-AMF-B.04.01, http://www.saforum.org (accessed 30 September 2011).

49. Service Availability™ Forum (2011) Application Interface Specification, Software Management Framework. SAI-AIS-SMF-A.01.02, http://www.saforum.org (accessed 30 September 2011).

50. Distributed Management Task Force, Inc. (2009) Systems Management Architecture for Server Hardware (SMASH), http://www.dmtf.org/standards/smash (accessed May 2011).

51. Internet Engineering Task Force (1990) Management Information Base for Network Management of TCP/IP-Based Internets. RFC 1156, http://tools.ietf.org/html/rfc1156 (accesssed 23 September 2011).

52. Internet Engineering Task Force (1991) Management Information Base for Network Management of TCP/IP-Based Internets: MIB-II. RFC 1213, http://tools.ietf.org/html/rfc1213 (accessed 23 September 2011).

53. Internet Engineering Task Force (2002) An Architecture for Describing Simple Network Management Protocol (SNMP) Management Frameworks. RFC 3411, http://tools.ietf.org/html/rfc3411 (accessed 23 September 2011).

54. International Telecommunication Union (2002) Information Technologies—Abstract Syntax Notation One (ASN.1): Specification of Basic Notation. ITU-T Recommendation X.680.

55. Internet Engineering Task Force (1999) Structure of Management Information Version 2 (SMIv2). RFC 2578, http://tools.ietf.org/html/rfc2578 (accessed 23 September 2011).

56. Internet Engineering Task Force (2006) NETCONF Configuration Protocol. RFC 4741, http://tools.ietf.org/html/rfc4741 (accessed 27 April 2011).

57. Internet Engineering Task Force (2010) YANG - A Data Modeling Language for the Network Configuration Protocol (NETCONF). RFC 6020, http://tools.ietf.org/html/rfc6020 (accessed 27 April 2011).

58. Distributed Management Task Force, Inc. (2005) Common Information Model (CIM) Infrastructure Specification. DSP0004, Version 2.3, http://dmtf.org/standards/cim (accessed 23 September 2011).

59. Object Management Group (2011) Unified Modeling Language (UML) Version 2.4, http://www.omg.org/spec/UML/2.4/ (accessed 27 July 2011).

60. Internet Engineering Task Force (2006) Lightweight Directory Access Protocol (LDAP): Technical Specification Road Map. RFC 4510, http://tools.ietf.org/html/rfc4510 (accessed 5 May 2011).

61. Service Availability™ Forum (2011) Service Availability Interface, Overview Document. SAI-Overview-B.05.03, http://www.saforum.org (accessed 30 September 2011).

62. Service Availability™ Forum (2012) Errata for the Application Interface Specification, Information Model. SAI-IM-XMI-A.04.02.errata, http://www.saforum.org (accessed 31 January 2012).

63. Service Availability™ Forum (2011) Service Availability Interface, C Programming Model. SAI-AIS-CPROG-B.05.02, http://www.saforum.org (accessed 30 September 2011).

64. OpenSAF™ (2011) The Open Service Availability Framework, http://www.opensaf.org/ (accessed 2 August 2011).

65. PCI Industrial Computers Manufacturers Group (PICMG) (2011) CompactPCI®Specification, PICMG 2.0 R3.0, Short Form, http://www.compactpci.org/index.php/compactpci/compactpci-specification-overview.html (accessed 23 September 2011).

66. PCI Industrial Computers Manufacturers Group (PICMG) (2003) AdvancedTCA PICMG 3.0®Short Form Specification, http://www.picmg.org/v2internal/resourcepage2.cfm?id=2 (Retrieved 23 September 2011).

67. PCI Industrial Computers Manufacturers Group (PICMG) (2006) Micro Telecommunications Computer Architecture PICMG® MTCA.0, Short Form Specification, http://www.picmg.org/v2internal/resourcepage2.cfm?id=5 (accessed 23 September 2011).

68. Intel, Hewlett-Packard, NEC, & Dell (2009) IPMI – Intelligent Platform Management Interface Specification, Second Generation v2.0, http://www.intel.com/design/servers/ipmi/ (accessed 23 September 2011).

69. Service Availability™ Forum (2004) Specification Distributed Systems Management for HPI-SNMP. SAI-HPI-SNMP-B.01.01, http://www.saforum.org (accessed 26 August 2011).

70. Service Availability™ Forum (2011) Specification for HPI Mapping to AdvancedTCA and MicroTCA. SAIM-HPI-B.03.02-xTCA, http://www.saforum.org (accessed 30 September 2011).

71. OpenHPI (2011) OpenHPI Project Home Page, http://www.openhpi.org/Home (accessed 2 August 2011).

72. International Telecommunication Union (1992) Information Technology—Open Systems Interconnection—System Management: State Management Function. ITU-T Recommendation X.731.

73. IEEE (2008) IEEE Std 1003.1 TM-2008. Standard for Information Technology—Portable Operating System Interface (for Unix). (POSIX®), Institute of Electrical and Electronics Engineers.

74. virtlib: The Virtualization API (2011) http://libvirt.org/ (accessed 13 December 2011).

75. Internet Engineering Task Force (2006) XDR: External Data Representation Standard. RFC 4506, http://tools.ietf.org/html/rfc4506 (accessed 23 September 2011).

76. Distributed Management Task Force, Inc. (2009–2010g919:65) Virtualization Management, http://dmtf.org/standards/vman (accessed 23 September 2011).

77. Chandra, T.D., Hadzilacos, V., Toueg, S., and Charron-Bost, B. (1996) On the impossibility of group membership. The Proceedings of the 15th ACM Symposium on Principles of Distributed Computing, Philadelphia, PA, pp. 322–330, http://www.cs.utoronto.ca/∼vassos/research/publications/CHTCB96/paper.ps.gz (accessed 23 September 2011).

78. Fischer, M.J., Lynch, N.A., and Paterson, M.S. (1985) Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32 (2), 374–383.

79. Heller, J. (1961) Catch-22, Simon&Schuster, New York.

80. Kanso, A., Khendek, F., Hamou-Lhadj, A., and Toeroe, M. (2010) Ranking service units for providing and protecting highly available services with load balancing, in 10th Annual International Conference on New Technologies of Distributed Systems(NOTERE 2010) (eds K. Drira, A.H. Kacem, and M. Jamiel), IEEE Computer Society, Tozeur, Tunisia, pp. 33–40.

81. World Wide Web Consortium (W3C) (2008) Extensible Markup Language (XML) 1.0 (Fifth Edition), http://www.w3.org/TR/2008/REC-xml-20081126/ (accessed 24 September 2011).

82. Service Availability™ Forum (2010) The Software Management Framework: Basic Concepts Explained. Whitepaper, http://www.saforum.org (accessed 3 September 2011).

83. Wikipedia (2011) Publish/Subscribe, http://en.wikipedia.org/wiki/Publish/subscribe (accessed 13 June 2011).

84 Wikipedia (2011) Two-Phase Commit Protocol, http://en.wikipedia.org/wiki/Two-phase_commit_protocol (accessed 12 July 2011).

85. International Telecommunication Union (1992) Information Technology—Open Systems Interconnection—System Management: Object Management Function. ITU-T Recommendation X.730.

86. International Telecommunication Union (1992) Information Technology—Open Systems Interconnection—System Management: Alarm Reporting Function. ITU-T Recommendation X.733.

87. International Telecommunication Union (1992) Information Technology—Open Systems Interconnection—System Management: Security Alarm Reporting Function. ITU-T Recommendation X.736.

88. Linux Foundation (2009) The LSB 4 Specification, Linux Standard Base Specification Archive, http://refspecs.freestandards.org/lsb.shtml (accessed 23 August 2011).

89. World Wide Web Consortium (W3C) (2004) XML Schema, Second Edition, http://www.w3.org/standards/techs/xmlschema#w3c_all (accessed 24 September 2011).

90. Service Availability™ Forum (2011) Application Interface Specification, SMF Entity Types and Upgrade Campaign XML Schemas. SAI-AIS-SMF-XSD-A.01.02, http://www.saforum.org (accessed 30 September 2011).

91. OpenSAF™ (2011 ) OpenSAF™ Project Home Page, http://devel.opensaf.org/ (accessed 2 August 2011).

92. ISO (1999) ISO/IEC 9899:1999. Programming Languages—C, International Organization for Standardization.

93. Service Availability™ Forum (2011) Application Interface Specification Mapping Javadoc for Release 6. SAIM-AIS-R6-JD-A.01.01, http://www.saforum.org (accessed 30 September 2011).

94. Distributed Management Task Force, Inc. (2010) Web-Based Enterprise Management, http://dmtf.org/standards/wbem (accessed 25 August 2010).

95. Service Availability™ Forum (2008) Java Usage of the SA Forum Notification Service, http://www.saforum.org (accessed 20 October 2010).

96. Service Availability™ Forum (2007) Java Usage of the SAF Log Service, http://www.saforum.org (accessed 20 October 2010).

97. Oracle (2010) Java Enterprise Edition (Java EE), Technical Documentation, http://download.oracle.com/javaee/ (accessed 6 April 2011).

98. Oracle (2000) Java Management Extensions (JMX) Technology. JSR 3, Java Community Process, http://jcp.org/en/jsr/detail?id=3 and http://www.oracle.com/technetwork/java/javase/tech/javamanagement-140525.html (accessed 6 April 2011).

99. Oracle (1995, 2011) JavaBeans™, http://download.oracle.com/javase/tutorial/javabeans/ (accessed 6 April 2011).

100. Ericsson, A.B. (2010) Availability Management for Java, JSR 319. Java Community Process, http://jcp.org/en/jsr/summary?id=319 (accessed 26 August 2010).

101. Sun Microsystems (2004, 2010) Javadoc Tool Documentation, http://www.oracle.com/technetwork/java/javase/documentation/index-jsp-135444.html (accessed 6 April 2011).

102. Oracle (1993, 2010) Java Native Interface, http://download.oracle.com/javase/6/docs/technotes/guides/jni/index.html (accessed 6 April 2011).

103. Sun Microsystems (1995–1999) Java Coding Conventions, http://www.oracle.com/technetwork/java/codeconventions-135099.html (accessed 25 August 2010).

104. Sun Microsystems (2002) New I/O APIs for the Java™ Platform. JSR 51, Java Community Process, http://www.jcp.org/en/jsr/detail?id=51 (accessed 6 April 2011).

105. OpenHPI (2011) OpenHPI Code Base and Man Pages, http://sourceforge.net/projects/openhpi/ (accessed 2 August 2011).

106. Free Software Foundation, Inc. (1991, 1999) GNU Lesser General Public License, Version 2.1, http://www.gnu.org/licenses/lgpl-2.1.html (accessed 19 August 2011).

107. TIPC (2011) TIPC Home Page, http://tipc.sourceforge.net/ (accessed 25 August 2011).

108. Internet Engineering Task Force (1981) Transmission Control Protocol, DARPA Internet Program, Protocol Specification. RFC 793, http://tools.ietf.org/html/rfc793 (accessed 25 August 2011).

109. VideoLAN Organization VideoLAN, http://wiki.videolan.org/ and http://www.videolan.org/developers/ (accessed 2 August 2011).

110. Service Availability™ Forum (2011) Application Interface Specification, IMM Initial XML Schema. SAI-AIS-IMM-XSD-A.01.02, http://www.saforum.org (accessed 30 September 2011).

111. Object Management Group (2011) Object Constraint Language (OCL) Version 2.3, http://www.omg.org/spec/OCL/2.3/Beta2/ (accessed 27 July 2011).

112. Object Management Group (2011) Meta Object Facility (MOF) Version 2.4, http://www.omg.org/spec/MOF/2.4/Beta2/ (accessed 27 July 2011).

113. Schmidt, D.C. (2006) Special issue on model driven engineering. IEEE Computer Magazine, 39, 2.

114. Object Management Group (2003) MDA Guide Version 1.0.1. (eds A. Miller and J. Mukerji), http://www.omg.org/cgi-bin/doc?omg/03-06-01 (accessed 27 July 2011).

115. Kleppe, A., Warmer, J., and Bast, W. (2003) MDA Explained: The Model Driven Architecture: Practice and Promise, Addison-Wesley Professional, Boston, MA.

116. Trivedi, K. (2001) Probability and Statistics with Reliability, Queuing, and Computer Science Applications, 2nd edn, John Wiley & Sons, Ltd, Chichester.

117. Gherbi, A., Salehi, P., Khendek, F., and Hamou-Lhadj, A. (2009) Capturing and formalizing SAF availability management framework configuration requirements. Paper presented at the Domain Engineering Workshop @ CAiSE'2009, Amsterdam, Netherlands.

118. Salehi, P., Hamoud-Lhadj, A., Colombo, P. et al. (2010) A UML-based domain specific modeling language for the availability management framework, In the 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010, IEEE Computer Society, San Jose, CA, pp. 35–44.

119. Salehi, P., Khendek, F., Toeroe, M., et al. (2009) Checking for service instance protection for AMF configurations, In the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, IEEE Computer Society, Singapore, pp. 269–274.

120. Salehi, P., Khendek, F., Hamou-Lhadj, A., et al. (2011) AMF configurations: checking for service protection using heuristics, In the 7th International Conference on Network and Service Management, CNSM 2011. IEEE Computer Society, Paris.

121. Object Management Group (2009) UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.0, http://www.omg.org/spec/MARTE/1.0/ (accessed 28 July 2011).

122. Bernardi, S., Merseguer, J., and Petriu, D. (2011) A dependability profile within MARTE. Software and Systems Modeling, 10 (3), 313–336.

123. Kanso, A., Toeroe, M., Khendek, F., and Hamou-Lhadj, A. (2008) Automatic generation of AMF compliant configurations, in The 5th International Symposium on Service Availability, Lecture Notes in Computer Science, Vol. 5017 (eds T. Nanya et al.), Springer, Berlin, pp. 155–170.

124. Kanso, A., Khendek, F., Toeroe, M., and Hamou-Lhadj, A. (2009) Generating AMF configurations from software vendor constraints and user requirements, In International Conference on Availability, Reliability and Security, ARES 2009, IEEE Computer Society, pp. 454–461.

125. Kanso, A., Khendek, F., Toeroe, M., and Hamou-Lhadj, A. (2010) Ranking service units for providing and protecting highly available services with load balancing, in Proceedings of the 10th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2010 (ed. K. Drira et al.), IEEE Computer Society, pp. 33–40.

126. The Eclipse Fundation (2011) Eclipse, http://eclipse.org/ (accessed 29 July 2011).

127. Salehi, P., Colombo, A., Hamou-Lhadj, A., and Khendek, F. (2010) A model driven approach for AMF configuration generation, in System Analysis and Modeling: About Models. 6th International Workshop, SAM 2010, Lecture Notes in Computer Science, Vol. 6598 (eds F.A. Kraemer and P. Herrmann), Springer, Berlin, pp. 124–143.

128. Jouault, F., Allilaire, F., Bézivin, J., and Kurtev, I. (2008) ATL: a model transformation tool. Special Issue on Second issue of experimental software and toolkits (EST), in Science of Computer Programming, vol. 72 (1–2) (ed. M.G.J. vandenBrand), Elsevier, Amsterdam, pp. 31–39.

129. Kohzadi, S. (2009) Automatic generation of upgrade campaign specifications. MASc thesis. CSE Department, Montreal, QC: Concordia University.

130. Mishra, A. (2010) Automated AMF configuration difference generation. MASc thesis. ECE Department, Montreal, QC: Concordia University.

131. Goyal, A. and Lavenberg, S.S. (1987) Modeling and analysis of computer system availability. IBM Journal of Research and Development, 31 (6), 651–664.

132. Wood, A. (1994) Availability modeling. IEEE Circuits and Devices Magazine, 10 (3), 22–27.

133. Muppala, J., Ciardo, G., and Trivedi, K.S. (1994) Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability, 1 (2), 9–20.

134. Ciardo, G., Muppala, J., Trivedi, K., et al. (1989) SPNP: stochastic petri net package, Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, PNPM89, IEEE Computer Society, pp. 142–150.

135. Wang, D. and Trivedi, K. (2005) Modeling user-perceived service availability, in 2nd International Service Availability Symposion, Lecture Notes in Computer Science, Vol. 3694 (eds M. Malek, E. Nett, and N. Suri), Springer, Berlin, pp. 107–122.

136. Amazon Web Services (2011) Amazon Elastic Compute Cloud (EC2), http://aws.amazon.com/ec2/ (accessed 25 September 2011).

137. Microsoft (2011) Windows Azure, http://www.microsoft.com/windowsazure/ (accessed 25 September 2011).

138. VMware Inc. (2011) VMware Cloud Computing, http://www.vmware.com/solutions/cloud-computing/index.html (accessed 25 September 2011).

139. Google (2011) Google App Engine, http://code.google.com/appengine/docs/whatisgoogleappengine.html (accessed 25 September 2011).

140. Armbrust, M., Fox, A., Griffith, R. et al. (2010) A view of cloud computing. Communications of the ACM, 53 (4), 50–58.

141. BBC (2011) Microsoft Online Services Hit by Major Failure, http://www.bbc.co.uk/news/technology-14851455 (accessed 13 September 2011).

142. VMware Inc. (2009) Protecting Mission-Critical Workloads with VMware Fault Tolerance. VMware White Paper, http://www.vmware.com/files/pdf/resources/ft_virtualization_wp.pdf (accessed 25 September 2011).

143. Khalidi, Y.A. (2011) Building a cloud computing platform for new possibilities. IEEE Computer, 44 (3), 29–34.

144. IEEE Computer Society and Association for Computing Machinery (2008) Computer Science Curriculum 2008: An Interim Revision of CS 2001, http://www.computer.org/portal/c/document_library/get_file?p_l_id=2814020&folderId=3111026&name=DLFE-57604.pdf (accessed 25 September 2011).

145. Association for Computing Machinery and IEEE Computer Society (2008) Information Technology 2008 Curriculum Guidelines for Undergraduate Degree Programs in Information Technology, http://www.computer.org/portal/c/document_library/get_file?p_l_id=2814020&folderId=3111026&name=DLFE-57605.pdf (accessed 25 September 2011).

146. Association for Computing Machinery and Association for Information Systems (2010) IS 2010 Curriculum Guidelines for Undergraduate Degree Programs in Information Systems, http://www.computer.org/portal/c/document_library/get_file?p_l_id=2814020&folderId=3111026&name=DLFE-57608.pdf (accessed 25 September 2011).

Further Reading

Gray, J. and Reuter, A. (1993) Transaction Processing: Concepts and Techniques, Morgan Kaufmann Publishers Inc., San Francisco, CA.

Sahner, R., Trivedi, K.S., and Puliafito, A. (1996) Performance and Reliability Analysis of Computer Systems, Kluwer Academic Publishers, Dordrecht.

Utas, G. (2005) Robust Communications Software: Extreme Availability, Reliability and Scalability for Carrier-Grade Systems, John Wiley & Sons, Ltd, Chichester.