HOLACONF - Cloud Forward 2015 Conference From Distributed to Complete Computing HAMZA. in collaboration SAHLI with
|
|
- Jesse Patterson
- 8 years ago
- Views:
Transcription
1 HOLACONF - Cloud Forward Conference From Distributed to Complete Computing HAMZA in collaboration SAHLI with Pr. Faiza BELALA and Dr. Chafia BOUANAKA LIRE Laboratory, Constantine II University-Abdelhamid Mehri
2 1. Introduc+on 2. Bigraphical Reac+ve Systems (BRS) 3. Modelling Cloud Systems and Their Elas+c Behavior 4. Reachability Checking 5. Conclusion 2
3 3
4 What is Cloud Compu+ng? According to NIST (*) «Cloud compu*ng is a model for enabling ubiquitous, convenient, on- demand network access to a shared pool of configurable compu*ng resources that can be rapidly provisioned and released with minimal management effort or service provider interac*on. This cloud model is composed of five essen*al characteris*cs, three service models, and four deployment models» (*): Na+onal Ins+tute of Standards and Technology (NIST) 4
5 The emergence of the cloud has raised new issues and new security concerns. Cloud accessibility from everywhere exposes it to various types of web- based suck as the DDoS (distributed denial of service) A DDoS is an explicit to make a server, a service or a network unavailable to users by flooding the target request queue with fake requests. 5
6 Defini+on : «The degree to which a system is able to adapt to workload changes by provisioning and deprovisioning resources in an autonomic manner» Herbst and colleagues, According to the classificaqon of Galante and Bona, the elasqcity can be provided using three fundamental methods: 1. Horizontal scale; 2. VerQcal scale; 3. MigraQon. 6
7 Modeling and analyzing challenges: The lack of a generic and exhausqve methodology for modeling and analyzing cloud- based systems and their elasqcity. Solu+on: Formal methods a crucial step to reduce the modelling complexity and enhance the verificaqon of cloud- based systems and their elasqc behavior. à An approach based on bigraphical reacqve systems (BRS) for modeling the structure and behavior aspects of cloud systems and Maude language for the verificaqon of elasqcity property. 7
8 8
9 Graphical formalism for modelling, execuqng and analyzing ubiquitous compuqng systems. Meta- model which emphasizes both locality and connecqvity. 9
10 Formally a bigraph takes the form: G=(V, E, ctrl, G P, G L ) :I J V and E are respecqvely finite sets of nodes and edges ctrl=v K is a control map. G P =(V, ctrl, prnt):m n is the place graph. prnt :m V V n is a parent map. m is a finite ordinal number which represents sites. n is a finite ordinal number which represents regions. 10
11 Formally a bigraph takes the form: G=(V, E, ctrl, G P, G L ) :I J G L =(V, E, ctrl, link):x Y is the link graph. link :X P E Y is the link map. X,, Y are respecqvely sets of inner and outer names. P is a set of ports. I= m,x represents the inner face. J= n, Y represents the outer face. 11
12 Bigraphical ReacQve Systems consist of a category of bigraphs and a set of reacqon rules. ReacQon rules define the dynamics of bigraphs (NesQng and Linking). Defini+on : A reacqon rule (R, R, η) consists of a redex (R:m J) which may be transformed to a reactum (R : m J) to rewrite the bigraph where η: m m is map of ordinals. 12
13 13
14 Formal mapping based on correspondences between cloud system and BRS concepts. Cloud elements Cloud system Front- end, back- end Client, data center, load balancer, server, container, virtual machine, service Node idenqty InteracQon Abstract element ElasQcity acqon Cloud system structure Bigraphical concepts Bigraph CS =( V CS, E CS, ctrl CS, CS P, CS L ) Root: (0,1) Node: v V CS Control: k K CS Edge/Hyper edge: e i E CS Site: s i S CS Cloud system elas+c behavior ReacQon rule : CS R C S / R=(R, R,η) Each idenqfied cloud element h a s a precise semanqcs in the theory of BRS. Cloud system elasqc behavior is formally defined using reacqon rules. 14
15 Front- End/Back- End Addi+onal VM Nodes Loaded Server Open Link 15
16 Cloud- based systems elasqc behavior is expressed trough reacqon rules: CS R C S / R=(R, R,η). Each reacqon rule represent an elasqcity acqon which can be : triggered in response to workload changes, and applied in a specific cloud level (so_ware, pla`orm and infrastructure). This work focus only on modelling horizontal elasqcity and migraqon methods. AddiQonal reacqon rules are defined to express other behavioral situaqons (e.g. service allocaqon). 16
17 Cloud system Configura+on CS Reconfigura+on from CS to CS. Infrastructure Level Plaaorm Level BRS Bigraph: CS =( V CS, E CS, ctrl CS, CS P, CS L ) Meta- ReacQon rule: CS R C S / R=(R, R,η) Vm instance replica+on (horizontal scale) SE. VM.(S S L) d SE. VM.(S) VM.(S ) d Vm instance consolida+on (horizontal scale) SE. VM.(S) VM.(S ) d SE. VM.(S S ) d Virtual machine migra+on SE.(VM.(d) L d ) SE.(d ) SE.( d ) SE.(VM.(d) d ) Container instance replica+on (horizontal scale) SE. CN.(S S L) d SE. CN.(S) CN.(S ) d Container instance consolida+on (horizontal scale) SE. CN.(S) CN.(S ) d SE. CN.(S S ) d Container redeployment (migra+on) SE.(CN.(d) L d ) SE.(d ) SE.( d ) SE.(CN.(d) d ) Service instance replica+on (horizontal scale) Service Level SE.(VM. S d d ) SE.(VM. S S d d ) Service instance consolida+on (horizontal scale) SE.(VM. S S d d ) SE.(VM. S d d ) Service redeployment (migra+on) VM. S L d VM.(d ) VM.(d) VM.(S d ) 17
18 Virtual Machine Instance Replica+on Loaded Virtual Machine New Vm Instance Load Shared SE. VM.(S S L) d SE. VM.(S) VM.(S ) d 18
19 19
20 Tools built around BRS as BigMC (bigraphical model- checker) and DBtk are very limited and specific to some applicaqon domains. Maude language was used as alternaqve to overcome these different limits. Maude is a high- level formal specificaqon language based on equaqonal and rewriqng logics. It results on separately executable and verifiable specificaqons. 20
21 A projecqon from the BRS- based model of cloud systems to Maude language. The syntax of this Maude specificaqon is fully inspired from the bigraph term language. The specificaqon is composed of the following modules: specifica+on + simula+on (execu+on) 1. BiCLOUD_SYNTAX : The model s signature and semanqcs. 2. BiCLOUD_DYNAMIC: Behavioral aspects of the model through rewrite rules. 3. BiCLOUD_CHECK: states describing the elasqcity property (scale- up and scale- down states) verifica+on The proposed Maude- based approach is generic enough and may be easily extended. 21
22 Maude s search command and model- checking invariants technique are used in this work to verify the elasqcity property under finite reachability assumpqons. The syntax of the search command conforms to the following general scheme: search <Term- 1> <SearchArrow> <Term- 2> such that <Condi+on> Verifying the elasqcity property consists of checking that the cloud system is scaling up, when the workload rises and scaling down when it drops. In our case that means checking that the states (scale- up and scale- down) defined in the maude module BiCLOUD_CHECK are reachable from an iniqal state (<Term- 1>). Example : ConfiguraQon- Scenario1 =>* B:Bigraph such that elasqcity (B:Bigraph) == true 22
23 Ini+al State Reached States End of Search 23
24 24
25 Contribu+on: A formal modeling and verificaqon approach for cloud systems and their elasqcity based on bigraphical reacqve systems (BRS) and maude language. Ongoing research: Further refinements and extensions to our bigraphical model of systems to include addiqonal elasqcity aspects as the verqcal elasqcity. Apply our approach on large- scale cloud- based systems. Verify other proprieqes related to elasqc cloud- based systems. 25
26 Thank You For Your
Model-Checking Cloud Systems Using BigMC
25 Model-Checking Cloud Systems Using BigMC Hamza Sahli Faiza Belala Chafia Bouanaka LIRE Laboratory, University of Constantine II Constantine, Algeria sahli.hamza.glsd@gmail.com faiza.belala@univ-constantine2.dz@hotmail.com
More informationThe Role of Nutanix in the Public /Private / Hybrid Cloud Spectrum
The Role of Nutanix in the Public /Private / Hybrid Cloud Spectrum Chris Howard Vice President, Nutanix Federal Phil Ditzel Senior SE Public Cloud Let s start with the definition NIST s Defini-on: A model
More informationLicensing++ for Clouds. Mark Perry
Licensing++ for Clouds Mark Perry Plan* 1. Cloud? 2. Survey 3. Some ques@ons 4. Some ideas 5. Some sugges@ons (that would be you) * Plan 9 future events such as these will affect you in the future Clouds
More informationSuppor&ng the Design of Safety Cri&cal Systems Using AADL
Suppor&ng the Design of Safety Cri&cal Systems Using AADL T. Correa, L. B. Becker, J.- M. Farines, J.- P. Bodeveix, M. Filali, F. Vernadat IRIT LAAS UFSC Agenda Introduc&on Proposed Approach Verifica&on
More informationIntroduc)on of Pla/orm ISF. Weina Ma Weina.Ma@uoit.ca
Introduc)on of Pla/orm ISF Weina Ma Weina.Ma@uoit.ca Agenda Pla/orm ISF Product Overview Pla/orm ISF Concepts & Terminologies Self- Service Applica)on Management Applica)on Example Deployment Examples
More informationChapter 3. Database Architectures and the Web Transparencies
Week 2: Chapter 3 Chapter 3 Database Architectures and the Web Transparencies Database Environment - Objec
More informationCloud Compu)ng: Overview & challenges. Aminata A. Garba
Cloud Compu)ng: Overview & challenges Aminata A. Garba Outline I. Introduc*on II. Virtualiza*on III. Resources Op*miza*on VI. Challenges 2 A Historical Note 1960, the idea of organizing computa)on as a
More informationChallenges emerging from future cloud applica4on scenarios
Challenges emerging from future cloud applica4on scenarios Keith Jeffery, Dimosthenis Kyriazis, George Kousiouris, Jörn Altmann, Augusto Ciuffole?, Ilias Maglogiannis, Paolo Nesi, Bojan Suzic, Zhiming
More informationExperiments on cost/power and failure aware scheduling for clouds and grids
Experiments on cost/power and failure aware scheduling for clouds and grids Jorge G. Barbosa, Al0no M. Sampaio, Hamid Harabnejad Universidade do Porto, Faculdade de Engenharia, LIACC Porto, Portugal, jbarbosa@fe.up.pt
More informationCloud Environment Selec1on and Configura1on: A So7ware Product Lines- Based Approach
Cloud Environment Selec1on and Configura1on: A So7ware Product Lines- Based Approach Clément Quinton Ph.D. Defense Wednesday, October 22 th 2014 Rapporteurs: Roberto Di Cosmo, Université Paris Diderot
More informationClusters in the Cloud
Clusters in the Cloud Dr. Paul Coddington, Deputy Director Dr. Shunde Zhang, Compu:ng Specialist eresearch SA October 2014 Use Cases Make the cloud easier to use for compute jobs Par:cularly for users
More informationMay 13-14, 2015. Copyright 2015 Open Networking User Group. All Rights Reserved Confiden@al Not For Distribu@on
May 13-14, 2015 NSV Architecture Test Architecture System Under Test Mgmt, Orch, etc. Test Solution VM VM Hypervisor Hypervisor IP Network Methodology Each individual requirement had 1 test case associated
More informationbenefit of virtualiza/on? Virtualiza/on An interpreter may not work! Requirements for Virtualiza/on 1/06/15 Which of the following is not a poten/al
1/06/15 Benefits of virtualiza/on Virtualiza/on Which of the following is not a poten/al benefit of virtualiza/on? A. cost effec/ve B. applica/on migra/on is easy C. improve applica/on performance D. run
More informationCloud computing research activities at. Jordan University of Science and Technology. Yaser Jararweh. Irbid, Jordan yijararweh@just.edu.
Cloud computing research activities at Jordan University of Science and Technology Yaser Jararweh Jordan University of Science and Technology Irbid, Jordan yijararweh@just.edu.jo 29/08/2013 Yaser Jararweh:
More informationClouds and Other Computa1onal Frameworks. Evere7 Toews, Cybera Inc. Todd King, UCLA
Clouds and Other Computa1onal Frameworks Evere7 Toews, Cybera Inc. Todd King, UCLA Presenta1on Overview The cloud can be a great fit for your computa1onal and storage needs Projects overview The cloud
More informationVMsources Group Inc. www.vmsources.com 1-866-644-7764
VMware Horizon View 6 Virtual Desktop Deployment COURSE DESCRIPTION Our VMware View class offers participants the most extensive training available in the Installation, Configuration and Management of
More informationNetworked Virtual Spaces and Clouds. Magda El Zarki UC Irvine
Networked Virtual Spaces and Clouds Magda El Zarki UC Irvine Outline Introduc6on to Networked Virtual Environments (NVE) Networked Virtual Environment Architectures Quality of Experience Clouds and real
More informationPrivate Cloud Database Consolidation with Exadata. Nitin Vengurlekar Technical Director/Cloud Evangelist
Private Cloud Database Consolidation with Exadata Nitin Vengurlekar Technical Director/Cloud Evangelist Agenda Private Cloud vs. Public Cloud Business Drivers for Private Cloud Database Architectures for
More informationInterCloud Exchange: pia5aforme neutrali di comunicazione tra sistemi di Cloud Compu:ng. Cosimo Anglano Lorenzo Benussi Andrea Casalegno Andrea Rive@
InterCloud Exchange: pia5aforme neutrali di comunicazione tra sistemi di Cloud Compu:ng Cosimo Anglano Lorenzo Benussi Andrea Casalegno Andrea Rive@ Cloud Compu:ng: essen:al features (1) Virtualiza)on:
More informationInstallation Guide Avi Networks Cloud Application Delivery Platform Integration with Cisco Application Policy Infrastructure
Installation Guide Avi Networks Cloud Application Delivery Platform Integration with Cisco Application Policy Infrastructure August 2015 Table of Contents 1 Introduction... 3 Purpose... 3 Products... 3
More informationAVI NETWORKS CLOUD APPLICATION DELIVERY PLATFORM FOR VMWARE VCLOUD AIR
DEPLOYMENT GUIDE AVI NETWORKS CLOUD APPLICATION DELIVERY PLATFORM FOR VMWARE VCLOUD AIR Introduction VMware vcloud Air is a public cloud platform built on the proven foundation of vsphere and managed by
More informationPLUMgrid Toolbox: Tools to Install, Operate and Monitor Your Virtual Network Infrastructure
Toolbox: Tools to Install, Operate and Monitor Your Virtual Network Infrastructure Introduction The concept of Virtual Networking Infrastructure (VNI) is disrupting the networking space and is enabling
More informationSeminar: So#ware Engineering of Embedded Systems
Seminar: So#ware Engineering of Embedded Systems - Quality Assurance of Embedded Systems - Prof. Dr. Sabine Glesner Paula Herber, Nils Jähnig, Lydia Ma7ck, Marcus Mikulcak, Sebas;an Schlesinger Summer
More informationSummary of Cloud Compu.ng (CC) from the paper Abovce the Clouds: A Berkeley View of Cloud Compu.ng (Feb. 2009)
Summary of Cloud Compu.ng (CC) from the paper Abovce the Clouds: A Berkeley View of Cloud Compu.ng (Feb. 2009) Defini.ons (I) Cloud Compu)ng refers to both the applica)ons delivered as services over the
More informationOVERLAYING VIRTUALIZED LAYER 2 NETWORKS OVER LAYER 3 NETWORKS
OVERLAYING VIRTUALIZED LAYER 2 NETWORKS OVER LAYER 3 NETWORKS Matt Eclavea (meclavea@brocade.com) Senior Solutions Architect, Brocade Communications Inc. Jim Allen (jallen@llnw.com) Senior Architect, Limelight
More informationDeveloping Microsoft Azure Solutions
Course 20532A: Developing Microsoft Azure Solutions Page 1 of 7 Developing Microsoft Azure Solutions Course 20532A: 4 days; Instructor-Led Introduction This course is intended for students who have experience
More informationDeveloping Microsoft Azure Solutions 20532A; 5 days
Lincoln Land Community College Capital City Training Center 130 West Mason Springfield, IL 62702 217-782-7436 www.llcc.edu/cctc Developing Microsoft Azure Solutions 20532A; 5 days Course Description This
More informationTowards a Resource Elasticity Benchmark for Cloud Environments. Presented By: Aleksey Charapko, Priyanka D H, Kevin Harper, Vivek Madesi
Towards a Resource Elasticity Benchmark for Cloud Environments Presented By: Aleksey Charapko, Priyanka D H, Kevin Harper, Vivek Madesi Introduction & Background Resource Elasticity Utility Computing (Pay-Per-Use):
More informationThe Evolu*on of Service Management
The Evolu*on of Extending Disciplines Across the Enterprise Michael Jones Regional CTO - Architecture Michael.Jones@servicenow.com 2015 Now All Rights Reserved 1 How work gets done today! Emails Spreadsheets
More informationData Management in the Cloud: Limitations and Opportunities. Annies Ductan
Data Management in the Cloud: Limitations and Opportunities Annies Ductan Discussion Outline: Introduc)on Overview Vision of Cloud Compu8ng Managing Data in The Cloud Cloud Characteris8cs Data Management
More informationSo#ware Defined Radio (SDR) Architecture and Systems Issues
So#ware Defined Radio (SDR) Architecture and Systems Issues Workshop on Spacecra# Flight So#ware (FSW 09) 2009 11 6 Kenneth J. Peters Jet Propulsion Laboratory, California Ins9tute of Technology Speaker
More informationOpen Standards, the Cloud, and Grey Literature
Open Standards, the Cloud, and Grey Literature Panagio8s Stathopoulos, pstath@ekt.gr Na8onal Documenta8on Centre / Na8onal Hellenic Research Founda8on, hdp:// www.ekt.gr Athens, Greece Agenda The Na8onal
More informationData Center Evolu.on and the Cloud. Paul A. Strassmann George Mason University November 5, 2008, 7:20 to 10:00 PM
Data Center Evolu.on and the Cloud Paul A. Strassmann George Mason University November 5, 2008, 7:20 to 10:00 PM 1 Hardware Evolu.on 2 Where is hardware going? x86 con(nues to move upstream Massive compute
More informationThe Development of Cloud Interoperability
NSC- JST Workshop The Development of Cloud Interoperability Weicheng Huang Na7onal Center for High- performance Compu7ng Na7onal Applied Research Laboratories 1 Outline Where are we? Our experiences before
More informationVirtualiza)on and its Applica)ons
Virtualiza)on and its Applica)ons Tatsuo Nakajima 1, Kenji Kono 2, Yoichi Ishiwata 3, Kenichi Kourai 4, Shuichi Oikawa 5, Hiroshi Yamada 2, Hiromasa Shimada 1, Yuki Kinebuchi 1, Tomohiro Miyahira 6 1 Waseda
More informationHow To Protect Virtualized Data From Security Threats
S24 Virtualiza.on Security from the Auditor Perspec.ve Rob Clyde, CEO, Adap.ve Compu.ng; former CTO, Symantec David Lu, Senior Product Manager, Trend Micro Hemma Prafullchandra, CTO/SVP Products, HyTrust
More informationHardware enhanced Security in Cloud Compu8ng. Cloud Compu8ng (Public IaaS)
Hardware enhanced Security in Cloud Compu8ng Ruby B. Lee Princeton University ARO workshop on Cloud Security, March 11, 2013 Cloud Compu8ng (Public IaaS) End Users Cloud Provider Guest VMs Cloud Customer
More informationVirtual Pla*orms Hypervisor Methods to Improve Performance and Isola7on proper7es of Shared Mul7core Servers
Virtual Pla*orms Hypervisor Methods to Improve Performance and Isola7on proper7es of Shared Mul7core Servers Priyanka Tembey Ada Gavrilovska, Karsten Schwan [School of CS, Georgia Tech] 1 Applica7on Consolida7on
More informationThe Theory And Practice of Testing Software Applications For Cloud Computing. Mark Grechanik University of Illinois at Chicago
The Theory And Practice of Testing Software Applications For Cloud Computing Mark Grechanik University of Illinois at Chicago Cloud Computing Is Everywhere Global spending on public cloud services estimated
More informationCourse 20532B: Developing Microsoft Azure Solutions
Course 20532B: Developing Microsoft Solutions Five Days, Instructor-Led About this Course This course is intended for students who have experience building vertically scaled applications. Students should
More informationCloud Compu)ng in Educa)on and Research
Cloud Compu)ng in Educa)on and Research Dr. Wajdi Loua) Sfax University, Tunisia ESPRIT - December 2014 04/12/14 1 Outline Challenges in Educa)on and Research SaaS, PaaS and IaaS for Educa)on and Research
More informationResilience improving features of MPLS, IPv6 and DNSSEC
Resilience improving features of MPLS, IPv6 and DNSSEC So?ris Ioannidis Ins%tute of Computer Science (ICS) Founda%on for Research and Technology Hellas (FORTH) Crete, Greece MPLS, IPv6 and DNSSEC MPLS
More informationBuilding custom memory profilers. In# Gonzalez- Herrera Diverse Team Advisers: Johann Bourcier and Olivier Barais
Building custom memory profilers In# Gonzalez- Herrera Diverse Team Advisers: Johann Bourcier and Olivier Barais What are and why we need custom memory profilers? Developers think in terms of high- level
More informationIntroduc)on to the IoT- A methodology
10/11/14 1 Introduc)on to the IoTA methodology Olivier SAVRY CEA LETI 10/11/14 2 IoTA Objec)ves Provide a reference model of architecture (ARM) based on Interoperability Scalability Security and Privacy
More informationCloud Computing through Virtualization and HPC technologies
Cloud Computing through Virtualization and HPC technologies William Lu, Ph.D. 1 Agenda Cloud Computing & HPC A Case of HPC Implementation Application Performance in VM Summary 2 Cloud Computing & HPC HPC
More informationSo#ware quality assurance - introduc4on. Dr Ana Magazinius
So#ware quality assurance - introduc4on Dr Ana Magazinius 1 What is quality? 2 What is a good quality car? 2 and 2 2 minutes 3 characteris4cs 3 What is quality? 4 What is quality? How good or bad something
More informationARTIST Methodology and Tooling. Jesus Gorroñogoitia - Atos SOC Crete, 1 st July 2015
ARTIST Methodology and Tooling Jesus Gorroñogoitia - Atos SOC Crete, 1 st July 2015 Motivation: From SaaP to SaaS So#ware as a Product based Company So#ware as a Service based Company : Cloud Computing
More informationThis presentation covers virtual application shared services supplied with IBM Workload Deployer version 3.1.
This presentation covers virtual application shared services supplied with IBM Workload Deployer version 3.1. WD31_VirtualApplicationSharedServices.ppt Page 1 of 29 This presentation covers the shared
More informationEnterprise QoS. Tim Chung Google Corporate Netops Architecture Nanog 49 June 15th, 2010
Enterprise QoS Tim Chung Google Corporate Netops Architecture Nanog 49 June 15th, 2010 Agenda Challenges Solu5ons Opera5ons Best Prac5ces Note: This talk pertains to Google enterprise network only, not
More informationPerspectives on Moving to the Cloud Paradigm and the Need for Standards. Peter Mell, Tim Grance NIST, Information Technology Laboratory 7-11-2009
Perspectives on Moving to the Cloud Paradigm and the Need for Standards Peter Mell, Tim Grance NIST, Information Technology Laboratory 7-11-2009 2 NIST Cloud Computing Resources NIST Draft Definition of
More informationReturn on Experience on Cloud Compu2ng Issues a stairway to clouds. Experts Workshop Nov. 21st, 2013
Return on Experience on Cloud Compu2ng Issues a stairway to clouds Experts Workshop Agenda InGeoCloudS SoCware Stack InGeoCloudS Elas2city and Scalability Elas2c File Server Elas2c Database Server Elas2c
More informationDeploying, Configuring, and Administering Microsoft Lync Server 2010
Course 10533: Deploying, Configuring, and Administering Microsoft Lync Server 2010 Page 1 of 9 Deploying, Configuring, and Administering Microsoft Lync Server 2010 Course 10533: 4 days; Instructor-Led
More information10533: Deploying, Configuring, and Administering Microsoft Lync Server 2010 Duration: Five Days
To register or for more information call our office (208) 898-9036 or email register@leapfoxlearning.com 10533: Deploying, Configuring, and Administering Microsoft Lync Server 2010 Duration: Five Days
More informationCase Studies in Solving Testing Constraints using Service Virtualization
Case Studies in Solving Testing Constraints using Service Virtualization Rix.Groenboom@Parasoft.NL 2/21/14 1 Introduction Paraso& is supplier automated tes1ng solu1ons Since 1984, Los Angeles (US) and
More informationStrategies for Medical Device So2ware Development Presented By Anthony Giles of Blackwood Embedded Solu;ons And a Case Study by Francis Amoah of Creo
Strategies for Medical Device So2ware Development Presented By Anthony Giles of Blackwood Embedded Solu;ons And a Case Study by Francis Amoah of Creo Medical Introduc;on Standards 60601-1 in par;cular
More informations@lm@n Oracle Exam 1z0-102 Oracle Weblogic Server 11g: System Administration I Version: 9.0 [ Total Questions: 111 ]
s@lm@n Oracle Exam 1z0-102 Oracle Weblogic Server 11g: System Administration I Version: 9.0 [ Total Questions: 111 ] Oracle 1z0-102 : Practice Test Question No : 1 Which two statements are true about java
More informationCourse: Fundamentals of Microsoft Server 2008 Active Directory
Page 1 of 5 Course: Fundamentals of Microsoft Server 2008 Active Directory Course 6424A Duration: 3 (days) Introduction Elements of this syllabus are subject to change. This three-day instructor-led course
More informationSecurity Management of Cloud-Native Applications. Presented By: Rohit Sharma MSc in Dependable Software Systems (DESEM)
Security Management of Cloud-Native Applications Presented By: Rohit Sharma MSc in Dependable Software Systems (DESEM) 1 Outline Context State-of-the-Art Design Patterns Threats to cloud systems Security
More informationImplementing and Managing Microsoft Desktop Virtualization
Implementing and Managing Microsoft Desktop Virtualization Course 10324: 5 days, Instructor-led Course Description This five-day, instructor-led course provides you with the knowledge and skills to implement
More informationAutomate the monitoring of your Network through PMp
Automate the monitoring of your Network through PMp 6th TF-NOC Meeting DUBLIN 5-6 June, 2012 By Wallemacq Pierre BELNET pierrew@belnet.be Agenda Introduc=on Nagios through PMp PMp Why Nagios/OMD? Your
More informationManjrasoft Market Oriented Cloud Computing Platform
Manjrasoft Market Oriented Cloud Computing Platform Innovative Solutions for 3D Rendering Aneka is a market oriented Cloud development and management platform with rapid application development and workload
More informationLoad balancing model for Cloud Data Center ABSTRACT:
Load balancing model for Cloud Data Center ABSTRACT: Cloud data center management is a key problem due to the numerous and heterogeneous strategies that can be applied, ranging from the VM placement to
More informationCourse 10533A: Deploying, Configuring, and Administering Microsoft Lync Server 2010
Sales 406/256-5700 Support 406/252-4959 Fax 406/256-0201 Evergreen Center North 1501 14 th St West, Suite 201 Billings, MT 59102 Course 10533A: Deploying, Configuring, and Administering Microsoft Lync
More informationCloud Compu)ng. Yeow Wei CHOONG Anne LAURENT
Cloud Compu)ng Yeow Wei CHOONG Anne LAURENT h-p://www.b- eye- network.com/blogs/eckerson/archives/cloud_compu)ng/ 2011 h-p://www.forbes.com/sites/tjmccue/2014/01/29/cloud- compu)ng- united- states- businesses-
More informationUpdate on the Cloud Demonstration Project
Update on the Cloud Demonstration Project Khalil Yazdi and Steven Wallace Spring Member Meeting April 19, 2011 Project Par4cipants BACKGROUND Eleven Universi1es: Caltech, Carnegie Mellon, George Mason,
More informationCourse 6331A: Deploying and Managing Microsoft System Center Virtual Machine Manager
Course 6331A: Deploying and Managing Microsoft System Center Virtual Machine Manager Length: 3 Days Language(s): English Audience(s): IT Professionals Level: 300 Technology: Microsoft System Center Virtual
More informationHunk & Elas=c MapReduce: Big Data Analy=cs on AWS
Copyright 2014 Splunk Inc. Hunk & Elas=c MapReduce: Big Data Analy=cs on AWS Dritan Bi=ncka BD Solu=ons Architecture Disclaimer During the course of this presenta=on, we may make forward looking statements
More informationCh. 13 Cloud Services. Magda El Zarki Dept. of CS UC, Irvine
Ch. 13 Cloud Services Magda El Zarki Dept. of CS UC, Irvine The Cloud Cloud CompuBng Cloud Networking Cloud CompuBng Basic idea: renbng instead of buying IT It is a solubon that provides users with services
More informationLecture 02b Cloud Computing II
Mobile Cloud Computing Lecture 02b Cloud Computing II 吳 秀 陽 Shiow-yang Wu T. Sridhar. Cloud Computing A Primer, Part 2: Infrastructure and Implementation Topics. The Internet Protocol Journal, Volume 12,
More information1 Scope of Assessment
CIT 380 Project Network Security Assessment Due: April 30, 2014 This project is a security assessment of a small group of systems. In this assessment, students will apply security tools and resources learned
More informationThe Future Of Cloud Computing. Thursday, September 1, 11
1 The Future Of Cloud Computing 2 ::Setting Some Context Cloud Computing is a natural, disruptively innovative and timely opportunistic response to a converging set of socioeconomic, political, cultural
More informationLast Updated: July 2011. STATISTICA Enterprise Server Security
Last Updated: July 2011 STATISTICA Enterprise Server Security STATISTICA Enterprise Server Security Page 2 of 10 Table of Contents Executive Summary... 3 Introduction to STATISTICA Enterprise Server...
More informationOpenStack Assessment : Profiling & Tracing
OpenStack Assessment : Profiling & Tracing Presentation by Hicham ABDELFATTAH Master Director Mohamed Cheriet Outline Introduction OpenStack Issues Rally Perspectives 2 Definition Cloud computing is a
More informationBusiness-Driven Software Engineering Lecture 3 Foundations of Processes
Business-Driven Software Engineering Lecture 3 Foundations of Processes Jochen Küster jku@zurich.ibm.com Agenda Introduction and Background Process Modeling Foundations Activities and Process Models Summary
More informationVIRTUAL LABORATORY: MULTI-STYLE CODE EDITOR
VIRTUAL LABORATORY: MULTI-STYLE CODE EDITOR Andrey V.Lyamin, State University of IT, Mechanics and Optics St. Petersburg, Russia Oleg E.Vashenkov, State University of IT, Mechanics and Optics, St.Petersburg,
More informationSecure Messaging Server Console... 2
Secure Messaging Server Console... 2 Upgrading your PEN Server Console:... 2 Server Console Installation Guide... 2 Prerequisites:... 2 General preparation:... 2 Installing the Server Console... 2 Activating
More informationVeeam Cloud Connect. Version 8.0. Administrator Guide
Veeam Cloud Connect Version 8.0 Administrator Guide April, 2015 2015 Veeam Software. All rights reserved. All trademarks are the property of their respective owners. No part of this publication may be
More information1Z0-102. Oracle Weblogic Server 11g: System Administration I. Version: Demo. Page <<1/7>>
1Z0-102 Oracle Weblogic Server 11g: System Administration I Version: Demo Page 1. Which two statements are true about java EE shared libraries? A. A shared library cannot bedeployed to a cluster.
More informationCloud Computing, and REST-based Architectures Reid Holmes
Material and some slide content from: - Software Architecture: Foundations, Theory, and Practice - Krzysztof Czarnecki Cloud Computing, and REST-based Architectures Reid Holmes Cloud precursors Grid Computing:
More informationTHE WINDOWS AZURE PROGRAMMING MODEL
THE WINDOWS AZURE PROGRAMMING MODEL DAVID CHAPPELL OCTOBER 2010 SPONSORED BY MICROSOFT CORPORATION CONTENTS Why Create a New Programming Model?... 3 The Three Rules of the Windows Azure Programming Model...
More informationA framework for secure migration processes of legacy systems to the cloud
A framework for secure migration processes of legacy systems to the cloud A framework for secure migration processes of legacy systems to the cloud 1. Introduction 2. SMiLe2Cloud 3. Conclusions 1. Introduction
More informationMicrosegmentation Using NSX Distributed Firewall: Getting Started
Microsegmentation Using NSX Distributed Firewall: VMware NSX for vsphere, release 6.0x REFERENCE PAPER Table of Contents Microsegmentation using NSX Distributed Firewall:...1 Introduction... 3 Use Case
More informationHow To Make A Cloud Based Computer Power Available To A Computer (For Free)
Cloud Compu)ng Adam Belloum Ins)tute of Informa)cs University of Amsterdam a.s.z.belloum@uva.nl High Performance compu)ng Curriculum, Jan 2015 hgp://www.hpc.uva.nl/ UvA- SURFsara What is Cloud Compu)ng?
More informationSecure Attack Measure Selection and Intrusion Detection in Virtual Cloud Networks. Karnataka. www.ijreat.org
Secure Attack Measure Selection and Intrusion Detection in Virtual Cloud Networks Kruthika S G 1, VenkataRavana Nayak 2, Sunanda Allur 3 1, 2, 3 Department of Computer Science, Visvesvaraya Technological
More informationInternet of Things and Internet of People: The Role of User Interaction in the IIoT vision
Interac(on Flow Modeling Language Internet of Things and Internet of People: The Role of User Interaction in the IIoT vision Marco Brambilla marco.brambilla@polimi.it @marcobrambi Context and need Specifica(on
More informationFormal Modeling for Multi-Level Authentication in Sensor-Cloud Integration System
Formal Modeling for Multi-Level Authentication in Sensor-Cloud Integration System Dinesha H A Crucible of Research and Innovation PES Institute of Technology BSK 3 rd Stage Bangalore-85 R Monica M.Tech
More informationOpen Data Center Alliance Usage: VIRTUAL MACHINE (VM) INTEROPERABILITY
sm Open Data Center Alliance Usage: VIRTUAL MACHINE (VM) INTEROPERABILITY 1 Legal Notice This Open Data Center Alliance SM Usage: VM Interoperability is proprietary to the Open Data Center Alliance, Inc.
More informationProgrammabilty. Programmability in Microsoft Dynamics AX 2009. Microsoft Dynamics AX 2009. White Paper
Programmabilty Microsoft Dynamics AX 2009 Programmability in Microsoft Dynamics AX 2009 White Paper December 2008 Contents Introduction... 4 Scenarios... 4 The Presentation Layer... 4 Business Intelligence
More informationTrusted Geolocation in the Cloud. Based on NIST Interagency Report 7904 - Trusted Geolocation in the Cloud: Proof of Concept Implementation
Trusted Geolocation in the Cloud Based on NIST Interagency Report 7904 - Trusted Geolocation in the Cloud: Proof of Concept Implementation 2 Agenda Definition of cloud computing Trusted Geolocation in
More information70-414: Implementing a Cloud Based Infrastructure. Course Overview
70-414: Implementing a Cloud Based Infrastructure Course Overview This course covers will prepare the student for Exam 70-414: Implementing a Cloud Based Infrastructure. Students will learn how to create
More informationBizTalk Server 2013 R2 Licensing Datasheet and FAQ Published: May, 2014
BizTalk Server 2013 R2 Licensing Datasheet and FAQ Published: May, 2014 Product Overview BizTalk Server (BTS) is Microsoft s integration and connectivity server solution. A mature product on its eighth
More informationAvoiding Network Polarization and Increasing Visibility in Cloud Networks Using Broadcom Smart- Hash Technology
Avoiding Network Polarization and Increasing Visibility in Cloud Networks Using Broadcom Smart- Hash Technology Sujal Das Product Marketing Director Network Switching Karthik Mandakolathur Sr Product Line
More informationDevOps Course Content
DevOps Course Content INTRODUCTION TO DEVOPS What is DevOps? History of DevOps Dev and Ops DevOps definitions DevOps and Software Development Life Cycle DevOps main objectives Infrastructure As A Code
More informationHow Do I Transfer Remote Files?
How Do I Transfer Remote Files? 2 Scenario Developers at your company designed mappings that extract, transform, and load data. The source data for the mapping resides on a server separate from the server
More informationVirtual Machine in Data Center Switches Huawei Virtual System
Virtual Machine in Data Center Switches Huawei Virtual System Contents 1 Introduction... 3 2 VS: From the Aspect of Virtualization Technology... 3 3 VS: From the Aspect of Market Driving... 4 4 VS: From
More informationKeywords Distributed Computing, On Demand Resources, Cloud Computing, Virtualization, Server Consolidation, Load Balancing
Volume 5, Issue 1, January 2015 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Survey on Load
More informationMTD Keystone s Multiple Service Platforms
MTD s Multiple Service Platforms uses the Microso/ Office pla5orm and is an MS Access applica:on with integra:on to the common Microso/ Office applica:ons, namely Excel, Word, and Outlook. may be installed
More informationAlways On Infrastructure for Software as a Ser vice
Solution Brief: Always On Infrastructure for Software as a Ser vice WITH EGENERA CLOUD SUITE SOFTWARE Egenera, Inc. 80 Central St. Boxborough, MA 01719 Phone: 978.206.6300 www.egenera.com Introduction
More informationRackSim Virtualized Data Center Simulation
RackSim Virtualized Data Center Simulation Technology Overview Server and storage virtualization technology has revolutionized the data center in recent years. With the introduction of software defined
More information