InProceedingsofthe14thInternationalIFIPSymposiumonProtocolSpecication,Testing,andVerication,pages339{346,Chapmann&Hall,1994

Size: px
Start display at page:

Download "InProceedingsofthe14thInternationalIFIPSymposiumonProtocolSpecication,Testing,andVerication,pages339{346,Chapmann&Hall,1994"

Transcription

1 InProceedingsofthe14thInternationalIFIPSymposiumonProtocolSpecication,Testing,andVerication,pages339{346,Chapmann&Hall,1994 CompositionalSpecicationandVericationof Abstract Dept.ofComputerScience,DortmundUniversity,D-44221Dortmund,Germany High-SpeedTransferProtocols Transferprotocolsarecomposedfrombasicprotocolmechanismsandaccordinglyacomplex protocolcanbeveriedbyaseriesofrelativelysimplemechanismproofs.ourapproachapplies PeterHerrmann,HeikoKrumm L.Lamport'sTemporalLogicofActions(TLA).ItisbasedonamodularcompositionalTLAstyleandsupportstheanalysisofexiblyconguredhigh-speedtransferprotocols. KeywordCodes:C.2.2;F.3.1;D.3.3 Keywords:ProtocolVerication;TLA;Composition protocolmechanismscorrespondstoastructuringofservicerequirementsintodierent serviceproperties.itappliesdecompositionandstructurestheprotocolvericationinto high-speednetworks[3,10].thereforeecientmeansfortheanalysisofprotocolspectra areneeded.ourapproachreectsthatthecompositionoftransferprotocolsfrombasic Flexibleapplication-drivenprotocolcongurationcanhelptoenhancetheperformanceof 1Introduction referstotheconceptsofrenementmappings[1]andformalcompositionbylogicalconjunction[2].tlaiswell-suitedfortheneedsofpracticalprotocolverication.protocol ofinterestinglivenesspropertiesissupportedbytla. separatedandeasy-to-understandmechanismproofs. designersarefamilarwithstatetransitionbasedmodels.thedenitionandverication meanswhicharetailoredtothemodellingofconcurrentprocesssystems.therefore,we Nevertheless,TLAisaveryfundamentalapproachanddoesnotprovideforspecial TheapproachisbasedonL.Lamport'sTemporalLogicofActions(TLA[5])and performjointactions.thisstatelesswayofinteractionhasdierentbenets.especially resource-orientedprocessesaswellasconstraint-orientedprocessescanberepresented Lotos[4].Incomparisonwith[2],theprocessesdonotinteractviasharedvariablesbut (cf.[9]).furthermore,thestylesupportsdecompositionalproofs.asystemisthelogical conjunctionofitsprocessesandthestyleconventionsassuretheabsenceofcontradictions inthesystemformula.thereforeprocesspropertiesdirectlyareinheritedtothesystem. designedacompositionalspecicationstylefortlawhichisorientedatccs[7]and dierenttransferprotocols.theapplicationsweresupportedbyexistinggeneraltla- Weappliedthecompositionalstyleandthedecompositionalvericationmethodto 1

2 tools(syntax-directededitor,browser,interpreter,modelchecker,predicatelogictheorem proverfrontend)whichnotyethavebeentailoredtothestyle.yetwemadetheexperience familarwithtlaandrenementmappings[5,1]. thatitispossibletoverifycomplexprotocolswithinfewman-month(e.g.,theverication viewstothevericationofxtparegiveninordertoexamplifytheapplicationandto giveanimpressionofthereducedvericationcomplexity.thereaderisassumedtobe ofxtp[8]needed7weeks,3weeksforthedesignofspecicationsandproofideas,4weeks fortheformaltheoremproofs). 2Compositionalspecicationstyle Atrstthepaperintroducesthestyleandthevericationmethod.Thereaftersome AsinCCSandLotos,aprocessinprincipleisanopensubsystembutasingleprocess TheinitialpredicateP:Initdescribesthesetofstartingstates.P:Vstandsforthetuple specicationcanbeinterpretedforitsown.inthiscaseitreectsaclosedsystemconsistingoftheprocessandanevironmentwhichisuniversalinthesensethatitdoesnot constraintheprocess.aprocesspisdenedbyacanonicaltla-formulap: ofprivatestatevariablesofp.p:acti(p:p:ptypei)arethedierentactionsofpwhich constituteitsnext-staterelation.theactionsmaybeparametrizedbydataparameters supportingthecommunicationofvaluesbetweentheprocessanditsenvironment.by P=P:Init^2[9p2P:ptype1:P:act1(p)_::_9p2P:ptypen:P:actn(p)]P:V styleconventions,theactionsonlyaectprivatevariablesandmustbemutuallydisjoint ^8p2P:ptypek:SFP:V(P:eactk(p))^::^8p2P:ptypel:SFP:V(P:eactl(p)): ^8p2P:ptypei:WFP:V(P:eacti(p))^::^8p2P:ptypej:WFP:V(P:eactj(p)) P^2(e1=P:ptype1^::^en=P:ptypen)describesaseparatedprocessinanuniversal intheirnon-stutteringsubrelations. environment. p2ei,theenvironmentcantoleratetheactionacti(p)inthenextstep.thustheformula environmentreadinessvariable.itisassumedtobesetbytheenvironmentofp:if P:eacti(p:ptypei)=P:acti(p)^p2eiwhereaP:eactiistheconjunctionoftheaction P:actiandanenvironmentcondition.eistandsforanadditionalstatevariablecalled Thelivenesspropertiesaredescribedbyfairnessassumptionsonconditionedactions thespeciccouplingofthesystem.itcanbestructuredintoaconjunctionofparticipation constraintspjcofthedierentprocesses:cc=2(p1c^::^pmc).aparticipation constraintagainisaconjunctionoftwoparts:pjc=pjcon^pjred. anotherconjunctiveterm,thecouplingconstraintcc.ccisaninvariantanddescribes P2^::^Pm^CC.ThedierentPjdenotetheprocessformulas.Additionally,thereis PjCONconstrainstheoccurrenceofPj-stepsinsystemexecutions.Itisadisjunction AsystemScomposedofprocessesP1;P2;::;PmisdescribedbyaTLA-formulaS=P1^ action,i.e.,ifitisnotinvolvedinjointactions,thenpeeractionsequalstotrue. thesamejointaction:peeractions=pk:acto(p)^::^pl:actq(p).ifpj:actiisaninternal ofunchanged(pj:v)andofactionterms9p2pj:ptypei:(pj:acti(p)^peeractions)^ StutteringRestwhichareintroducedforeachactionPj:actiofPj. PeerActionsisaconjunctionofactionsofotherprocesseswhichshallcontributeto 2

3 non-connectedactionsaswell.furthermore,itispossibletopostulatetheinterleaving keepthesystemformulasimple,werecommendtointroduceinterleavingasstrictasitis possiblewithrespecttoaspecicsystemofinterest. arenotinvolvedinajointactionwithpj:acti.itdescribestheinterleavingatomicityof Pj:actiandmaybesettotrueifparallelismshallbetoleratedwithrespecttologically atomicityofpj:actionlywithrespecttosomesubsetoftheotherprocesses.inorderto StutteringRestisaconjunctionofUnchanged-statementsforprocessesPr;::;Pswhich term.forinternalactionspj:actitheequationpj:ei=pj:typeiisintroduced. theprocessesandactionsreferencedarethoseofpeeractionsofthecorrespondingaction Pj:ei=fp:Enabled(Pk:acto(p))^::^Enabled(Pl:actq(p))ghastobeintroducedwhere variablespj:ei.ithastobechoseninaccordancewiththejointactiontermsofpjcon andisaconjunctionofequations.foreachinterfaceactionpj:actiofpj,anequation Bystyleconvention,weclaimthatthedierentfairnessassumptionsoftheprocess TheotherpartofPjC,PjREDstatesthesubstitutionoftheenvironmentreadiness actions,contributingtothesamejointaction,ttogether,i.e.,allprocessactionsofthe S:Initistheconjunctionoftheprocesses'Init-predicates.TheactionsS:actiareconjunctionsofprocessactionsandUnchanged-statements(guidedbythePjCON).Dueto ThecompositionalsystemformulaS=P1^P2^::^Pm^CCcanbetransformed syntacticallyintoanequivalent`at'canonicalformula samejointactionmusteitherbeweakfair,strongfair,orwithoutanyfairnesscondition. thestyleconventionsthefairnessassumptionsofsystemactionsareinheritedfromthe processactions'fairness. S=S:Init^2[9p2ptype1:S:act1(p)_::_9p2ptypen:S:actn(p)]S:V ThespecicationstyleisdenedintermsofTLA+[6]andtakesprotfromTLA+ ^8p2ptypek:SFS:V(S:eactk(p))^::^8p2ptypel:SFS:V(S:eactl(p)) ^8p2ptypei:WFS:V(S:eacti(p))^::^8p2ptypej:WFS:V(S:eactj(p)) ToprovethataprotocolPimpliesaserviceS,decompositionsPCandSCcanbeused. modules.atoolcansupportthedenitionofsystemstructures(e.g.,interactivegraphical editingofcouplingconstraints)andcancomputetheatformula. 3Structuredverication PCiscomposedofasetofprotocolmechanismsPPj:PC=PP1^PP2^::^PPn^PCC. SC)S.Theproofofthedecompositioncorrectness(P)PCandSC)S)is easysincebothsidesoftheimplicationsarestronglyrelated.moreover,p)pccan besplitted(pcisaconjunction).thediculttaskofthevericationistheproofof Correspondingly,SCiscomposedofasetofservicepropertiesSPj:SC=SP1^SP2^ PC)SC.Duetothecorrespondingdecompositions,thisproofcanbestructuredinto ::^SPn^SCC.EachsingleprotocolmechanismPPiprovidesforonefunctionalservice nmechanismproofsppi)spiandoneadditionalcouplingproofpcc)scc.the propertyspi. couplingproofisapuresafetyproofandcanbeperformedquitemechanicallybecause TheprotocolvericationhastoprovetheimplicationsP)PC,PC)SC,and onecanprotfromthoseintermediateresultsofmechanismproofswhichdescribethe 3

4 numberofbasicmechanisms.thereforemechanismproofscanbere-usedrespectively action-structureoftherenementmapping.themechanismproofsaremuchsimplerthan amonolithicalproofbecauseonlyasubsetofvariablesandactionshastoberegarded. Furthermore,themultitudeofpresenttransferprotocolsisfacedbyarelativelysmall transferdirection.theactionsubmitmodelstherequestofthetransferofamessagei outlinedinfig.1,thetransferservicescanbespeciedbyafifomessagequeueper 4Example canbereplacedbyreferencestoformerproofs. fromsitestositedwhichisrepresentedbyanenqueuingoperation.theparameternodc denotesthe`nodatacorruptioncontrol'ag.thedequeuingactiondelivermodelsthe indicationatsitedest.e SomeaspectsofthedatatransferofXTP[8]shallexemplifytheapproach.Asitis - q e ThecompositionalservicespecicationSCiscomposedofserviceconstraintprocesses submit (s,d,i,nodc) Figure1:MonolithicalService6deliver(s,d,i) alreadyrenedmodelsofserviceconstraints.theyreectaprotocol-neardistributionof variablesoverthethreepartiestransmitter,medium,andreceiver. NoCorruption,NoGaps,andNoDuplicates.Tosimplifytheverication,wehavechosen submit (s,d,i,k,nodc) send(s,d,k,i) sbu e? 36 -removeqkqqq rbu e tbu 6deliver(s,d,k,i) typestatevariablessbu,tbu,andrburepresentmessagebuersofthethreeparties. transfererrorsbutdoesonlypermitcorruptionsiftheparameternodcisset.theset- Fig.2outlinestheserviceconstraintprocessNoCorruption.Ittoleratesvarious Figure2:ServiceConstraintNoCorruption receive(s,d,k,i) Messagesarerepresentedbytuplesoftransmitteraddresss,receiveraddressd,message identicationkeyk,anduserdatai.asinfig.1,theactionssubmitanddelivermodel transferrequestsandindicationsnowbysetinsertionandmemberselectionoperations totoleratereorderingandduplication.theotheractionsareinternal.theymodelloss andtheforwardingofbuerelements.4

5 submit(s,d,k)? send(s,d,k) sbu e36 received data-removedelivered QkQQQ rbu e tbu 6deliver(s,d,k) receive(s,d,k) Figure3:ServiceConstraintNoGapsrctr thesafetyaspectoftheabsenceofloss,namelythatthesequenceofpacketsdeliveredis freefromgaps.indicationsarecontrolledbythereceivecounterrctr.secondlytheliveness aspectisreectedbyexclusionofthelossofnon-deliveredpackets(removerestrictions) inconnectionwithfairnessassumptions. InFig.3,thesecondserviceconstraintprocessNoGapsisoutlined.Atrstitmodels submit(s,d,k) -e edeliver(s,d,k) countersctrassignskeysktothemessagessothatthereceivercandetectduplications. ThethirdserviceconstraintprocessNoDuplicatesisoutlinedinFig.4.Thesend Figure4:ServiceConstraintNoDuplicates ThecompositionalservicespecicationSCcanbebuiltnowbyacompositionofthe rctr variables.theideabehindthisinvariantguidesthedesignoftherenementmappingas wellȧfterdescribingxtpbyamonolithicalprotocolspecicationpwedesignacompositionalprotocolsystempc.pcisacompositionofthreesubsystemsppnc,ppng,and processestobeperformedjointly.scimpliesthemonolithicqueuemodel.themaintask oftheproofisthedesignofaninvariantwhichrelatesthebuercontentsandcounter threeconstraintprocesses,thecouplingofwhichdenestheequally-namedactionsofthe PPNDwhichcorrespondwiththethreeserviceconstraintsNoCorruption,NoGaps,and lossandtheprotocolmechanismsarenotstructuredfurther. plicationsp)ppxandp)pcc(sincetheppxarecompositionstheproofofeach lyingnetworkwireandmodelsoftheprotocolmechanismsbuers,selectiverepeat,and NoDuplicates.TwoofthePPxagainarecompositions,namelyofamodeloftheunder- P)PPxcanbesplittedagain). KeepOrder.PPNCconsistsofWireandBuers;PPNGofWire,Buers,andSelective componentsoftheprotocolsystem.sowireisdescribedasfollows(canonicalprocess Repeat;andPPNDofKeepOrder.Tosimplifythisexample,Wireisreliablebesidesof formulaomitted). TheproofofP)PCisstraightforwardandconsistsoftheproofofthefourim- Togivesomeimpressionontheessentialtasksoftheverication,wenowlookatbasic 5

6 typeadr,packet init8x2adr:inq[x]=empty actionsend(p:packet,src,dest:adr)= varinq:array[adr]ofqueueofpacket ^inq[dest]0=enqueue(inq[dest],p) Wire Thenetworkmodelconsistsofanarrayofmessagequeuesinq[dest],keepingthedestdirectedXTP-PDUs.Theactionssendandreceivemodelthetransferrequestandtransfer indicationofpdus.thelossofpdusisexpressedbytheactionloss,removingpdus actionloss=9x2adr:inq[x]0=dequeue(inq[x]) ^p=rstqueue(inq[dest]) ^inq[dest]0=dequeue(inq[dest]) actionreceive(p:packet,src,dest:adr)= non-deterministicallyfromthequeues.buers ^p.src=src^p.dest=dest parmstation:adr init8x2key,a2adr:sb[a,x].i=?^rb[a,x].i=? actionsubmit(i:info,dest:adr,k:key)=sb[dest,k].i=?^sb[dest,k].i0=i typeadr,info,packet,key varsb:array[adr,key]of[[i:info[f?g]] actionsendinfo(p:packet,dest:adr,k:key)= actiondeliver(i:info,src:adr,k:key)=rb[src,k].i=i RB:array[Adr,Key]of[[i:Info[f?g]] actionrecinfo(p:packet,src:adr,k:key)= actionsendctrl(p:packet,dest:adr)= p.src=station^p.dest=dest^p.type=ctrl ^SB[dest,k].i6=? ^p.src=station^p.dest=dest^p.he.key=k actionrecctrl(p:packet,src:adr)= ^RB[src,k].i=? ^RB[src,k].i0=p.info ^p.src=src^p.dest=station^p.type=info^p.he.key=k ^p.type=info^p.info=sb[dest,k].i buerrbincludingmessageswhichareindexedbytheaddressofthestation,theaddress TheprocessBuersdescribesonebasicXTPprotocolentityandwillbeparametrized bytheaddressstationofthesiteassignedto.itcontainsasendbuersbandareceive actionsendremove(dest:adr,k:key)=sb[dest,k].i6=?^sb[dest,k].i0=? actionrcvremove(src:adr,k:key)=rb[src,k].i6=?^rb[src,k].i0=? p.src=src^p.dest=station^p.type=ctrl deliver.becausextpdistinguishesbetweencontrolandinformationpackets,sending ofthetransferpartner,andthemessagekey.?denotesemptybuerelements.the communicationwiththeuseroftheprotocolisdescribedbytheactionssubmitand 6

7 andreceivingissplitintoactionssendinfo,sendctrl,recinfo,andrecctrl.theremoval ThecompositionofthemechanismsWireandBuersbuildsPPNCandcanbeprovedto ofbuerelementsisdescribedbytheactionssendremoveandrcvremove. implytheserviceconstraintnocorruptionbymeansoftherenementmappingabove. RM=^sbu=f[[src,dest,k,i]]:S[src].SB[dest,k]=ig ^rbu=f[[src,dest,k,i]]:s[dest].rb[src,k]=ig ^tbu=f[[src,dest,k,i]]: 9p:^inqueue(inq[dest],p)^p.src=src transmission.thespecicationisnotshownindetailhere.itprovidesforthesavingof ThevariablesofastationstareidentiedbythequalierS[st]. ThemechanismSelectiveRepeatdetectslostdataandperformsselective-repeatre- ^p.he.key=k^p.info=i^p.type=infog time-outbasedloss-detection. copiesofmessagessent,areceivecounter,span-listacknowledgements,notication,and actions[src].sendinfo(p:packet,dest:adr,k:key,rseq:bool)= ^SelectiveRepeat(src).sendinfo(p,dest,k,rseq) ^S[src].t[dest]0=IFrseqTHENstartELSES[src].t[dest] ^Wire.send(p,src,dest) ^p.src=src^p.dest=dest^p.he.key=k^p.type=info ^Buers(src).sendinfo(p,dest,k) ^S[src].SB[dest,k].i6=? ^inq[dest]0=enqueue(inq[dest],p) ^(timeout(s[src].t[dest]))rseq) expansion.theprocessactionbuers(src).sendinfoequalstotheactionsendinfoof processbuersundersubstitutionofparameterstationbysrc. ItshowsthesystemactionS[src].sendinfoasjointactionofprocessactionsandits PPNGisacompositionofWire,Buers,andSelectiveRepeatandimpliestheservice propertynogaps.thespecicationabovereectsaclippingoftheatformofppng. Inv=8p,src,dest,k: ^p.info=s[src].sb[dest,k].i^p.tr.f.rseq=rseq RM=^8src,dest:rctrg[src,dest]=S[dest].Rctrg[src] ^sbu=f[[src,dest,k]]:s[src].sb[dest,k].i6=?g ^tbu=f[[src,dest,k]]: _(src,k)2s[dest].rcv _S[src].SB[dest,k]6=?^:S[src].SB.Keep[dest,k] _^inqueue(inq[dest],p)^p.src=src^p.dest=dest )S[dest].RB[src,k].i6=?_S[dest].Rctrg[src]>k ^p.type=ctrl^p.tr.f.rseqresp^k2p.c FortheproofofPPNG)NoGapsweneedtheinvariantInvandtherenementmapping RMasdenedabove.Invassuresthatamessagecanonlybeconrmedtothetransmitter merelyequaltothatoftheproofofnocorruption. andremovedfromitssendbuerifitiscorrectlyreceived.therenementmappingis ^rbu=f[[src,dest,k]]:s[dest].rb[src,k].i6=?g 9p:^inqueue(inq[dest],p)^p.src=src TheprotocolmechanismKeepOrdersimplycontainstwocounters:Sctrassignsunambiguouskeystosubmittedmessagesinincrementalorder,Rctrpreventsthedelivery ^p.dest=dest^p.type=info^p.he.key=kg 7

8 theproofofppnd)noduplicationisverysimple. ofreorderedorduplicatedmessages.duetothecloserelationtotheserviceconstraint, performedquitemechanicallyandisnotoutlinedhere. 5Conclusion Weintroducedapracticableapproachforthecompositionalvericationoftransferprotocolswhichprovidesaframeworkfortheinvestigationofexibleprotocolcongurations. Finally,thecouplingproofhastobeperformedtocompletetheverication.Itcanbe PPi,servicepropertiesSPj,andvalidimplicationsPPi)SPj.Therefore,thevericationofaspecicprotocolcanbeperformedbythedesignofequivalentcompositional Presentworkconcentratesontheestablishmentoflibrariesofbasicprotocolmechanisms protocolandservicespecicationstowhichonlythecouplingproofhastobeadded. basicprotocolmechanisms. serviceconstraintssothattheseserviceconstraintscorrespondone-to-onewithsingle provideevenasingleserviceproperty(e.g.,nogapsinthextp-example).therefore, alibraryofmechanismcombinationswouldbeofinterest.insteadofintroducingthis largerlibraryofmechanismcombinations,wearesolvingtheproblemontheserviceside. Werepresentabstractserviceproperties(e.g.,NoGaps)byacompositionofmorebasic Aproblemremains:oftenalreadyacompositionofprotocolmechanismsisneededto References [1]M.AbadiandL.Lamport.TheExistenceofRenementMappings.TheoreticalComputer [2]M.AbadiandL.Lamport.Composingspecications.ACMTransactionsonProgramming [3]Z.Haas.Aprotocolstructureforhigh-speedcommunicationoverbroadbandISDN.IEEE [4]ISO.LOTOS:Languageforthetemporalorderingspecicationofobservationalbehaviour, Science,82(2):253{284,May1991. [5]L.Lamport.TheTemporalLogicofActions.TechnicalReport79,DECDigitalSystems LanguagesandSystems,15(1):73{132,Jan [6]L.Lamport.TLA+:SyntaxandSemantics.Toappear,PreliminaryVersion,DECDigital NetworkMagazine,pages64{70,Jan InternationalStandardISO/IS8807edition,1987. [8]ProtocolEngines,Incorporated.XTPProtocolDenitionRevision3.4,1989. [9]C.A.Vissers,G.Scollo,andM.vanSinderen.Architectureandspecicationstylein [7]R.Milner.ACalculusforCommunicatingSystems.LectureNotesinComputerScience92. ResearchCenter,PaloAlto,May1991.ResearchReport.ToappearinACMTOPLAS. Springer,Berlin,1980. SystemsResearchCenter,PaloAlto,Feb.1992.ResearchReport. [10]M.Zitterbart,B.Stiller,andA.N.Tantawy.Application-drivenexibleprotocolconguration.InN.Gerner,H.-G.Hegering,andJ.Swoboda,editors,KommunikationinVerteilten Systemen,pages144{158,8.Fachtagung,Munchen,Mar.1993.GI/ITG,Springer-Verlag. Specication,TestingandVerication,volumeVIII,pages189{204,Elsevier,1988.IFIP. formaldescriptionsofdistributedsystems.ins.agarwalandk.sabnani,editors,protocol 8

volume 43 scene 01 post production

volume 43 scene 01 post production scene 01 post production scene 01 raw scene 01 wire scene 02 post production scene 02 raw scene 02 wire scene 03 post production scene 03 raw scene 03 wire scene 04 post production scene 04 raw scene 04

More information

PS S S: Sensor. PS: Persistent State F: Forecaster Workstation 1 S PS. F Client

PS S S: Sensor. PS: Persistent State F: Forecaster Workstation 1 S PS. F Client ResourcePerformanceForecastingServicefor TheNetworkWeatherService:ADistributed Metacomputing auniversityofcalifornia,sandiegoanduniversityoftennessee,knoxville RichWolskia;1NeilT.Springb;2JimHayesb;3 buniversityofcalifornia,sandiego

More information

3. Once you access the web page, the below screen will populate:

3. Once you access the web page, the below screen will populate: Applying for a Quintiles American Express Corporate Travel Card 1. You must have an access key to apply for a corporate card. If you re unsure of which access key to use and/or have any questions regarding

More information

Extract from the online catalog

Extract from the online catalog Please note that the data given here has been taken from the online catalog. For comprehensive information and data, please refer to the user documentation at http://www.download.phoenixcontact.com. The

More information

SP 4K/5K Efecto & SP 5K Brilliant Parallel Installation Guide 1. Introduction

SP 4K/5K Efecto & SP 5K Brilliant Parallel Installation Guide 1. Introduction SP 4K/5K Efecto & SP 5K Brilliant Parallel Installation Guide 1. Introduction This inverter can be used in parallel with two different operation modes. 1. Parallel operation in single phase with up to

More information

PSI-MOS-RS485W2/FO 850 T

PSI-MOS-RS485W2/FO 850 T Extract from the online catalog PSI-MOS-RS485W2/FO 850 T Order No.: 2708326 FO converter with integrated optical diagnosis, alarm contact, for RS-485 2-wire bus systems (SUCONET K, MODBUS...) up to 500

More information

VESA DisplayPort Alt Mode for USB Type- C Standard Feature Summary. Sept 22, 2014

VESA DisplayPort Alt Mode for USB Type- C Standard Feature Summary. Sept 22, 2014 VESA Alt Mode for Type- C Standard Feature Summary Sept 22, 2014 VESA Alt Mode Summary The VESA Alt Mode Standard, Version 1, was released on Sept 22, 2014 Enables the use of the Type- C interface for

More information

WIRELESS LOCAL AREA NETWORK (WLAN) IMPLEMENTATION

WIRELESS LOCAL AREA NETWORK (WLAN) IMPLEMENTATION United States Department of Agriculture Marketing and Regulatory Programs Grain Inspection, Packers and Stockyards Administration Directive GIPSA 3140.5 11/30/06 WIRELESS LOCAL AREA NETWORK (WLAN) IMPLEMENTATION

More information

Self-Monitoring of Blood Glucose in Noninsulin- Treated Diabetes

Self-Monitoring of Blood Glucose in Noninsulin- Treated Diabetes Summary and Conclusions Self-Monitoring of Blood Glucose in Noninsulin- Treated Diabetes A Systematic Review Swedish Council on Health Technology Assessment SBU Board of Directors and Scientific Advisory

More information

Can be configured using Click Supervisor

Can be configured using Click Supervisor RS-232 to Converter Click 304 The Click 304 converts half-duplex RS-232 communication to communication and vice versa. It also auto-detects baud rates and features LEDs that light up when data is successfully

More information

4 122 b. INFORMATION TECHNOLOGY Wide Area Network Idi-astructure (IT 10) POLICY STATEMENT

4 122 b. INFORMATION TECHNOLOGY Wide Area Network Idi-astructure (IT 10) POLICY STATEMENT MetropolitanTransportation Authority Wide Area Network Idi-astructure POLICY STATEMENT The Metropolitan Transportation Authority (LACMTA)maintains a wide area network (WAN),comprised of data and voice,

More information

Serial to Ethernet Converter TOP FRONT. Click 301

Serial to Ethernet Converter TOP FRONT. Click 301 Serial to Ethernet Converter Click 301 The Click 301 converts half-duplex RS-232 & RS-485 communication to Ethernet and vice versa. This device, tested to work over a 34 C to 74 C temperature range, can

More information

Global Mobility Services

Global Mobility Services Global Mobility Services GMS Gateway IPR Initiation Checklist Checklist Transferee Information Transferee data needed to initiate an International Permanent Relocation New employee Current Honeywell employee

More information

GE-MCKINSEY MATRIX. MS-Excel & MS-Word Templates User Guide

GE-MCKINSEY MATRIX. MS-Excel & MS-Word Templates User Guide GE-MCKINSEY MATRIX MS-Excel & MS-Word Templates User Guide The GE/McKinsey Matrix is a nine-cell (3 by 3) matrix used to perform business portfolio analysis as a step in the strategic planning process.

More information

Prolog Manager Portfolio Manager Data Entry Process. Portfolio Manager

Prolog Manager Portfolio Manager Data Entry Process. Portfolio Manager Prolog Manager Portfolio Manager Data Entry Process Portfolio Manager Prolog Portfolio Manager The Samet Way Key Definitions Portfolio Manager is where pertinent information on the project is stored. This

More information

e C P M 1 0 5 : S t r u c t u r i n g P o r t f o l i o s

e C P M 1 0 5 : S t r u c t u r i n g P o r t f o l i o s e C P M 1 0 5 : S t r u c t u r i n g P o r t f o l i o s C o l l a b o r a t i v e P r o j e c t M a n a g e m e n t STRUCTURING PORTFOLIOS Managing portfolios in Primavera P6 enables companies to holistically

More information

www.rackandroll.net.au Page 1 of 10

www.rackandroll.net.au Page 1 of 10 Brand / Bar Rack & Roll Model Required Picture / Foot Pack Model# Compatible? Comments: Page 1 of 10 Thule / Aero RRAERO Thule / Aero RRAERO Thule / Aero RRAERO Thule / Aero RRAERO Thule / Aero RRAERO

More information

Alkanes are saturated hydrocarbons (only carbon and hydrogen, and with the maximum number of hydrogens - so no pi bonds, only sigma/single bonds)

Alkanes are saturated hydrocarbons (only carbon and hydrogen, and with the maximum number of hydrogens - so no pi bonds, only sigma/single bonds) California State Polytechnic University, Pomona Dr. Laurie S. Starkey, Organic Chemistry, CM 314 Wade Chapter 3: Alkanes Chapter Outline 1) Nomenclature (3-3) 2) Molecular Formula (3-1, 3-2) and Degrees/Sites

More information

Internet Strategies. A Complete Do-It-Yourself Training Camp For Cleaning & Restoration Contractors

Internet Strategies. A Complete Do-It-Yourself Training Camp For Cleaning & Restoration Contractors Internet Strategies A Complete Do-It-Yourself Training Camp For Cleaning & Restoration Contractors This seminar is limited to 12 companies. Once 12 companies have signed up, registration will close and

More information

DIGITAL family of systems Administration Manual

DIGITAL family of systems Administration Manual DIGITAL family of systems Administration Manual 76-110-0175/E Release SBU5/DBU5 Issue 1 76-110-0175/E Release SBU5/DBU5 Issue 1 DIGITAL FAMILY OF SYSTEMS Administration Manual Telrad Telecommunications

More information

2510/2550. Dust Control Burnisher. Operator and Parts Manual. 607597 Rev. 00 (11-99)

2510/2550. Dust Control Burnisher. Operator and Parts Manual. 607597 Rev. 00 (11-99) 2510/2550 Dust Control Burnisher Operator and Parts Manual TENNANT COMPANY Commercial Products 12875 RANSOM STREET HOLLAND MI 49424 FAX: 1 800 678 4240 CUSTOMER SERVICE: 1 800-982-7658 607597 Rev. 00 (11-99)

More information

UNCLASSIFIED (U) U.S. Department of State Foreign Affairs Manual Volume 5 Information Management 5 FAM 870 NETWORKS

UNCLASSIFIED (U) U.S. Department of State Foreign Affairs Manual Volume 5 Information Management 5 FAM 870 NETWORKS 5 FAM 870 NETWORKS (Office of Origin: IRM/BMP/GRP/GP) 5 FAM 871 ENTERPRISE NETWORKS (CT:IM-138; 01-18-2013) The Department currently has two enterprise networks: ClassNet and OpenNet. Only Department-issued

More information

HIPAA Training 2010. For Research Investigators and Study Staff

HIPAA Training 2010. For Research Investigators and Study Staff HIPAA Training 2010 For Research Investigators and Study Staff HIPAA IS... THE HEALTH INSURANCE PORTABILITY & ACCOUNTABILITY ACT OF 1996 Portability Created to ensure access to health coverage Allows for

More information

Alkane Structures (B&P 3.1, 3.2, 3.4)

Alkane Structures (B&P 3.1, 3.2, 3.4) Elements of rganic Chemistry CM 201, Dr. Laurie S. Starkey, Cal Poly Pomona Chapter 3: Alkanes and Cycloalkanes 3-1 Alkane Structures (B&P 3.1, 3.2, 3.4) Alkanes are saturated hydrocarbons (only carbon

More information

Print an MS Review or a Class Enrollment Report

Print an MS Review or a Class Enrollment Report Print an MS Review or a Class Enrollment Report The Master Schedule Review (MS Review) is the Excel report that you use to review all of the classes that you have scheduled for the specified term. The

More information

S.BUS PC-Link Software Manual

S.BUS PC-Link Software Manual 1M23Z01002 USB INTERFACE S.BUS PC-Link Software Manual The operating parameters of the Futaba programmable S.BUS servo can be set and changed from a PC by using this software. Since the Futaba CIU-2 USB

More information

Service Description Remote Yearly Maintenance of Dell PowerEdge Servers and PowerVault Storage

Service Description Remote Yearly Maintenance of Dell PowerEdge Servers and PowerVault Storage Service Description Remote Yearly Maintenance of Dell PowerEdge Servers and PowerVault Storage Service SKUs See Appendix A Service Overview This service provides for a yearly health check (the Service

More information

Service and Identity manual for RM2150/51

Service and Identity manual for RM2150/51 Service and Identity manual for RM2150/51 S.P. RADIO A/S AALBORG DENMARK CONTENTS 1 SERVICE AND IDENTITY PROGRAMMING FOR RM2150 1-1 1.1 IDENTITY of RM2150 1-1 1.2 SP-BUS PROGRAMMING of RM2150 1-1 1.3 PROGRAMMING

More information

Street Address City State Zip Code County. Telephone Racial/Ethnic Are you a United States Citizen? ( ) - Black non-hispanic Yes No

Street Address City State Zip Code County. Telephone Racial/Ethnic Are you a United States Citizen? ( ) - Black non-hispanic Yes No Southwest Baptist University is a Christ-centered, caring academic community preparing students be servant leaders in a global society. PLEASE PRINT IN INK OR TYPE Social Security Number This application

More information

A. Planning is the process of anticipating the future and determining the courses of action necessary to achieve

A. Planning is the process of anticipating the future and determining the courses of action necessary to achieve Marketing Planning and Forecasting I. What Is Marketing Planning? A. Planning is the process of anticipating the future and determining the courses of action necessary to achieve organizational objectives.

More information

A Guide to Finding the Pages You Need in PeopleSoft Human Resources (For Decentralized Users) Search for People (Search/Match)

A Guide to Finding the Pages You Need in PeopleSoft Human Resources (For Decentralized Users) Search for People (Search/Match) A Guide to Finding the Pages You Need in PeopleSoft Human Resources (For Decentralized Users) What do you want to do? Search for People (Search/Match) Search the entire PeopleSoft database to see if a

More information

vehicle tracking system using gps gsm modem circuit diagram

vehicle tracking system using gps gsm modem circuit diagram vehicle tracking system using gps gsm modem circuit diagram Reference Manual To learn offering to use and ways to totally exploit vehicle tracking system using gps gsm modem circuit diagram to your benefit,

More information

SWITCH KIT. OSB Routing Number: 072407741 New OSB Account Number:

SWITCH KIT. OSB Routing Number: 072407741 New OSB Account Number: SWITCH KIT Account Type: Checking Savings OSB Routing Number: 072407741 New OSB Account Number: 417 S. Main St.. You may contact us by phone at 517-592-3205 or email customerservice@osbcb.com. Your new

More information

CANTEC-2XL. Description

CANTEC-2XL. Description CANTEC-2XL (CAN-bus adapter) Description www.tec-electronics.ru Unit description CANTEC-2XL is a universal adapter(hereinafter reffered as unit), designed for connecting additional systems to vehicles

More information

ACCOUNT REPRESENTATIVE COMPETENCY MODEL

ACCOUNT REPRESENTATIVE COMPETENCY MODEL ACCOUNT REPRESENTATIVE COMPETENCY MODEL Competencies Dealing with People Competencies Dealing with Business Through Selection Through Selection ORAL COMMUNICATON AWARENESS OF SELF AND OTHERS ORGANIZATION

More information

Software Process Training

Software Process Training Dr. Ernest Wallmüller Wolfgang Höh Rule 10 Rule 10 Supplier Agreement Management Supplier Agreement Management Qualität & Informatik www.itq.ch Copyright Qualität & Informatik 2005 Context QA Corrective

More information

JOB DESCRIPTION FORM. Location: A1

JOB DESCRIPTION FORM. Location: A1 JOB DESCRIPTION FORM Job Title: Healthcare Revenue Cycle Manager Location: A1 Job Summary: Reports directly to the Finance Administrator and responsible to develop, plan, organize and implement current

More information

April 2nd 2008 (Edinburgh)/April 3rd 2008 (Glasgow) Defence Exporting - Support for Small Businesses

April 2nd 2008 (Edinburgh)/April 3rd 2008 (Glasgow) Defence Exporting - Support for Small Businesses 1 DEFENCE EXPORTING Support for Small Howard Gibbs Head, Small Business Unit Origin/Background Established 1966 Leads on all defence export-related activities Consists of around 400 civilian/military staff

More information

Why EVA is better than ROI (ROCE, ROIC, RONA, ROA) and earnings, operating profit etc.

Why EVA is better than ROI (ROCE, ROIC, RONA, ROA) and earnings, operating profit etc. Why EVA is better than ROI (ROCE, ROIC, RONA, ROA) and earnings, operating profit etc. Equity investors should earn on their capital a return far over risk-free interest rate in order to induce and maintain

More information

Content. Operational manual for RBU

Content. Operational manual for RBU Content Operational manual for RBU 1 Safety Precautions...1 1.1 Safety definition... 1 1.2 Warning symbols... 1 1.3 Safety guidelines... 1 2 Inspection...4 2.1 Unpacking inspection... 4 2.2 Application

More information

MINI MCR-SL-R-UI(-SP)

MINI MCR-SL-R-UI(-SP) Resistance/potiposition transducer INTERFACE Data Sheet 0807_en_05 Description PHOENIX CONTACT - 0/008 Features The slim MINI MCR-SL-R-UI... potiposition transducer has a width of only 6. mm and converts

More information

Street Address City State Zip Code County. Telephone Racial/Ethnic Are you a United States Citizen? ( ) - Black non-hispanic Yes No

Street Address City State Zip Code County. Telephone Racial/Ethnic Are you a United States Citizen? ( ) - Black non-hispanic Yes No Southwest Baptist University is a Christ-centered, caring academic community preparing students be servant leaders in a global society. PLEASE PRINT IN INK OR TYPE Social Security Number This application

More information

S-Link Program Manual

S-Link Program Manual 1M23Z03102 USB INTERFACE S-Link Program Manual The operating parameters of S-Link compatible programmable servos can be changed by using this S-Link program. However, this software is used in the state

More information

The ABC s of VRF: A Green HVAC Technology An Ideal Green School Solution. Presented by: Fujitsu General America, Inc.

The ABC s of VRF: A Green HVAC Technology An Ideal Green School Solution. Presented by: Fujitsu General America, Inc. The ABC s of VRF: A Green HVAC Technology An Ideal Green School Solution Presented by: Fujitsu General America, Inc. What to look for in a Green HVAC solution? What if your HVAC system could provide Individual

More information

Making an International epay Payment - Students

Making an International epay Payment - Students Making an International epay Payment - Students This tutorial covers how students can make an International payment via Chapman University s epay system. Site Login: www.chapman.edu/webadvisor Click on

More information

First Concept Asia Limited. Audio/ Video Door Phone System

First Concept Asia Limited. Audio/ Video Door Phone System Audio/ Video Door Phone System Single Audio Door Phone Technical Specifications: Power Supply: DC 12V Transmission Distance: 50 meters 2 wire Installation Two ways Communication Wiring requirement: RVV

More information

Software Testing Capabilities in BMC BSM Copyright 2011 Vyom Labs Pvt. Ltd.

Software Testing Capabilities in BMC BSM Copyright 2011 Vyom Labs Pvt. Ltd. Software Testing Capabilities in BMC BSM Agenda VyomLabs Testing Practice VyomLabs BMC Testing Assignments/Capabilities BMC Remedy Testing Life Cycle VyomLabs Testing Practice At A Glance People and Skills

More information

Circuit Protection is Key in Maintaining Growth for The Internet of Things

Circuit Protection is Key in Maintaining Growth for The Internet of Things Circuit Protection is Key in Maintaining Growth for The Internet of Things INTRODUCTION The Internet of Things (IoT) promises a future that networks billions of smart, connected devices. The value of this

More information

EMPLOYEE S NAME: Vacant BASIC FUNCTION

EMPLOYEE S NAME: Vacant BASIC FUNCTION BASIC FUNCTION The incumbent is responsible for installation, operation, maintenance, and repair of the Mission s telecommunication systems, including the telephone infrastructure, radio program (including

More information

PIKO BLX FC MANUAL 01/06/2016 I. ABOUT

PIKO BLX FC MANUAL 01/06/2016 I. ABOUT 01/06/2016 PIKO BLX FC MANUAL I. ABOUT Designed for acro and FPV Micro and Mini racing indoor with SUB-130 size, this board provides the most-needed features in a compact and ppractical form factor, on

More information

LED based ultraviolet light source

LED based ultraviolet light source LED based ultraviolet light source Michal Brázda, Martin Pospíšilík, Milan Adámek Faculty of Applied Informatics Thoms Bata Univerzity in Zlin nám. T.G.Masaryka 5555, 760 01 Zlín Czech Republic m1brazda@fai.utb.cz,

More information

Analysis of Call Center Agent Turnover

Analysis of Call Center Agent Turnover Analysis of Call Center Agent Turnover 1 ANALYSIS OF CALL CENTER AGENT TURNOVER BACKGROUND Founded in 1988, Affiliated Computer Services/Business Process Solutions (ACS/BPS) is today a global leader in

More information

SFS SYS 6 (SQA Unit Code - H4GK 04) Plan the installation of electronic security systems

SFS SYS 6 (SQA Unit Code - H4GK 04) Plan the installation of electronic security systems Overview This NOS sets out the skills, knowledge and understanding for you to confirm relevant information required about electronic security systems and sites to plan and co-ordinate installations. This

More information

L-3 Guardian SME PED Frequently Asked Questions

L-3 Guardian SME PED Frequently Asked Questions 1. What is L-3 Guardian and why do I want one? L-3 Guardian was developed under the NSA Secure Mobile Environment Personal Electronic Device (SME PED) Program. L-3 Guardian is a wireless handheld PDA which

More information

Pace plc. Interim results : for the period ended 30 June 2011

Pace plc. Interim results : for the period ended 30 June 2011 Pace plc Interim results : for the period ended 30 June 2011 Pace interim results (for the period ended 30 June 2011) Overview Strategic review Summary financial results Business performance Conclusion

More information

ARTICULATION AGREEMENT IN MODERN LANGUAGES BETWEEN JAMESTOWN COMMUNITY COLLEGE AND ST. BONAVENTURE UNIVERSITY

ARTICULATION AGREEMENT IN MODERN LANGUAGES BETWEEN JAMESTOWN COMMUNITY COLLEGE AND ST. BONAVENTURE UNIVERSITY ARTICULATION AGREEMENT IN MODERN LANGUAGES BETWEEN JAMESTOWN COMMUNITY COLLEGE AND ST. BONAVENTURE UNIVERSITY PURPOSE OF AGREEMENT This document establishes a transfer articulation agreement between Jamestown

More information

Ultraviolet radiation device for prototype production printed circuit boards

Ultraviolet radiation device for prototype production printed circuit boards Ultraviolet radiation device for prototype production printed circuit boards Ing. Michal Brázda, Ing. Martin Pospíšilík, and doc. Mgr. Milan Adámek Ph.D. Abstract For the production of high quality PCB

More information

SpeedGleam /Plus. 36 Volt Dust Control Burnisher. Operator and Parts Manual

SpeedGleam /Plus. 36 Volt Dust Control Burnisher. Operator and Parts Manual SpeedGleam /Plus 36 Volt Dust Control Burnisher Model No.: 608525 SpeedGleam 609251 SpeedGleam Can. Pac 608344 SpeedGleam Plus 609252 SpeedGleam Plus Can. Pac Operator and Parts Manual NOBLES 12875 RANSOM

More information

The Delaware Advantage

The Delaware Advantage October, 2012 The Delaware Advantage Flexible and Modern Business Entity Statutes; Respected Courts; Exceptional Service; Stable Environment ; Significant Case Law Decisions; and Unsurpassed Corporate

More information

Meru Education-grade Solutions for Uninterrupted Learning SOLUTION BRIEF HIGHER EDUCATION

Meru Education-grade Solutions for Uninterrupted Learning SOLUTION BRIEF HIGHER EDUCATION Meru Education-grade Solutions for Uninterrupted Learning SOLUTION BRIEF HIGHER EDUCATION WLAN Solutions for Higher Education Many campus networks are being crushed by the bring your own device (BYOD)

More information

Statements You can conveniently view your statement in PDF, download in Excel or QIF format and

Statements You can conveniently view your statement in PDF, download in Excel or QIF format and Concentration Banking Account Types Region 1-6 and Standards Developing Committees Region 7 Region 8-10 Conferences Region 1-6 and Standards Developing Committees Designed for all IEEE Sections, Chapters,

More information

Principles of Execution. Tips and Techniques for Effective Project Portfolio Management

Principles of Execution. Tips and Techniques for Effective Project Portfolio Management Principles of Execution Tips and Techniques for Effective Project Management Roadmap Develop A Shared Vision for Management Understanding the Difference between Project Management Reviews and Management

More information

WEB & MOBILE DEVELOPMENT. How To: Setup your email address in Windows Vista Mail

WEB & MOBILE DEVELOPMENT. How To: Setup your email address in Windows Vista Mail WEB & MOBILE DEVELOPMENT How To: Setup your email address in Windows Vista Mail Contents Windows Vista Mail: Setting up Email for the First Time... 2 Windows Vista Mail: Checking Existing Email Settings...

More information

INTERCONNECTION SECURITY AGREEMENT

INTERCONNECTION SECURITY AGREEMENT INTERCONNECTION SECURITY AGREEMENT March, 2008 U. S. Department of Homeland Security Customs and Border Protection INTERCONNECTION SECURITY AGREEMENT The intent of the Interconnection Security Agreement

More information

Next Generation Modeling and Simulation Engineering using Cloud Computing

Next Generation Modeling and Simulation Engineering using Cloud Computing National Aeronautics and Space Administration GODDARD SPACE FLIGHT CENTER Next Generation Modeling and Simulation Engineering using Cloud Computing A presentation of use cases and possible benefits to

More information

Owner: USA Division Safety Revision No: 00 Date last revised: 08/21/2013

Owner: USA Division Safety Revision No: 00 Date last revised: 08/21/2013 Practice Service Provider Equipment Specifications & Quality Management Owner: USA Division Safety Revision No: 00 Date last revised: 08/21/2013 1.0 Applicability This practice applies to all Encana Oil

More information

Physics Worksheet Electric Circuits Section: Name: Series Circuits

Physics Worksheet Electric Circuits Section: Name: Series Circuits Do Now: (1) What is electric circuit? (2) Convert the following picture into schematic diagram. Series Circuits 4. Label every component of the circuit; identify each of the voltage and current. 5. Relation

More information

IMG Boys College Showcase

IMG Boys College Showcase IMG Boys College Showcase U14 SYL ODP - Moullin SYL ODP - Gummer SYL ODP - Buckle SYL ODP - Swan U15 Elite Premier 99/00, FL Greenacres FC, FL Strictly Soccer, FL Weston Premier 99 Black, FL U16 Blue U16

More information

OIL AND THE NORWEGIAN ECONOMY GOVERNOR ØYSTEIN OLSEN NTNU, 29 SEPTEMBER 2015

OIL AND THE NORWEGIAN ECONOMY GOVERNOR ØYSTEIN OLSEN NTNU, 29 SEPTEMBER 2015 OIL AND THE NORWEGIAN ECONOMY GOVERNOR ØYSTEIN OLSEN NTNU, 9 SEPTEMBER 15 GDP per capita relative to OECD Index. OECD = 1. Purchasing power adjusted 15 Norway Mainland Norway 15 1 1 5 197 1975 198 1985

More information

z21start and WLAN-Package

z21start and WLAN-Package z21start and WLAN-Package Overview New Startsets with z21start Page 3 The WLAN-Package Page 4 How to get the activation code Page 5 The Maintenance-Tool Page 6-7 Connection between PC and z21/z21 Page

More information

Staffing Industry Executive Forum

Staffing Industry Executive Forum Staffing Industry Executive Forum Perspectives in Sales Compensation Best Practices Valitus Group, Inc. March 16, 2006 For additional information, please contact: J. Mark Davis (714) 505-9122 j.mark.davis@valitusgroup.com

More information

How to set up as VPN Network

How to set up as VPN Network How to set up as VPN Network 1 Network and Sharing Firstly open the network and sharing centre by opening control panel and selecting Network and Sharing Center. If Network and Sharing cannot be found

More information

The Franchising Strategic Business Unit (SBU) is focused on supporting emerging entrepreneurs with limited capital to own a franchised business and

The Franchising Strategic Business Unit (SBU) is focused on supporting emerging entrepreneurs with limited capital to own a franchised business and Franchising Making finance available for the establishment of new outlets and the refurbishment of existing outlets, and BEE acquisitions of established and emerging franchised concepts. The Franchising

More information

Staff Survey Results and Action Plan Report for the AWP NHS Trust Board Meeting Date: Serial: 27 April 2012

Staff Survey Results and Action Plan Report for the AWP NHS Trust Board Meeting Date: Serial: 27 April 2012 App B Staff Survey Results and Action Plan Report for the AWP NHS Trust Board Meeting Date: Meeting Time: Agenda Item: Serial: 27 April 2012 10:00 10 12.0110 This Report is presented by the Executive Director

More information

Aware Electronics USB-MSP V2.9A

Aware Electronics USB-MSP V2.9A Aware Electronics USB-MSP V2.9A Aware Electronics USB-MSP V2.9A is a new device from Aware Electronics which plugs into a USB port by-way-of the included cable. Its MOD jack accepts the cord from the radiation

More information

USING VIRTUAL MACHINES FOR SECURE INTERNET ACCESS

USING VIRTUAL MACHINES FOR SECURE INTERNET ACCESS USING VIRTUAL MACHINES FOR SECURE INTERNET ACCESS 1 Web location for this presentation: http://aztcs.org Click on Meeting Notes 2 SUMMARY You can use free virtual machines to increase the level of security

More information

Microsoft vs. Red Hat. A Comparison of PKI Vendors

Microsoft vs. Red Hat. A Comparison of PKI Vendors Microsoft vs. A Comparison of PKI Vendors 1 Outline Definitions Issue #1: RedHat vs. Microsoft CA Issue #2: Cross Flows Issue #3: Core PKI Recommendation 2 Definitions User or Enrollment Officer - The

More information

British Gas Total British Gas. Residential energy supply

British Gas Total British Gas. Residential energy supply British Gas Total British Gas Total customer accounts (period end) ( 000) 23,372 23,856 (2) 23,602 Total customer households (period end) ( 000) 10,605 10,898 (3) 10,751 Joint product households (period

More information

pka's of Inorganic and Oxo-Acids

pka's of Inorganic and Oxo-Acids 's of Inorganic and xo-acids ubstrate 2 3 2 Br Cl F Cl Cl 4 C 3 C 2 3 2 4 3 P 4 3 2 2 Cr 4 C 3 3 3 4 Cl B() 3 IRGAIC ACID Table.1 11/4/05 1:43 PM 2 15.7-1.7 7.00-9.00-8.0 3.17 7.5-10 9.4 4.72 4.00-14 11.6

More information

Domestic & International Wires

Domestic & International Wires Recipients After logging in, within the Commercial section of the left menu, choose Recipients If the recipient you need is not listed, choose Add Recipient from the top Enter the recipient information.

More information

Classful Subnetting Explained

Classful Subnetting Explained Classful ting Explained When given an IP Address and a Mask, how can you determine other information such as: The subnet address of this subnet The broadcast address of this subnet The range of Host Addresses

More information

BellSouth Retail Voice Service

BellSouth Retail Voice Service BellSouth Retail Voice Service Loop is terminated directly to voice switch End user for retail voice service Voice Service Diagram 1 Conversion from BellSouth Retail Voice Service to Line Sharing with

More information

Cable & Wires in UAE

Cable & Wires in UAE Cable & Wires in UAE Cable and Wire manufacturing is one of the priority business in the UAE. Indispensable Element It is an essential product at every building and household for telecommunication and

More information

ROLR ISSUES -testing digital stations

ROLR ISSUES -testing digital stations Page 1 of 6 ROLR ISSUES -testing digital stations 1. Are the station sets required to be tested for the VC ROLR requirements by themselves? 1. If the station sets are digital and proprietary and cannot

More information

HOERBIGER. Transformation des globalen Produktionsnetzwerkes zur Erreichung von Operational Excellence. Hannes Hunschofsky

HOERBIGER. Transformation des globalen Produktionsnetzwerkes zur Erreichung von Operational Excellence. Hannes Hunschofsky HOERBIGER Transformation des globalen Produktionsnetzwerkes zur Erreichung von Operational Excellence Exec. VP Global Operations Hoerbiger Kompressor Technology Holding Hannes.Hunschofsky@hoerbiger.com

More information

PV Array Design Worksheet Determine the array size for your grid-connected system.

PV Array Design Worksheet Determine the array size for your grid-connected system. System Design Grid-Tie Utility Grid-Tie System Design Budget, roof dimensions and other site-specific factors often call for custom system design. If you are planning to mount your array on a roof, decide

More information

Wire Transfer Services, Interactive Voice Response System

Wire Transfer Services, Interactive Voice Response System Overview: Wire Transfer Services, Interactive Voice System Bank of America Merrill Lynch s Interactive Voice (IVR) system enables you to use a telephone key pad to enter your Personal Identification Number

More information

Reliance Agreement for Institutions Utilizing Stony Brook University s Institutional Review Board(s)

Reliance Agreement for Institutions Utilizing Stony Brook University s Institutional Review Board(s) Name of Organization Providing IRB Review: Stony Brook University ( SBU IRB ) Name of Institution Relying on the SBU IRB ( Institution ): Latest AAHRPP Accreditation Date (if applicable) OHRP Federal Wide

More information

Yaskawa Electric Corporation s New Mid-Term Plan Win21 Plus

Yaskawa Electric Corporation s New Mid-Term Plan Win21 Plus March 28, 2003 Yaskawa Electric Corporation s New Mid-Term Plan Win21 Plus Summary: -During the last mid-term plan Win21 (FY1999 2002), the 4 Structural Reforms were completed. In particular, within the

More information

STATE BANK OF INDIA. Resolution Plan. Section 1: Public Section. December 31, 2013. NY1 9042444v.4

STATE BANK OF INDIA. Resolution Plan. Section 1: Public Section. December 31, 2013. NY1 9042444v.4 STATE BANK OF INDIA Resolution Plan Section 1: Public Section December 31, 2013 TABLE OF CONTENTS Section 1: Public Section Introduction Overview of the Bank I. Summary of the Resolution Plan A. Overview

More information

School of Computer Science

School of Computer Science Cost and Scalability Analysis of Mobility Management Entities of NEMO Md. Shohrab Hossain and Mohammed Atiquzzaman TR-OU-TNRL-11-102 February 2011 Telecommunication & Network Research Lab School of Computer

More information

ECG Management Consulting GmbH

ECG Management Consulting GmbH ECG Management Consulting GmbH - A short ECG overview ECG Management Consulting GmbH Kurfürstendamm 30 10719 Berlin Tel.: 030-886 200-410 Fax: 030-886 200-200 www.ecg-consulting.com Berlin, January 2012

More information

Tool: Who are the stakeholders for disability inclusion?

Tool: Who are the stakeholders for disability inclusion? Tool: Who are the stakeholders for disability inclusion? The Project Cycle Management Guidelines (among other development methodologies) promote the participation and ownership of stakeholders in the development

More information

Kronos Online Approval Process (Facility)

Kronos Online Approval Process (Facility) Kronos Online Approval Process (Facility) The Kronos online supervisory approval process will allow supervisors to easily review and approve timecards as well as view employee leave balances and run reports

More information

Q-Sys TM ǀ Application Note TMG 11/12. Hardware Hookup Guide

Q-Sys TM ǀ Application Note TMG 11/12. Hardware Hookup Guide Distance Conferencing: Distance Conferencing: Hardware Hookup Guide Introduction: With markets becoming ever global and travel costs ever increasing, there has been a dramatic shift in recent years towards

More information

Programming Manual DDP ( Dynamic Display Panel )

Programming Manual DDP ( Dynamic Display Panel ) 2012 Programming Manual DDP ( Dynamic Display ) V 2.1 Created By Sameh and Basem Contents 1-Introduction Objective 1-1 S-bus products 1-2 2- Start Programming S-Bus Programming Software overview 2-1 S-bus

More information

Business ebanking Wire Transfer Reference Guide

Business ebanking Wire Transfer Reference Guide Business ebanking Wire Transfer Reference Guide If you have any questions, please contact Business ebanking Support at 1-800-593-4345 Contents One Time Wires...3-5 Deleting a One Time Wire Transfer...

More information

WJEC GCSE in Computer Science Computer Science Microsoft IT Academy Mapping

WJEC GCSE in Computer Science Computer Science Microsoft IT Academy Mapping WJEC GCSE in Computer Science Computer Science Microsoft IT Academy Mapping 1. Computer Systems 1.1 Identify and describe computer systems Windows Server Administration Fundamentals: Lesson 1 Server Overview

More information

Software Process Training

Software Process Training Rule 5 Project Planning Dr. Ernest Wallmüller Wolfgang Höh Qualität & Informatik www.itq.ch Copyright Qualität & Informatik 2005 Context QA Corrective action Supplier agreement Supplier Replan Status,

More information