Controller Area Network (CAN) Schedulability Analysis: Refuted, Revisited and Revised


 Edgar Tate
 3 years ago
 Views:
Transcription
1 Cotroller Area Networ (CAN) Schedulability Aalysis: Refuted, Revisited ad Revised Robert. Davis ad Ala Burs Realie Systes Research Group, Departet of Coputer Sciece, Uiversity of Yor, YO1 5DD, Yor (UK) Abstract Cotroller Area Networ (CAN) is used extesively i autootive applicatios, with i excess of 4 illio CAN eabled icrocotrollers aufactured each year schedulability aalysis was developed for CAN, showig how worstcase respose ties of CAN essages could be calculated ad hece guaratees provided that essage respose ties would ot exceed their deadlies. his seial research has bee cited i over 2 subsequet papers ad trasferred to idustry i the for of coercial CAN schedulability aalysis tools. hese tools have bee used by a large uber of ajor autootive aufacturers i the desig of ivehicle etwors for a wide rage of cars, illios of which have bee aufactured over the last 8 years. his paper shows that the origial schedulability aalysis give for CAN essages is flawed. t ay provide guaratees for essages that will i fact iss their deadlies i the worstcase. his paper provides revised aalysis resolvig the probles with the origial approach. Further, it highlights that the priority assiget policy, previously claied to be optial for CAN, is ot i fact optial ad cites a ethod of obtaiig a optial priority orderig that is applicable to CAN. he paper discusses the possible ipact o coercial CAN systes desiged ad developed usig flawed schedulability aalysis ad aes recoedatios for the revisio of CAN schedulability aalysis tools. 1. troductio 1.1. Bacgroud Cotroller Area Networ (CAN) is a serial couicatios bus desiged to provide siple, efficiet ad robust couicatios for ivehicle etwors. CAN was developed by Robert Bosch Gb begiig i 1983 ad preseted to a wider Reider J. Bril ad Joha J. Luie echische Uiversiteit Eidhove (U/e), De Dolech 2, 56 AZ Eidhove, he Netherlads audiece at the Society of Autootive Egieers (SAE) Cogress i 1986 effectively the birth of CAN the first CAN cotroller chips were released by tel (82526) ad Philips (82C2). the early 199s Bosch subitted the CAN specificatio [2] for stadardisatio, leadig to publicatio of the first SO stadard for CAN (11898) i 1993 [32]. Mercedes was the first autootive aufacturer to deploy CAN i a productio car, the 1991 Sclass. By the id 199s, the coplexity of autootive electroics was icreasig rapidly. he uber of etwored Electroic Cotrol Uits (ECUs) i Mercedes, BMW, Audi ad VW cars wet fro 5 or less at the begiig of the 199s to aroud 4 at the tur of the illeiu. With this explosio i coplexity traditioal poittopoit wirig becae icreasigly expesive to aufacture, istall, ad aitai due to the hudreds of separate coectios ad tes of ilogras of copper wire required. As a result CAN was rapidly adopted by the costcoscious autootive idustry, providig a effective solutio to the probles posed by icreasig vehicle electroics cotet. Followig o fro Mercedes other aufacturers icludig Volvo, Saab, BMW, Volswage, Ford, Reault, PSA, Fiat ad others all adopted CAN techology. As a result of the wholesale adoptio of CAN by the autootive idustry, sales of CAN odes (8, 16 ad 32bit icrocotrollers with ochip CAN peripherals) grew fro just uder 5 illio i 1999 to over 34 illio i 23 1 see Figure 1. By 24 there were at least 15 silico vedors aufacturig, i total, over 5 differet icroprocessor failies with ochip CAN capability. oday alost every ew car aufactured i 1 Figures fro the CAN i Autoatio (CiA) website 1
2 Europe is equipped with at least oe CAN bus. the Uited States, the Eviroetal Protectio Agecy has adated the use of CAN, for O Board Diagostics, i all cars ad light trucs sold i the US fro odel year 28 owards. Millio uits bit 16bit 8bit stad aloe CAN ode sales Year Figure 1: Sales of Microcotrollers with ochip CAN Peripherals 1.2. Autootive Applicatios autootive applicatios, CAN is typically used to provide high speed etwors (5Kbits/s) coectig chassis ad powertrai ECUs, for exaple egie aageet ad trasissio cotrol. t is also used for low speed etwors (1 or 125Kbits/s) coectig body ad cofort electroics, for exaple door odules, seat odules ad cliate cotrol. Data required by ECUs o differet etwors is typically gatewayed betwee the differet CAN buses by a powerful ECU coected to both. Figure 2: VW Passat Networ Architecture he etwor architecture of the VW Passat [33] show i Figure 2, reproduced fro [15], illustrates how a uber of CAN buses are used to coect aroud 45 ECUs i that vehicle. Also show i Figure 2 2 are three Local tercoect Networs (LN). LN is a copleetary techology to CAN, ad is used to provide iexpesive, low speed (2Kbits/s) coectivity. able 1 suarises the requireets placed o ivehicle etwors for the BMW 7 Series. his is typical of autootive applicatios, where idividual CAN buses are used to coect betwee 2 ad 32 ECUs at badwidths ragig fro 1 to 5Kbits/s. Body Chassis Powertrai No. of ECUs Badwidth 1 Kbits/s 5 Kbits/s 5Kbits/s No. of Messages Cycle ies 5s2s 1s1s 1s1s able 1: BMW 7 Series Networ Requireets autootive applicatios the essages set o CAN are used to couicate state iforatio, referred to as sigals, betwee differet ECUs. Exaples of sigals iclude: wheel speeds, oil ad water teperature, egie rp, gear selectio, accelerator positio, dashboard switch positios, cliate cotrol settigs, widow switch positios, fault codes, diagostic iforatio ad so o. a highed vehicle there ca be ore tha 25 distict sigals, each effectively replacig what would, i a traditioal poittopoit wirig loo, have bee a separate wire. May of these sigals have realtie costraits associated with the. For exaple, a ECU reads the positio of a switch attached to the brae pedal. his ECU ust sed a sigal, carryig iforatio that the braes have bee applied, over the CAN etwor so that the ECU resposible for the rear light clusters ca recogise the chage i the value of the sigal ad switch the brae lights o. All withi a few tes of illisecods of the brae pedal beig pressed. Egie, trasissio, ad stability cotrol systes typically place eve tighter tie costraits o sigals, which ay eed to be set as frequetly as oce every 5 illisecods to eet their tie costraits Research ad Realie Aalysis CAN is a serial data bus that supports priority based essage arbitratio ad opreeptive essage trasissio. the early 199s, a coo iscoceptio about CAN was that although the protocol was very good at trasittig the highest priority essage with low latecy, it was ot possible to guaratee that less urget sigals, carried i lower priority essages, would eet their deadlies idell et al. [6, 8, 9] showed how research ito fixed priority preeptive schedulig for sigle processor systes could be adapted ad applied to the
3 schedulig of essages o CAN. his aalysis provided a ethod of calculatig the worstcase respose ties of all CAN essages. Usig this aalysis it becae possible to egieer CAN based systes for tiig correctess, providig guaratees that all essages, ad the sigals that they carry would eet their deadlies. idell s seial research heavily iflueced the desig of ochip CAN peripherals such as Motorola scan [34] ad has lead to a large body of wor ito schedulability theory ad error odels for CAN [2227, 29], icludig at least two PhD theses [13, 15]. Overall, this research ito CAN schedulig has bee cited i over 2 2 subsequet papers idell s research was recogised by Volvo Car Corporatio ad successfully used i the cofiguratio ad aalysis of the CAN buses for the forthcoig Volvo S8 (P23) [11]. Followig the success of this project, Volcao Couicatios echologies AB 3 used idell s aalysis as the basis of a coercial CAN schedulability aalysis tool. Sice 1998 these tools have bee used, by a uber of autootive aufacturers, i the desig ad developet of the CAN etwors ad electroics systes for their vehicles. Prior to idell s wor, low levels of bus utilizatio, up to 3 or 4%, were typical i autootive applicatios, with extesive testig required to obtai cofidece that CAN essages would eet their deadlies. With the advet of a systeatic approach based o schedulability aalysis, CAN bus utilizatio could be icreased to aroud 8% [14] whilst still guarateeig that deadlies would be et Motivatio he desig ad developet of ay i vehicle Cotroller Area Networs relies o the schedulability aalysis of CAN give i [6, 8, 9]. this sectio, we show that this aalysis is flawed. t ay result i coputed worstcase respose ties for essages that are optiistic, i.e. less tha the respose ties that ay actually occur. he set of CAN essages listed i able 2 serve to highlight the proble with the existig schedulability aalysis of CAN. As a siple exaple, we have assued a 125Kbit/s etwor with 3 essages, each of which carries 7 bytes of sigal data. Assuig 11bit idetifiers ad worstcase bitstuffig, the axiu legth of each essage is 125 bits ad hece the axiu trasissio tie of each essage is 1s. 2 As of August 26, referece [6] has 78 citatios, referece [8] 199 citatios ad referece [9] 11 citatios (Google Scholar). 3 Volcao Couicatios echologies AB was acquired by Metor Graphics i May he aalysis ethod give i [6, 8, 9] calculates the worstcase respose ties of essages A, B ad C as 2s, 3s ad 3s respectively. ece the syste is deeed to be schedulable the aalysis supposedly guaratees that all of the essages will eet their deadlies i the worst case, despite the high bus utilisatio of 97%. Message Priority Period Deadlie tie A 1 2.5s 2.5s 1s B 2 3.5s 3.25s 1s C 3 3.5s 3.25s 1s able 2: CAN Messages ighlightig Flawed Aalysis Figure 3 illustrates the worstcase sceario for trasissio of essage C. We ote that the first ivocatio of this essage is delayed by higher priority essages A ad B, leadig to a respose tie of 3s this is the worstcase respose tie calculated usig existig CAN schedulability aalysis ethods. owever, as essage trasissio is opreeptable, the first trasissio of essage C has a oc o effect, delayig subsequet trasissios of higher priority essages A ad B. Soe of this higher priority iterferece is pushed through ito the ext period of essage C leadig to a loger respose tie for the secod istace of essage C. Figure 3: Worstcase Sceario for Message C At tie t = 7s, the secod istace of essage C copletes trasissio with a respose tie of 3.5s. (Note at tie t = 7s, there are o higher priority essages awaitig trasissio ad so there is o further push through iterferece that could delay subsequet istaces of essage C). he actual worstcase respose tie for essage C is 3.5s, which is greater tha its deadlie of 3.25s, ad so the syste is i fact uschedulable; cotrary to the guaratees give by [6, 8, 9]. fact, if the periods of essages B ad C are shorteed fro 3.5s to 3.25s the the existig aalysis results i uchaged worstcase respose ties, iplyig that the syste is still schedulable. owever, with these shorter periods the overall bus utilisatio exceeds 1% ad so the syste caot possibly be schedulable!
4 1.5. Related wor he schedulability aalysis for CAN builds o previous research ito fixed priority schedulig of tass o sigle processor systes. 199, Lehoczy [5] itroduced the cocept of a busy period ad showed that if tass have deadlies greater tha their periods, referred to as arbitrary deadlies, the it is ecessary to exaie the respose ties of all ivocatios of a tas fallig withi a busy period i order to deterie the worstcase respose tie. 1991, arbour [4] showed that if deadlies are less tha or equal to periods, but priorities vary durig executio, the agai ultiple ivocatios ust be ispected to deterie the worstcase respose tie. We ote that opreeptive schedulig is effectively a special case of preeptive schedulig with varyig executio priority as soo as a tas starts to execute its priority is raised to the highest level. 1994, idell et al. [7] iproved upo the wor of Lehoczy [5] providig a forulatio for arbitrary deadlie aalysis based o a recurrece relatio. Buildig upo these earlier results, coprehesive schedulability aalysis of opreeptive fixed priority schedulig for sigle processor systes was give by George et al i 1996 [3]. 26, Bril [2] refuted the aalysis of fixed priority systes with deferred preeptio give by Burs i [12], showig that this aalysis ay result i coputed worstcase respose ties that are optiistic. he schedulability aalysis for CAN give by idell i [6, 8, 9] builds upo [12] ad suffers fro essetially the sae flaw. A siilar issue with wor o preeptio thresholds [19] was first idetified ad corrected by Regehr [18] i 22. he revised schedulability aalysis preseted i this paper ais to provide a evolutioary iproveet upo the aalysis of CAN give by idell i [6, 8, 9]. o do so, it draws upo the aalysis of idell [7] for fixed priority preeptive schedulig of systes with arbitrary deadlies ad the aalysis of George et al. [3] for fixed priority opreeptive systes. A techical report [16] ad a worshop paper [17] highlight the proble for CAN but do ot provide a specific idepth solutio. hat is the purpose of this paper Orgaisatio he reaider of this paper is orgaised as follows: sectio 2 describes the CAN protocol ad teriology before outliig a suitable schedulig odel ad otatio o which to base revised schedulability aalysis. Sectio 3 provides ew schedulability aalysis for CAN, correctig the flaws i the existig approach. Sectio 4 discusses the syste ad essage paraeters eeded for the flaws i the existig aalysis to result i icorrect worstcase respose ties ad hece isleadig guaratees. Sectio 5 discusses the issue of optial priority assiget for CAN. Sectio 6 suarises the iplicatios of flaws i the existig aalysis for coercial CAN applicatios. Fially, sectio 7 cocludes with a suary of the ai cotributios of this paper ad recoedatios for further research. 2. Cotroller Area Networ (CAN) his sectio describes eleets of the CAN protocol ad characteristics of a syste odel that are eeded to forulate a schedulability test. For a coplete descriptio of the CAN protocol see the CAN specificatio versio 2. [2] CAN Protocol ad eriology Cotroller Area Networ (CAN) is a ultiaster serial data bus which uses Carrier Sese Multiple Access/ Collisio Resolutio (CSMA/CR) to deterie access. CAN was desiged as a siple ad robust broadcast bus capable of operatig at speeds of up to 1 Mbit/s. Message trasfer over CAN is cotrolled by 4 differet types of frae: Data fraes, Reote rasit Request (RR) fraes, Overload fraes ad Error fraes. he layout of a stadard forat data frae is show i Figure 4. Each CAN data frae is required to have a uique idetifier. detifiers ay be 11bit (stadard forat) or 29bit (exteded forat). he idetifier serves two purposes beyod siply idetifyig the essage. First, the idetifier is used as a priority to deterie which essage aog those cotedig for the bus will be trasitted ext. Secod, the idetifier ay be used by receivers to filter out essages that they are ot iterested i, ad so reduce the load o the receiver s host icroprocessor. this paper we are iterested i the schedulability of data fraes, with error fraes also cosidered i sectio 3.5. he schedulability aalysis ca however easily be exteded to iclude RR fraes usig the approach give i [8]. 4
5 2.1.1 Priority Based Arbitratio he CAN physical layer supports two states tered doiat ( ) ad recessive ( 1 ). f two or ore CAN cotrollers are trasittig at the sae tie ad at least oe of the trasits a the the value o the bus will be a. his echais is used to cotrol access to the bus ad also to sigal errors. he CAN protocol calls for odes to wait util a bus idle period 4 is detected before atteptig to trasit. f two or ore odes start to trasit at the sae tie, the by oitorig each bit o the bus, each ode ca deterie if it is trasittig the highest priority essage (with a uerically lower idetifier) ad should cotiue or if it should stop trasittig ad wait for the ext bus idle period before tryig agai. As the essage idetifiers are uique, a ode trasittig the last bit of the idetifier field, without detectig a bit that it did ot trasit, ust be trasittig the essage with the lowest uerical value ad hece the highest priority that was ready at the start of arbitratio. his ode the cotiues to trasit the reaider of its essage, all other odes havig baced off. he requireet for a ode to be able to overwrite a recessive bit, ad the trasittig ode detect this chage, liits the cobiatio of physical legth ad speed of CAN bus. he duratio of each bit ust be sufficiet for the sigal to propagate the legth of the etwor. his liits the axiu data rate to 1Mbit/s for a etwor up to 4 i legth or to 125Kbit/s for a 5 log etwor. he arbitratio echais eployed by CAN eas that essages are set as if all the odes o the etwor shared a sigle global priority based queue. effect essages are set o the bus accordig to fixed priority opreeptive schedulig. he above high level descriptio is a soewhat siplified view of the tiig behaviour of CAN. CAN does ot have a global cocept of tie, rather each CAN cotroller typically has its ow cloc which, 4 A bus idle period is a iterval of arbitrary legth coprisig oly recessive bits ad begiig with the last bit of the iterfrae space the fial 3bit field show i Figure 4. Figure 4: Stadard Forat Data Frae 5 withi a tolerace specified by the protocol, ay drift with respect to the clocs of other odes. he CAN protocol therefore requires that odes resychroise o each essage trasissio. Specifically, every ode ust sychroise to the leadig edge of the start of frae bit caused by whichever ode starts to trasit first. Norally, CAN odes are oly allowed to start trasittig whe the bus is idle. hus, whe the bus is idle beyod the 3bit iterfrae space ad a ode starts to trasit a essage begiig with the doiat start of frae bit ( ), the all the other odes sychroise o the leadig edge of this bit ad becoe receivers i.e. they are ot peritted to trasit util the bus ext becoes idle. this case ay essage that becoes ready for trasissio after the leadig edge of the start of frae bit has to wait for the ext bus idle period before it ca eter ito arbitratio. owever, to avoid probles due to cloc drift, the CAN protocol also specifies that, if a CAN ode has a essage ready for trasissio ad detects a doiat bit at the 3 rd bit of the iterfrae space, it will iterpret this as a start of frae bit, ad, with the ext bit, start trasittig its ow essage with the first bit of the idetifier without first trasittig a start of frae bit ad without becoig a receiver 5. Agai the leadig edge of the start of frae bit causes a sychroisatio. his behaviour esures that ay essages that becoe ready for trasissio, whilst aother essage is beig set o the bus, are etered ito the ext roud of arbitratio, irrespective of ay, withi tolerace, cloc drift Error Detectio CAN was desiged as a robust ad reliable for of couicatio for short essages. Each data frae carries betwee ad 8 bytes of payload data ad has a 15bit Cyclic Redudacy Chec (CRC). he CRC is used by receivig odes to chec for errors i the trasitted essage. f a ode detects a error i the trasitted essage, which ay be a bitstuffig error (see sectio 2.1.3), a CRC error, a for error i the 5 See page 54 of the CAN Specificatio versio 2. [2].
6 fixed part of the essage or a acowledgeet error, the it trasits a error flag. he error flag cosists of 6 bits of the sae polarity: if the ode is i the error active state ad if it is error passive. rasissio of a error flag typically causes other odes to also detect a error, leadig to trasissio of further error flags. Figure 5: CAN Error Fraes Figure 5 illustrates CAN error fraes, for further details see [2] ad [22]. he legth of a error frae is betwee 17 ad 31 bits. ece each essage trasissio that is sigalled as a error ca lead to a axiu of 31 additioal bits 6 of error recovery overhead plus retrasissio of the essage itself Bit Stuffig As the bit patters ad are used to sigal errors, it is essetial that these bit patters are avoided i the variable part of a trasitted essage see Figure 4. he CAN protocol therefore requires that a bit of the opposite polarity is iserted by the trasitter wheever 5 bits of the sae polarity are trasitted. his process is referred to as bitstuffig, ad is reversed by the receiver. he worstcase sceario for bitstuffig is show i Figure 6. Note that each stuff bit begis a sequece of 5 bits that is itself subject to bit stuffig. Figure 6: Worstcase Bit Stuffig Stuff bits icrease the axiu trasissio tie of CAN essages. cludig stuff bits ad the iter 6 he aalysis give i [6, 8, 9] uses 29 bits as the error recovery overhead as specified o page 8 of part A of the CAN specificatio 2. [2] for stadard idetifiers oly. We use 31 bits as specified o page 4 of the CAN specificatio 2. Part B [2] for both stadard ad exteded idetifiers. 6 frae space, the axiu trasissio tie C, of a CAN essage cotaiig s data bytes is give by 7 : g + 8s 1 C = g + 8 s τ bit (1) 4 where g is 34 for stadard forat (11bit idetifiers) or 54 for exteded forat (29bit idetifiers), a / b is otatio for the floor fuctio, which returs the largest iteger less tha or equal to a/b, adτ bit is the trasissio tie for a sigle bit. he forula give i Equatio (1) siplifies to: C = ( ) τ (2) s for 11bit idetifiers ad C = ( ) τ (3) s for 29bit idetifiers Schedulig Model this sectio we describe a appropriate syste odel ad otatio that ca be used to aalyse worstcase respose ties of essages o CAN ad hece deterie syste schedulability. he syste is assued to coprise a uber of odes (icroprocessors) coected via CAN. Each ode is assued to be capable of esurig that at ay give tie whe arbitratio starts, the highest priority essage queued at that ode is etered ito arbitratio. he syste is assued to cotai a static set of hard realtie essages each statically assiged to a ode o the etwor. Each essage has a fixed idetifier ad hece a uique priority. As priority uiquely idetifies each essage, i the reaider of this paper we will overload to ea either essage or priority as appropriate. Each essage has a axiu uber of data bytes s ad a axiu trasissio tie C, give by Equatio (1). Each essage is assued to be queued by a software tas, process or iterrupt hadler executig o the host icroprocessor. his tas is either ivoed by, or polls for, the evet ad taes a bouded aout of tie betwee ad J to queue the essage ready for trasissio. J is referred to as the queuig jitter of the essage ad is iherited fro the overall respose tie of the tas, icludig ay pollig delay. he evet that triggers queuig of the essage is assued to occur with a iiu iterarrival tie of, referred to as the essage period. his odel supports evets that occur strictly periodically with a period of, evets that occur sporadically with a iiu separatio of ad evets that occur oly oce before the syste is reset, i which case is bit bit 7 his forula corrects a siilar oe i [6, 8, 9] which does ot accout for the fact that stuff bits are theselves also subject to bit stuffig.
7 ifiite. Each essage has a hard deadlie D, correspodig to the axiu peritted tie fro occurrece of the iitiatig evet to the ed of successful trasissio of the essage, at which tie the essage data is assued to be available o the receivig odes that require it. ass o the receivig odes ay place differet tiig requireets o the data, however i such cases we assue that D is the tightest such tie costrait. he worstcase respose tie R, of a essage is defied as the logest tie fro the iitiatig evet occurrig to the essage beig received by the odes that require it. A essage is said to be schedulable if ad oly if its worstcase respose tie is less tha or equal to its deadlie ( R D ). he syste is schedulable if ad oly if all of the essages i the syste are schedulable Practical plicatios of the Model Egieers watig to use the aalysis give i sectio 3 to aalyse CAN based systes ust be careful to esure that all of the assuptios of the above odel hold for their syste. particular, it is iportat that each CAN cotroller ad device driver is capable of esurig that, at ay give tie whe arbitratio starts, the highest priority essage queued at that ode is etered ito arbitratio. his behaviour is essetial if essage trasissio is to tae place as if there were a sigle global priority queue ad for the aalysis give i sectio 3 to be applicable. As oted i [6], the Philips 82C5 CAN cotroller caot i geeral support this behaviour. Also the tel CAN cotroller has a feature where essages are etered ito arbitratio i slot order rather tha idetifier order. this case it is iportat that essages are allocated to slots i idetifier order to preserve the correct priority based behaviour. May ochip CAN cotrollers have ultiple slots that ca be allocated to either trasit or receive a specific essage. For exaple soe Motorola, Natioal Seicoductor, Fujitsu ad itachi ochip CAN peripherals have 14, 15 or 16 such slots. hese slots typically have oly a sigle buffer ad therefore it is ecessary to esure that the previous istace of a essage has bee trasitted before ay ew data is writte ito the buffer, otherwise the previous essage will be overwritte ad lost. his behaviour provides a additioal costrait o essage trasissio: the deadlie of each essage ust be less tha or equal to its period ( D ). Recall that the worstcase respose tie of a 7 essage is fro the occurrece of the iitiatig evet to the ed of successful essage receptio at the receivig odes. As oted by Broster i [13], receivig odes ca access the essage followig the ed of frae arer ad before the 3bit iterfrae space see Figure 4. he aalysis give i the reaider of this paper is slightly pessiistic i that it icludes the 3bit iterfrae space i the coputed worstcase respose ties. o reove this sall degree of pessiis it is valid to siply subtract 3τ bit fro the coputed respose tie values. ypically the respose tie of a essage represets oly part of a overall edtoed respose tie that is of iterest to egieers. Oce the essage is received it ay cause a iterrupt or be polled for at the receivig ode. ypically the data i the essage will be processed by a tas or iterrupt hadler ad soe output ade. he worstcase respose tie of the receivig tas or iterrupt hadler, icludig ay pollig delay, eeds to be added to the worstcase respose tie of the essage to deterie the overall edtoed respose tie. he schedulig odel assued i this paper uses oly oe tie doai, whilst CAN typically has a separate cloc source for each ode o the etwor. o esure that the schedulability aalysis for a real etwor does ot produce optiistic results, it is ecessary to tae cloc toleraces ito accout. his ca be achieved by covertig to realtie as follows: for essage jitters ad bit ties o the bus the coversio to realtie should assue that the ode clocs ru as slowly as their tolerace allows. Siilarly, essage periods ad deadlies derived fro ode clocs should be coverted to realtie assuig that the ode clocs ru as quicly as their tolerace allows. 3. Respose ie Aalysis Respose tie aalysis for CAN ais to provide a ethod of calculatig the worstcase respose tie of each essage. hese values ca the be copared to the essage deadlies to deterie if the syste is schedulable. itially we provide aalysis assuig o errors o the CAN bus. his aalysis is the exteded, i sectio 3.5, to accout for errors o the bus. For systes coplyig with the schedulig odel give i sectio 2.2, CAN effectively ipleets fixed priority opreeptive schedulig of essages. Followig the aalysis i [6, 8, 9] the worstcase respose tie of a essage ca be viewed as beig ade up of three eleets: (i) he queuig jitter J, correspodig to the logest tie betwee the iitiatig evet ad the essage beig queued, ready to be
8 trasitted o the bus. (ii) he queuig delay w, correspodig to the logest tie that the essage ca reai i the CAN cotroller slot or device driver queue before coecig successful trasissio o the bus. (iii) he trasissio tie C, correspodig to the logest tie that the essage ca tae to be trasitted. he worstcase respose tie of essage is give by: R = J + w + C (4) he queuig delay coprises blocig B, due to lower priority essages which ay be i the process of beig trasitted whe essage is queued ad iterferece due to higher priority essages which ay wi arbitratio ad be trasitted i preferece to essage. Give the behaviour of CAN described i the fial two paragraphs of sectio 2.1.1, the axiu aout of blocig occurs whe a lower priority essage starts trasissio iediately before essage is queued, ready to be trasitted o the bus. Message ust wait util the bus is idle before it ca be etered ito arbitratio. he axiu blocig tie B, is give by: B = ax ( C ) (5) lp( ) where lp() is the set of essages with lower priority tha. he cocept of a busy period, itroduced by Lehoczy [5], is fudaetal i aalysig worstcase respose ties. Modifyig the defiitio of a busy period give i [4] to apply to CAN essages, a priority level busy period is defied as follows: s (i) t starts at soe tie t whe a essage of priority or higher is queued ready for trasissio ad there are o essages of priority or higher waitig to be trasitted s that were queued strictly before tie t. (ii) t is a cotiguous iterval of tie durig which ay essage of priority lower tha is uable to start trasissio ad wi arbitratio. e (iii) t eds at the earliest tie t whe the bus becoes idle, ready for the ext roud of trasissio ad arbitratio, yet there are o essages of priority or higher waitig to be trasitted that were queued strictly before e tie t. he ey characteristic of a busy period is that all essages of priority or higher queued strictly before the ed of the busy period are trasitted durig the busy period. hese essages caot therefore cause 8 ay iterferece o a subsequet istace of essage queued at or after the ed of the busy period. atheatical teriology, busy periods ca be s e s viewed as right halfope itervals: [ t, t ) where t e is the start of the busy period ad t the ed. hus the ed of oe busy period ay correspod to the start of aother separate busy period. his is i cotrast to the sipler defiitio give i [5], which uifies two adjacet busy periods as we have defied the, ad therefore soeties results i aalysis of ore essage istaces tha is strictly ecessary. For exaple, i the extree case of 1% utilisatio, the busy period defied i [5] ever eds ad a ifiite uber of essage istaces would eed to be cosidered. he worstcase queuig delay for essage occurs for soe istace of essage queued withi a priority level busy period that starts iediately after the logest lower priority essage begis trasissio. his axial busy period begis with a socalled critical istat [21] where essage is queued siultaeously with all higher priority essages ad the each of these essages is subsequetly queued agai after the shortest possible tie itervals. the reaider of this paper wheever we refer to a busy period we ea this axiu legth busy period. f ore tha oe istace of essage is trasitted durig a priority level busy period the it is ecessary to deterie the respose tie of each istace i order to fid the overall worstcase respose tie of the essage Basic Aalysis ad Stoppig Coditio [6, 8, 9], idell gives the followig equatio for the worstcase queuig delay: w + J + τ bit w B C hp = + (6) ( ) where hp() is the set of essages with priorities higher tha ad a / b is otatio for the ceilig fuctio which returs the sallest iteger greater tha or equal to a/b. Although w appears o both sides of Equatio (6), as the right had side is a ootoic odecreasig fuctio of w, the equatio ay be solved usig the recurrece relatio below. + 1 w + J + τ bit w = B + C (7) ) A suitable startig value is w = B. he relatio +1 iterates util either J + w + C > D i which +1 case the essage is ot schedulable or w = w, i which case the worstcase respose tie of the first
9 istace of the essage i the busy period is give by: +1 J + w + C. he flaw i the above aalysis is that, give the costrait D, it iplicitly assues that if essage is schedulable the the priority level busy period will ed at or before. We observe that with fixed priority preeptive schedulig this would always be the case, as o copletio of trasissio of essage ; o higher priority essage could be awaitig trasissio. owever, with fixed priority opreeptive schedulig, a higher priority essage ca be awaitig trasissio whe essage copletes trasissio, ad thus the busy period ca exted beyod as show by the exaple i sectio 1.4. he legth t, of the priority level busy period is give by the followig recurrece relatio, startig with a iitial value of t = C ad fiishig whe +1 t = t : t J t = B + C (8) ) where hp( ) is the set of essages with priority or higher. As the right had side is a ootoic odecreasig fuctio of t the the recurrece relatio is guarateed to coverge provided that the bus utilisatio U, for essages of priority ad higher, is less tha 1: C U = (9) ) f t J the the busy period eds at or before the secod istace of essage is queued. his eas that oly the first istace of the essage is trasitted durig the busy period. he existig aalysis calculates the worstcase queuig tie for this istace via Equatio (7) ad hece provides the correct worstcase respose tie i this case. f t > J the the existig aalysis ay give a optiistic worstcase respose tie depedet upo whether the first or subsequet istaces of essage i the busy period have the logest respose tie. We observe that the aalysis preseted i appedix A.2 of [3] suggests that t is the sallest value that is a solutio to Equatio (8), however this is ot strictly correct. For the lowest priority essage B = ad so t = is trivially the sallest solutio. We avoid this proble by usig a iitial value of t =. C 3.2. Checig Multiple staces he uber of istaces Q, of essage that becoe ready for trasissio before the ed of the busy period is give by: t + J Q = (1) o deterie the worstcase respose tie of essage, it is ecessary to calculate the respose tie of each of the Q istaces. he axiu of these values the gives the worstcase respose tie. the followig aalysis, we use the idex variable q to represet a istace of essage. he first istace i the busy period correspods to q = ad the fial istace to q = Q 1. he logest tie fro the start of the busy period to istace q begiig successful trasissio is give by: w J τ bit w ( q) = B + qc + C ) (11) he recurrece relatio starts with a value of + 1 w ( q) = B + qc ad eds whe w ( q) = w ( q) + 1 or whe J + w ( q) q + C > D i which case the essage is uschedulable. For values of q > a efficiet startig value is give by w ( q) = w ( q 1) + C. he evet iitiatig istace q of the essage occurs at tie q J relative to the start of the busy period so the respose tie of istace q is give by: R ( q) = J + w ( q) q + C (12) he worstcase respose tie of essage is therefore: R = ax ( R ( q)) (13) q=.. Q 1 We ote that the aalysis preseted above is also applicable whe essages have deadlies that are greater tha their periods, so called arbitrary deadlies. owever, if such tiig characteristics are specified the the software device drivers or CAN cotroller hardware ay eed to be capable of bufferig ore tha oe istace of a essage. he uber of istaces of each essage that eed to be buffered is bouded by: R N = (14) We observe that the aalysis preseted i [3] Q t / + rather tha effectively uses = 1 Q t / =. his yields a value which is oe too large whe the legth of the busy period plus jitter is a iteger ultiple of the essage period. Although this does ot give rise to probles, we prefer the ore efficiet forulatio give by Equatio (1). 9
10 3.3. Exaple sectio 1.4 we showed, with the aid of a siple exaple, how the existig aalysis ca provide optiistic worstcase respose ties ad hece flawed guaratees that essages will eet their deadlies. We retur to this exaple to illustrate how the aalysis preseted i this paper coputes the correct worstcase respose ties. For ease of referece, the table of essage paraeters is repeated below. Message Priority Period Deadlie tie A 1 2.5s 2.5s 1s B 2 3.5s 3.25s 1s C 3 3.5s 3.25s 1s able 3: CAN Messages Usig the ew aalysis, the worstcase respose tie of essage C ( = 3) is calculated as follows. As there are o lower priority essages, B 3 =. Startig with a value of t3 = C3 = 1, the recurrece relatio 1 give by Equatio (8) iterates as follows: t 3 = 3, t3 = 4, t3 = 6, t3 = 7, covergig as t3 = t3 = 7. he legth of the busy period is therefore 7.s ad the uber of istaces of essage C that eed to be exaied is give by Equatio (1): 7. Q 3 = = his tells us that there is the possibility that the existig aalysis will calculate a optiistic worstcase respose tie. he value could still be correct if the first istace of the essage has the logest respose tie. Calculatio of the respose tie of the first istace proceeds usig Equatio (11): w 3 () =, w3 () = 2, covergig whe w3 () = w3 () = 2. Usig Equatio (12) we have R 3 () = 3, the sae respose tie calculated by the existig aalysis. Movig o to the secod istace, 1 2 w ( 1) = w3 () + C = 3, w3 (1) = 4, w 3 (1) = 5, 3 w 3 (1) = 6. At this poit coputatio would orally stop as the respose tie, give by J 3 + w3 ( q) q3 + C3 has reached 3.5 s which is greater tha the essage deadlie. owever, if we cotiue iteratig, assuig a loger deadlie, the the 4 3 recurrece relatio coverges o w3 (1) = w3 (1) = 6 ad hece R 3 (1) = 3.5 s. he worstcase respose tie of essage C is i fact 3.5s as previously illustrated by Figure 3 i sectio Sufficiet Schedulability ests he aalysis give i sectios 3.1 ad 3.2 corrects a sigificat flaw i the existig schedulability aalysis for CAN. owever, the schedulability test preseted is ore coplex, potetially requirig the coputatio of ultiple respose ties. this sectio, we preset two sipler but ore pessiistic schedulability tests, which are applicable give the costrait that essage deadlies do ot exceed their periods. hese tests are referred to as sufficiet but ot ecessary. By sufficiet, we ea that all systes deeed to be schedulable by the tests are i fact schedulable, ad by ot ecessary we ea that ot all systes deeed to be uschedulable by the tests are i fact uschedulable. he respose tie of the first istace of a essage i the busy period is give by Equatio (7). Assuig that this first istace copletes trasissio before its deadlie ad hece before the ed of its period, the we have two possibilities to cosider. (i) f the busy period eds before the ext istace of essage is queued, the Equatio (7) gives the correct worstcase respose tie. (ii) Alteratively if the busy period cotiues beyod the tie at which the ext istace of essage is queued, the we ust also cosider the respose tie of the secod ad ay subsequet istaces of essage, queued before the ed of the busy period. the latter case, the axiu aout of higher priority iterferece that ca be pushed through ito the ext period of essage due to the opreeptive trasissio of the previous istace is C. Further, as the first istace of essage copleted trasissio at or before the ed of its period, ad the priority level busy period exteds at least as far as the ed of that period, the there ca be o outstadig essages of lower priority blocig the ext istace. We ow tae a alterative ad pessiistic view of the respose tie of the ext istace of essage. he queuig tie of this istace ca be cosidered i isolatio. We assue that, (i) it is queued siultaeously with all other essages of higher priority a critical istat, (ii) it is subject to push through iterferece of C fro the previous istace of essage. A upper boud o the queuig delay of the secod ad subsequet istaces of essage withi the busy period is therefore give by: w J τ bit w = C + C (15) ) his result suggests a siple but pessiistic schedulability test. A istace of essage ca either be subject to blocig due to lower priority essages or to push through iterferece of at ost C due to the previous istace of the sae essage, but ot both. ece we ca odify Equatio (7) to provide a correct sufficiet but ot ecessary 1
11 schedulability test: w J τ bit w = ax( B, C ) + C ) (16) A further siplificatio is to assue that the blocig factor always taes its axiu possible value: MA w J τ bit w = B + C (17) ) MA Where B correspods to the trasissio tie of the logest possible CAN essage (8 data bytes) irrespective of the characteristics ad priorities of the essages i the syste Error odel So far we have assued that o errors occur o the CAN bus, however as origially show i [6, 8, 9] schedulability aalysis of CAN ay be exteded to iclude a appropriate error odel. this paper we cosider oly a very siple ad geeral error odel. We assue that the axiu uber of errors preset o the bus i soe tie iterval t is give by the fuctio F(t). We assue o specific details about this fuctio; save that it is a ootoic odecreasig fuctio of t. For a ore detailed discussio of appropriate error odels for CAN see [22, 24, 25]. We ow odify the schedulability equatios to accout for the error recovery overhead. he worstcase ipact of a sigle bit error is to cause trasissio of a additioal 31 bits of error recovery overhead plus retrasissio of the affected essage. Oly errors affectig essage or higher priority essages ca delay essage fro beig successfully trasitted. he axiu additioal delay caused by the error recovery echais is therefore give by: E ( t) = 31τ bit + ax ( C ) F( t) (18) hp( ) Revisig Equatio (8) to copute the legth of the busy period we have: + 1 t + J t = E ( t ) + B + C (19) ) Agai a appropriate iitial value is t = C. Equatio (19) is guarateed to coverge o a solutio provided that the utilisatio icludig error U 8 [8], idell et al. state that the blocig tie o CAN is defied as the logest tie that a essage ca tae to be physically trasitted o the bus. his siplified view provides a sufficiet but ot ecessary schedulability test that correspods to Equatio (17). owever, later i [8], the blocig ter is described as the logest tie that ay lower priority essage ca occupy the bus. his descriptio, also i [6, 9], results i a flawed schedulability test. 11 recovery overhead is less tha 1. As before, Equatio (1) ca be used to copute the uber of essage istaces that eed to be exaied to fid the worstcase respose tie. + 1 w ( q) = E ( w + C ) + B + qc + w + J + τ (2) bit C ) Equatio (2) exteds Equatio (11) to accout for the error recovery overhead. Note that as errors ca ipact the trasissio of essage itself, the tie iterval cosidered i calculatig the error recovery overhead icludes the trasissio tie of essage as well as the queuig delay. Equatios (2), (12) ad (13) ca be used together to copute the respose tie of each essage istace q, ad hece fid the worstcase respose tie of each essage i the presece of errors at the axiu rate specified by the error odel. he sufficiet schedulability tests give i sectio 3.4 ca be siilarly odified via the additio of the ter E ( w + C ) to accout for the error recovery overhead. 4. Discussio this sectio we cosider various characteristics of CAN systes ad discuss whether flaws i the existig aalysis ca result i erroeous guaratees uder specific circustaces that are relevat to realworld systes. We see to aswer the followig questios. 1. Ca the existig aalysis give faulty guaratees to essages of ay priority? 2. f the bus utilizatio is low, ca the existig aalysis still result i optiistic respose ties? 3. Do error odels give sufficiet egieerig argi for error to accout for the flaw i the aalysis? 4. Does the oissio of diagostic essages durig oral operatio reduce iterferece / blocig eough to esure that the deadlies of the reaiig essages will be et? 5. Which essage guaratees ca we be sure are ot at ris? 4.1. Priorities of Messages at Ris We have foud that, i geeral, the existig aalysis gives the correct worstcase respose ties for the highest priority ad the 2 d highest priority essage. owever; it ca copute icorrect worstcase respose ties for essages fro the 3 rd highest priority to the lowest priority.
12 Figure 7: Busy Period for Message. his is show by the exaple essage set costructed below ad illustrated i Figure 7. he exaple essage set cosists of; (i) a high priority essage ; (ii) a group of (where 1 ) iterediate priority essages, represeted by, which all have the sae periods ad trasissio ties; (iii) a essage of priority below those essages i group, which highlights the flaw i the aalysis ad (iv) a group of (where ) low priority essages represeted by L, which all have the sae trasissio ties. he trasissio ties of the essages are C, C, C ad CL respectively. he exaple assues that C > CL. he low priority essages L, are assued to have very large periods ad o jitter. hese essages cotribute oly blocig to the respose tie of essage. (Note if there are o lower priority essages, i.e. =, the the exaple still holds with = ). C L he period of essage is: = C + 2C + 2C + C ( L ) / 2 he period of essage is: = ( CL + 3C + 2C + 2C ) / 2 he period of the iterediate essages, is assued to be large ( >> 2 ). owever, the period less jitter for each iterediate essage is: J = C + 2 C + C + C L By cotrast essages ad are assued to have o jitter. he busy period for essage is show i Figure 7. For siplicity, there is oly oe iterediate priority essage show i the diagra, however the trasissio tie of this essage is give as C, represetig the arbitrary uber of iterediate essages that are cosidered. We ow show that uder certai coditios, essage exhibits the proble with the existig aalysis. he legth of the busy period for essage, give by Equatio (8), is: t = C + 3 C + 2C + 2C = 2 L ece, accordig to Equatio (1), there are two istaces of essage i the busy period that eed to have their respose ties coputed. Accordig to Equatio (11), ad as C > CL, the queuig delay of the first istace of essage is: w ( ) = C + C + C L Siilarly for the secod istace: w ( 1) = C + 3C + 2C + C L Accordig to Equatio (12), the respose ties of the two istaces are: R ( ) = C + C + C + C L ad R ( 1) = ( CL + 3C + 2C + 2C ) / 2 Coparig R () ad R (1), the, provided that C > CL, the respose tie of the secod istace is greater tha that of the first. Meaig that essage exposes the flaw i the existig aalysis. ( fact, assuig D =, the secod istace of essage is oly just schedulable with R = ). As we ca choose a arbitrary uber ( 1 ) of iterediate priority essages ad siilarly a arbitrary uber ( ) of lower priority essages, essage ay lie aywhere fro the 3 rd highest to the lowest priority i a set of essages with cardiality greater tha or equal to 3. We coclude that ay essage fro the lowest priority to the 3 rd highest priority i a set of 3 or ore essages ca be give a optiistic respose tie ad therefore a faulty guaratee by the existig aalysis Breadow Utilisatio he exaple i sectio 1.4 has a bus utilisatio of 97%. t is iterestig to as if the existig aalysis ca yield optiistic worstcase respose ties for systes with uch lower utilisatio. 12
13 Returig to the exaple essage set, costructed i sectio 4.1, we ow cosider how low the utilisatio of that essage set ca be. o achieve the lowest possible utilisatio, we eed oly cosider the cotributio fro essages ad as the utilisatio of both the iterediate essages, ad the low priority essages L, teds to zero whe their periods are icreased to a arbitrarily large value. We therefore have: 2C 2C U = + C + 3C + 2C + 2C C + 2C + 2C + C L with the costraits that C > C L ad C > CL. he overall utilisatio is iiised by choosig values of C ad C as sall as possible ad C as large as possible. Give the costraits o CAN essage sizes, the iiu occurs whe we choose essages ad to have zero data bytes, so C = C = 55τ bit, the iterediate essages to have 8 data bytes ad so C = 135τ bit ad o lower priority essages, so C L =. We ote that this essage set is soewhat pathological i that all the iterediate priority essages have arbitrarily large periods / deadlies ad correspodigly large queuig jitter. t does however illustrate that i geeral the existig aalysis breas dow at very low levels of utilisatio. able 4 provides a upper boud o this breadow utilisatio: the existig aalysis is ow to breadow at these levels of utilisatio, it ay breadow at still lower levels. Nuber of Utilisatio Messages % % 1 9.2% % 1.82% able 4: Utilisatio of Message Sets Breaig the Existig Aalysis Whilst it is uliely that realworld applicatios will have essage cofiguratios that replicate the pathological case discussed above, such systes ay i soe cases iclude essages with large aouts of queuig jitter. ypically these are gatewayed essages that have iherited a large jitter fro variability i the respose tie of a source essage set o aother etwor. We coclude that, for applicatios characterised by ozero queuig jitter, it is prudet to assue that there could be probles with the existig aalysis irrespective of overall bus utilisatio. fact, for realworld CAN systes characterised by essages with ozero queuig jitter ad cosequetly deadlies less tha periods, overall bus L 13 utilisatio is a poor idicator of syste schedulability Margi for Error sectio 3.5 we saw how a geeralised error odel could be icluded i the revised schedulability aalysis. Bit error rates o CAN are typically very low: 11 1 up to 1 6 depedig o eviroetal coditios [31]. owever, errors do occur ad it is therefore appropriate that ay coercial applicatio of CAN schedulability aalysis should iclude at least a siple error odel to accout for sporadic errors o the bus. hese errors are typically caused by exteral sources of Electroagetic terferece (EM) such as obile phoes, radar, radio trasitters ad lightig as well as other possible causes such as switch cotacts, ad shieldig or wirig faults. As such errors are typically copletely ucorrelated with essage trasissio; it is therefore reasoable to assue that ay useful error odel allows for the possibility of a error occurrig at ay give tie ad hece the error fuctio F( t) 1 for ay tie iterval t. Let us ow cosider the situatio where the schedulability aalysis give i [6, 8, 9] has bee used alog with a error odel with F( t) = 1 to deterie the schedulability of a syste. he recurrece relatio used by the existig aalysis is give below: w J τ bit w = B + E ( w + C ) + C ) (21) Give that F( t) 1, the fro Equatio (18), the axiu additioal delay to essage due to the error recovery echais is always loger tha the trasissio tie of essage, i.e. E ( t) > C. Substitutig C for E (t) i Equatio (21) gives: w J τ bit w = B + C + C (22) ) We ote that as E ( t) > C, the solutio to Equatio (22) caot be larger tha the solutio to Equatio (21). Recall that Equatio (16) provides a correct sufficiet but ot ecessary schedulability test for the case where there are o errors o the CAN bus. Coparig Equatio (22) ad Equatio (16), we observe that, as ax( B + C ) B + C, the solutio to Equatio (16) caot be larger tha the solutio to Equatio (22) ad hece caot be larger tha the solutio to Equatio (21). his eas that if essage is deeed to be schedulable give the queuig delay coputed by Equatio (21) for the case where there are errors o the bus, the it ust also be schedulable give the queuig delay coputed via Equatio (16) for the case where there are o errors o the bus.
14 his is a iportat result. t eas that if the existig aalysis showed that every essage was schedulable i the presece of ay reasoable error odel ( F( t) 1), the, despite the flaw i the existig aalysis, every essage is actually guarateed to be schedulable whe o errors are preset. Put aother way, the egieerig argi for error provided by the error odel is sufficiet to accout for the error i the aalysis. We observe however, that the robustess of systes aalysed usig the schedulability aalysis i [6, 8, 9] ay ot be all that was expected. Flaws i the existig aalysis could lead to essage cofiguratios that will iss their deadlies i the presece of errors at a rate withi the paraeters of the specified error odel, eve though we ca be sure that they will ot iss their deadlies whe o errors are preset o the bus Message Oissio May CAN applicatios allow for 8 data byte diagostic essages, which are ot trasitted durig the oral ode of operatio. hese essages are trasitted oly whe the syste is i diagostic ode 9 ad lied to service equipet. this sectio, we cosider whether the oissio of diagostic essages provides sufficiet reductio i iterferece / blocig to esure that essages do ot iss their deadlies durig oral operatio, despite beig give potetially optiistic worstcase respose ties by the existig aalysis. o aswer this questio, we cosider a syste that is deeed to be schedulable by the existig aalysis. We assue that this syste icludes a 8 data byte diagostics essage x, which is oly trasitted whe the syste is i diagostic ode. We ote that as essage x has the axiu uber of data bytes, its trasissio tie is equivalet to the largest possible MA blocig factor, so C x = B. he blocig factor for each essage of higher priority tha x, is MA therefore give by B = B, which eas that the existig aalysis based o Equatio (7) coputes exactly the sae worstcase respose tie for each higher priority essage, as the correct sufficiet but ot ecessary schedulability aalysis test based o Equatio (17). he existig aalysis caot therefore result i optiistic worstcase respose ties for essages of higher priority tha x. For each essage of lower priority tha x, the MA iterferece due to essage x is at least B. Coparig Equatio (7) ad Equatio (17), we 9 ypically all oral ode essages cotiue to be trasitted durig diagostic ode. 14 observe that the solutio to Equatio (7), with diagostic essage x icluded i the set of higher priority essages, is at least as large as the solutio to Equatio (17) whe essage x is excluded. his eas that if a lower priority essage is deeed to be schedulable by the existig aalysis whe essage x is preset, the it ust also be schedulable accordig to the correct sufficiet but ot ecessary schedulability aalysis whe essage x is oitted. We coclude that the oissio of a sigle axiu legth essage of arbitrary priority provides sufficiet reductio i iterferece / blocig to esure that the flaw i the existig aalysis caot lead to ay of the reaiig essages issig their deadlies Message Guaratees ot at Ris this sectio, we cosider the circustaces uder which the first istace of a essage i the busy period is guarateed to have the logest respose tie. Uder these circustaces, despite its flaws, the existig aalysis gives correct results. Assuig that essage deadlies do ot exceed their periods, the Equatio (15) i sectio 3.4 provides a upper boud o the queuig delay for the secod ad subsequet istaces of essage i the busy period. Coparig Equatios (7) ad (15), we observe that provided B C, the the first istace of essage is guarateed to have a loger respose tie tha ay subsequet oes. Fro the defiitio of B give i Equatio (5), we coclude the followig iportat result: the existig aalysis gives the correct respose tie for ay essage where there exists at least oe lower priority essage with equal or loger trasissio tie / essage legth. 5. Priority Assiget Policies he aalysis preseted i sectio 3 is applicable idepedet of the priority orderig of CAN essages. owever, choosig a appropriate priority orderig is iportat i obtaiig a schedulable syste ad i axiisig robustess to errors. Priority orderig is deteried by a priority assiget policy. A priority assiget policy P is referred to as optial if there are o systes that are schedulable usig ay other priority assiget policy that are ot also schedulable usig policy P. [6, 8] it was claied that deadlie ootoic [35] ad deadlie ius jitter or (DJ)ootoic [1] priority assiget policies are optial for CAN. owever, whilst these policies are optial for fixed priority preeptive schedulig assuig deadlies o greater tha periods, they are ot optial for fixed priority opreeptive schedulig [3] ad are
15 therefore ot optial for CAN. his is illustrated by the followig exaple usig the set of essages give i able 5. Message Period Deadlie Nuber tie of bits A 3.s 3.s s B 4.s 4.s s C 4.5s 4.5s 65.52s able 5: CAN Messages ighlightig Nooptial Priority Assiget his exaple assues a 125Kbit/s etwor ad 11 bit idetifiers. Messages A ad B cotai 8 data bytes ad essage C cotais 1 data byte, givig trasissio ties of 1.8, 1.8 ad.52s respectively, assuig worstcase bit stuffig. additio there are a uber of lower priority essages, each cotaiig 8 data bytes, which are also set o the etwor. heir trasissio ties are also 1.8s. Settig essage priorities i the order A highest, the B, the C results i a uschedulable syste. he worstcase respose ties of essages A ad B are 2.16s ad 3.24s respectively. owever, i the worst case, essage C does ot eve begi trasissio before its deadlie. Figure 8 illustrates the log delays that essage C is subject to before trasissio. Messages A, B ad C are assued to be queued just too late to eter arbitratio at tie t = ad hece the low priority essage L is trasitted first. Figure 8: Message Respose ies with Optial Priority Assiget he priority orderig A, B, C correspods to both deadlie ootoic ad also (DJ)ootoic priority orderig as all the essages have zero queuig jitter. f these priority assiget policies are optial the we should ot be able to fid aother priority orderig which results i all the deadlies beig et. owever, if we use the priority orderig A, C, B the the worstcase respose ties of the essages are: RA = 2.16s, RC = 2.68s ad RB = 3.76s as illustrated i Figure 9. With this priority orderig, all of the essages eet their deadlies. Figure 9: Message Respose ies with a Alterative Priority Assiget he reaso that the revised priority orderig results i a schedulable syste is that givig the shortest essage a higher priority eables all three essages to start trasissio withi 3s of beig queued ad hece oe of the are subject to iterferece fro a secod istace of essage A ad subsequetly a secod istace of essage B. his exaple shows that the priority assiget policies assued i [6, 8] to be optial are ot. [3] George et al. claied that deadlie ootoic priority assiget is optial for opreeptive systes with o jitter, provided that deadlies ad executio ties are i the sae order i.e. D i < D j iplies C i C j. he proof assues that as i, Di i the worstcase respose tie of ay tas is foud i its first istace, however this assuptio is false as we have see with the siple exaple i sectio 1.4 ad so the proof is uderied. he theore ay or ay ot still be true. George et al. [3] also showed that the optial priority assiget algorith devised by Audsley [1] is applicable to opreeptive systes. geeral, Audsley s algorith is applicable provided that the worstcase respose tie of a essage: (i) does ot deped upo the specific priority (ii) orderig of higher priority essages ad, does ot get loger if the essage is give a higher priority. spectio of the various equatios preseted i this paper shows that both of the above coditios hold: either the legth of queuig delay, or the legth of the busy period deped upo the specific priority order of higher priority essages, or ca they icrease i legth with icreasig priority. Although the blocig ter ca get larger with icreased priority this is always couteracted by a decrease i iterferece that is at least as large. Audsley s optial priority assiget algorith, give below, is therefore applicable for deteriig the priority orderig of CAN essages. 15
16 Optial Priority Assiget Algorith for each priority level, lowest first { for each uassiged essage { if is schedulable at this priority { assig this priority brea (cotiue outer loop) } } retur uschedulable } retur schedulable For essages, Audsley s algorith perfors at ost (1)/2 schedulability tests ad is guarateed to fid a schedulable priority assiget if oe exists. t does ot however specify a order i which essages should be tried at each priority level. his order heavily iflueces the priority assiget chose if there is ore tha oe orderig that is schedulable. fact, a poor choice of iitial orderig ca result i a priority assiget that leaves the syste oly just schedulable. We suggest that, as a useful heuristic, essages are tried at each priority level i (DJ) order, largest value of (DJ) first, with ties broe accordig to essage legth, logest first. 6. plicatios ad Recoedatios this sectio, we discuss the iplicatios of flaws i existig CAN schedulability aalysis o coercial CAN schedulability aalysis tools ad deployed CAN applicatios CAN Schedulability Aalysis ools CAN schedulability aalysis tools eed to tae accout of the fidigs preseted i this paper. his will ivolve checig ad if ecessary updatig the aalysis they eploy, to esure that it caot provide optiistic worstcase respose ties ad false guaratees. he sufficiet but ot ecessary schedulability tests give i sectio 3.4 provide a quicfix solutio as the chages required to the existig aalysis are iial. hese tests are however pessiistic ad ipleetig the revised aalysis, give i sectio 3, would potetially lead to a techically better solutio. Whilst deadlie ius jitter or (DJ)ootoic priority orderig is still a good heuristic to use, it is ot ecessarily the optial priority assiget policy for CAN. pleetig priority orderig based upo Audsley s optial priority assiget algorith would esure that a schedulable priority orderig is foud wheever oe exists Coercial CAN Applicatios Syste Desigers cofigurig coercial CAN applicatios ofte tae the egieerig approach that all essages i the syste should reai schedulable give the additio of ay uber of low priority essages that ca be used for developet ad test purposes. Such aalysis based o [6, 8, 9] would assue that every essage is subject to the axiu blocig factor, as per the sufficiet schedulability test give by Equatio (17). his schedulability test coputes a correct upper boud o the actual respose tie of each essage ad so provides a correct guaratee that the cofigured essages will eet their deadlies. Give the flaws i the existig schedulability aalysis, it would however be prudet for Syste Desigers to chec the precise details of the aalysis used to copute worstcase respose ties for their systes. f the aalysis used has the potetial to copute erroeous worstcase respose ties, the the feasibility of all the CAN cofiguratios desiged, developed ad deployed usig that aalysis should be checed to esure that they are i fact schedulable ad robust to errors at the rate specified by the prescribed error odel Faults i Deployed Systes May deployed CAN systes, for exaple those i autootive applicatios, will have bee aalysed usig the pragatic egieerig approach described i the previous sectio. he flaws i the existig aalysis caot lead to a proble with a deployed syste i this case. May CAN applicatios allow for axiu legth (8 data byte) diagostic essages that are ot trasitted durig oral operatio. Assuig that the existig aalysis deeed the syste schedulable with these diagostic essages preset, the sectio 4.4 showed that the oissio of a sigle diagostic essage provides sufficiet reductio i iterferece / blocig to esure that the flaws i the existig aalysis caot lead to ay essages issig their deadlies durig oral operatio. sectio 4.5 we saw that the existig aalysis gives the correct respose tie for ay essage where there is at least oe lower priority essage with equal or loger trasissio tie / essage legth. May CAN applicatios use exclusively 8 data byte essages as a eas of addressig the high ratio of overhead to useful data o CAN. this case, the existig aalysis is guarateed to copute correct respose ties for all but the lowest priority essage. Eve if a essage has the potetial to be give a erroeous worstcase respose tie by the existig
17 aalysis, the uless that essage is close to beig uschedulable, the coputed worstcase respose tie is still liely to be the true value. Eve if a optiistic value is coputed, the the true value ay still be less tha the essage deadlie. Fially, for a deadlie iss to actually happe i a deployed syste requires that the worstcase essage phasig occurs ad, at the sae tie, a uber of the essages tae close to their axiu trasissio ties. his requires worstcase or ear worstcase bit stuffig to occur which is, i itself, highly uliely [23]. Noral practice with coercial CAN cofiguratios is to esure that schedulability aalysis icludes provisio for a error odel of soe sort. this case, sectio 4.3 showed that such systes are guarateed to be schedulable whe o errors are preset o the CAN bus provided that they were deeed to be schedulable i the presece of errors by the existig aalysis. We coclude that deadlie isses i deployed CAN systes due to flaws i the existig aalysis are extreely uliely. Ay such deadlie failures are ore liely to occur due to errors occurrig o the bus at a higher rate tha that accouted for by the error odel. We ote that ebedded CANbased systes are built to be resiliet to soe essages issig their deadlies ad to uch sipler fors of error such as wirig faults. CAN is ot used i its basic for for safety critical systes due to ow issues such as the double receive ad babblig idiot probles [28, 29, 3]. 7. Suary ad Coclusios this paper we highlighted a sigificat flaw i logstadig highly cited ad widely used schedulability aalysis of CAN. We showed how this flaw could lead to the coputatio of optiistic worstcase respose ties for CAN essages, broe guaratees ad deadlie isses. his paper provides revised aalysis that ca be used to calculate correct worstcase respose ties for CAN. additio, we showed that: 1. he existig aalysis ca provide optiistic worstcase respose ties for essages fro the 3 rd highest priority to the lowest priority. 2. he existig aalysis ca lead to broe guaratees ad hece deadlie isses i systes with low bus utilisatio. 3. Where a error odel has bee cosidered, the flaw i the existig aalysis is ot sufficiet to lead to CAN cofiguratios that will result i issed deadlies whe o errors are preset o the bus. he desired robustess to errors ay ot 17 however be achieved. 4. he oissio of a sigle axiu legth diagostic essage, accouted for by the existig aalysis, reduces iterferece / blocig eough to esure that the deadlies of all the reaiig essages are et durig oral operatio. 5. Despite its flaws, the existig aalysis gives the correct respose tie for ay essage where there is at least oe lower priority essage with the sae or greater trasissio tie / essage legth. We discussed the iplicatios of these results for coercial CAN systes developed usig flawed aalysis ad provided two siple, sufficiet schedulability tests eablig a quicfix to be ade to coercial CAN schedulability aalysis tools. Fially, we showed that the either deadlie ootoic or (DJ)ootoic priority assiget is optial for CAN. Audsley s optial priority assiget algorith is however optial for fixed priority opreeptive systes ad ay be used to obtai a schedulable priority orderig for CAN wheever oe exists Future Wor A cosiderable body of acadeic wor has grow up fro idell s seial aalysis of CAN. he flaws i that origial wor ay have partly uderied soe of the subsequet research built upo it. Authors that have cited the origial CAN aalysis i their wor are ecouraged to chec the iplicatios. particular the acadeic wor ost liely to be affected is that which exteds the origial aalysis ad pushes syste schedulability to its liits, for exaple wor o error odels. 8. Acowledgeets his wor was partially fuded by the UK EPSRC fuded DRC project, the EU fuded FRESCOR project ad the S4527 fuded ARS 2 etwor of excellece o Ebedded Systes Desig. 9. Refereces [1] N.C. Audsley, "Optial priority assiget ad feasibility of static priority tass with arbitrary start ties", echical Report YCS 164, Dept. Coputer Sciece, Uiversity of Yor, UK, Deceber [2] R.J. Bril. Existig worstcase respose tie aalysis of realtie tass uder fixedpriority schedulig with deferred preeptio is too optiistic. CSReport 65, echische Uiversiteit Eidhove (U/e) he Netherlads, February 26. [3] L. George, N. Rivierre, ad M. Spuri. Preeptive ad opreeptive realtie uiprocessor schedulig. echical Report 2966, stitut Natioal de Recherche et foratique et e Autoatique (NRA), Frace, Septeber 1996 [4] M.G. arbour, M.. Klei, J.P. Lehoczy. Fixed priority schedulig of periodic tass with varyig executio priority.
18 Proceedigs 12 th EEE Realie Systes Syposiu, pp , EEE Coputer Society Press, Deceber [5] J. Lehoczy. Fixed priority schedulig of periodic tas sets with arbitrary deadlies. Proceedigs 11th EEE Realie Systes Syposiu, pp , EEE Coputer Society Press, Deceber 199. [6] K.W. idell ad A. Burs. Guarateeig essage latecies o Cotroller Area Networ (CAN), Proceedigs of 1st teratioal CAN Coferece, pp. 111, Septeber [7] K. W. idell, A. Burs, ad A.J. Welligs. A extedible approach for aalysig fixed priority hard realtie systes. Joural of Realie Systes, 6(2): , March [8] K.W. idell, A. Burs, ad A. J. Welligs. Calculatig Cotroller Area Networ (CAN) essage respose ties. Cotrol Egieerig Practice, 3(8): , August [9] K.W. idell,. asso, ad A.J. Welligs. Aalysig realtie couicatios: Cotroller Area Networ (CAN). Proceedigs 15th Realie Systes Syposiu (RSS 94), pp EEE Coputer Society Press, [1] A. Zuhily Optiality of (DJ)ootoic priority assiget. echical Report YCS44. Dept. of Coputer Sciece, Uiversity of Yor, UK, May 26. [11] L. Casparsso, A. Raja, K. idell, ad P. Malberg. Volcao  a revolutio i oboard couicatios. Volvo echology Report, 1998/1. [12] A. Burs. Preeptive priority based schedulig: A appropriate egieerig approach. S. So, editor, Advaces i Realie Systes, pp Preticeall, [13]. Broster. Flexibility i depedable couicatio. PhD hesis, Departet of Coputer Sciece, Uiversity of Yor, UK, August 23. [14] R. DeMeis Cars sag uder weighty wirig Electroic ies 1/24/25. [15]. Nolte Sharedrive schedulig of ebedded etwors, PhD hesis, Malardale Uiversity Press, May 26. [16] R.J. Bril, J J. Luie, R.. Davis, ad A. Burs. Message respose tie aalysis for ideal cotroller area etwor (CAN) refuted. CSReport 619, echische Uiversiteit Eidhove (U/e) he Netherlads, May 26. [17] R J. Bril, J.J. Luie, R.. Davis, ad A. Burs. Message respose tie aalysis for ideal cotroller area etwor (CAN) refuted. Proceedigs 5 th teratioal Worshop o Real ie Networs (RN 6). o appear 26. [18] J. Regehr. Schedulig tass with ixed preeptio relatios for robustess to tiig faults Proceedigs 23rd Realie Systes Syposiu, pp , EEE Coputer Society Press, Deceber 22. [19] Y. Wag ad M. Sasea. Schedulig fixed priority tass with preeptio threshold. Proceedigs of the 6th teratioal Worshop o Realie Coputig Systes ad Applicatios (RCSA 99), pp , Deceber [2] Bosch. CAN Specificatio versio 2.. Robert Bosch Gb, Postfach 3 2 4, D7442 Stuttgart, [21] C. L. Liu ad J. W. Laylad. "Schedulig algoriths for ultiprograig i a hardrealtie eviroet", Joural of the ACM, 2(1): 4661, [22] S. Pueat,. asso, C. Norstro. Respose tie aalysis uder errors for CAN. Proceedigs 6 th Realie echology ad Applicatios Syposiu, pp , EEE Coputer Society Press May/Jue 2. [23]. Nolte,. asso, ad C. Norstro. Miiizig CAN resposetie aalysis jitter by essage aipulatio. Proceedigs 8 th EEE Realie ad Ebedded echology ad Applicatios Syposiu (RAS'2), pp , Septeber 22. [24]. Broster, A. Burs ad G. RodriguezNavas, iig aalysis of realtie couicatio uder electroagetic iterferece, Realie Systes, 3(12) pp , May 25. [25]. Broster, A. Burs, G. RodríguezNavas, Probabilistic Aalysis of CAN with Faults, Proceedigs of the 23rd EEE Realie Systes Syposiu (RSS'2), pp , Deceber, 22 [26]. asso,. Nolte, C. Norstro, ad S. Pueat. tegratig Reliability ad iig Aalysis of CANbased Systes. EEE rasactio o dustrial Electroics 49(6): , Deceber 22. [27]. Nolte,. asso, ad C. Norstro, "Probabilistic worstcase resposetie aalysis for the Cotroller Area Networ." Proceedigs of the 9th EEE Realie ad Ebedded echology ad Applicatios Syposiu (RAS'3), pp. 227, May 23. [28] J. Rufio, P. Verissio, G. Arroz, C. Aleida, ad L. Rodrigues. Faulttolerat broadcasts i CAN. Digest of Papers, he 28th EEE teratioal Syposiu o Fault olerat Coputig (FCS 98) pp , Jue [29]. Broster ad A. Burs. A Aalysable BusGuardia for Evetriggered Couicatio. Proceedigs of the 24th Realtie Systes Syposiu, pp , EEE Coputer Society Press, Deceber 23. [3] J. Rufio Coputatioal Syste for Realie Distributed Cotrol. PhDhesis, echical Uiversity of Lisbo, stituto Superior, July 22. [31] J. Ferreira, A. Oliveira, P. Foseca, J. A. Foseca. A Experiet to Assess Bit Error Rate i CAN Proceedigs of 3rd teratioal Worshop of Realie Networs (RN24) pp [32] SO Road Vehicles iterchage of digital iforatio cotroller area etwor (CAN) for highspeed couicatio, SO Stadard11898, teratioal Stadards Orgaisatio (SO), Noveber [33] J. Leohold. Autootive syste architecture. Proceedigs of the Suer School Architectural Paradigs for Depedable Ebedded Systes. pp , Viea, Austria, Septeber 25. Viea Uiversity of echology. [34] Motorola c. MSCAN Bloc Guide V3.1 Docuet No. SV12MSCANV3/D. FreeScale Seicoductor c.may 1998 (Revised July 24). [35] J. Y.. Leug ad J. Whitehead, "O the coplexity of fixedpriority schedulig of periodic realtie tass," Perforace Evaluatio, 2(4): , Deceber
Controller Area Network (CAN) Schedulability Analysis with FIFO queues
Cotroller Area Network (CAN) Schedulability Aalysis with FIFO queues Robert I. Davis RealTie Systes Research Group, Departet of Coputer Sciece, Uiversity of York, YO10 5DD, York, UK rob.davis@cs.york.ac.uk
More informationRADICALS AND SOLVING QUADRATIC EQUATIONS
RADICALS AND SOLVING QUADRATIC EQUATIONS Evaluate Roots Overview of Objectives, studets should be able to:. Evaluate roots a. Siplify expressios of the for a b. Siplify expressios of the for a. Evaluate
More informationCHAPTER 4: NET PRESENT VALUE
EMBA 807 Corporate Fiace Dr. Rodey Boehe CHAPTER 4: NET PRESENT VALUE (Assiged probles are, 2, 7, 8,, 6, 23, 25, 28, 29, 3, 33, 36, 4, 42, 46, 50, ad 52) The title of this chapter ay be Net Preset Value,
More informationThe Binomial Multi Section Transformer
4/15/21 The Bioial Multisectio Matchig Trasforer.doc 1/17 The Bioial Multi Sectio Trasforer Recall that a ultisectio atchig etwork ca be described usig the theory of sall reflectios as: where: Γ ( ω
More informationECONOMICS. Calculating loan interest no. 3.758
F A M & A N H S E E S EONOMS alculatig loa iterest o. 3.758 y Nora L. Dalsted ad Paul H. Gutierrez Quick Facts... The aual percetage rate provides a coo basis to copare iterest charges associated with
More informationTaking DCOP to the Real World: Efficient Complete Solutions for Distributed MultiEvent Scheduling
Taig DCOP to the Real World: Efficiet Complete Solutios for Distributed MultiEvet Schedulig Rajiv T. Maheswara, Milid Tambe, Emma Bowrig, Joatha P. Pearce, ad Pradeep araatham Uiversity of Souther Califoria
More information.04. This means $1000 is multiplied by 1.02 five times, once for each of the remaining sixmonth
Questio 1: What is a ordiary auity? Let s look at a ordiary auity that is certai ad simple. By this, we mea a auity over a fixed term whose paymet period matches the iterest coversio period. Additioally,
More informationIn nite Sequences. Dr. Philippe B. Laval Kennesaw State University. October 9, 2008
I ite Sequeces Dr. Philippe B. Laval Keesaw State Uiversity October 9, 2008 Abstract This had out is a itroductio to i ite sequeces. mai de itios ad presets some elemetary results. It gives the I ite Sequeces
More informationChapter 3. Compound Interest. Section 2 Compound and Continuous Compound Interest. Solution. Example
Chapter 3 Matheatics of Fiace Sectio 2 Copoud ad Cotiuous Copoud Iterest Copoud Iterest Ulike siple iterest, copoud iterest o a aout accuulates at a faster rate tha siple iterest. The basic idea is that
More informationAnt Colony Algorithm Based Scheduling for Handling Software Project Delay
At Coloy Algorith Based Schedulig for Hadlig Software Project Delay Wei Zhag 1,2, Yu Yag 3, Juchao Xiao 4, Xiao Liu 5, Muhaad Ali Babar 6 1 School of Coputer Sciece ad Techology, Ahui Uiversity, Hefei,
More informationSECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES
SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES Read Sectio 1.5 (pages 5 9) Overview I Sectio 1.5 we lear to work with summatio otatio ad formulas. We will also itroduce a brief overview of sequeces,
More informationConfidence Intervals for One Mean with Tolerance Probability
Chapter 421 Cofidece Itervals for Oe Mea with Tolerace Probability Itroductio This procedure calculates the sample size ecessary to achieve a specified distace from the mea to the cofidece limit(s) with
More informationDistributed Storage Allocations for Optimal Delay
Distributed Storage Allocatios for Optial Delay Derek Leog Departet of Electrical Egieerig Califoria Istitute of echology Pasadea, Califoria 925, USA derekleog@caltechedu Alexadros G Diakis Departet of
More informationDomain 1: Designing a SQL Server Instance and a Database Solution
Maual SQL Server 2008 Desig, Optimize ad Maitai (70450) 18004186789 Domai 1: Desigig a SQL Server Istace ad a Database Solutio Desigig for CPU, Memory ad Storage Capacity Requiremets Whe desigig a
More informationCHAPTER 3 THE TIME VALUE OF MONEY
CHAPTER 3 THE TIME VALUE OF MONEY OVERVIEW A dollar i the had today is worth more tha a dollar to be received i the future because, if you had it ow, you could ivest that dollar ad ear iterest. Of all
More informationODBC. Getting Started With Sage Timberline Office ODBC
ODBC Gettig Started With Sage Timberlie Office ODBC NOTICE This documet ad the Sage Timberlie Office software may be used oly i accordace with the accompayig Sage Timberlie Office Ed User Licese Agreemet.
More informationSequences II. Chapter 3. 3.1 Convergent Sequences
Chapter 3 Sequeces II 3. Coverget Sequeces Plot a graph of the sequece a ) = 2, 3 2, 4 3, 5 + 4,...,,... To what limit do you thik this sequece teds? What ca you say about the sequece a )? For ǫ = 0.,
More informationInteger programming solution methods. Exactly where on this line this optimal solution lies we do not know, but it must be somewhere!
Iteger prograig solutio ethods J E Beasley Itroductio Suppose that we have soe proble istace of a cobiatorial optiisatio proble ad further suppose that it is a iiisatio proble. If, as i Figure 1, we draw
More informationCHAPTER 3 DIGITAL CODING OF SIGNALS
CHAPTER 3 DIGITAL CODING OF SIGNALS Computers are ofte used to automate the recordig of measuremets. The trasducers ad sigal coditioig circuits produce a voltage sigal that is proportioal to a quatity
More informationA Comparison of Hypothesis Testing Methods for the Mean of a LogNormal Distribution
World Applied Scieces Joural (6): 845849 ISS 88495 IDOSI Publicatios A Copariso of Hypothesis Testig ethods for the ea of a ogoral Distributio 3 F. egahdari K. Abdollahezhad ad A.A. Jafari Islaic Azad
More informationARITHMETIC AND GEOMETRIC PROGRESSIONS
Arithmetic Ad Geometric Progressios Sequeces Ad ARITHMETIC AND GEOMETRIC PROGRESSIONS Successio of umbers of which oe umber is desigated as the first, other as the secod, aother as the third ad so o gives
More informationRecursion and Recurrences
Chapter 5 Recursio ad Recurreces 5.1 Growth Rates of Solutios to Recurreces Divide ad Coquer Algorithms Oe of the most basic ad powerful algorithmic techiques is divide ad coquer. Cosider, for example,
More informationDepartment of Computer Science, University of Otago
Departmet of Computer Sciece, Uiversity of Otago Techical Report OUCS200609 Permutatios Cotaiig May Patters Authors: M.H. Albert Departmet of Computer Sciece, Uiversity of Otago Micah Colema, Rya Fly
More informationThroughput and Delay Analysis of Hybrid Wireless Networks with MultiHop Uplinks
This paper was preseted as part of the ai techical progra at IEEE INFOCOM 0 Throughput ad Delay Aalysis of Hybrid Wireless Networks with MultiHop Upliks Devu Maikata Shila, Yu Cheg ad Tricha Ajali Dept.
More informationSection IV.5: Recurrence Relations from Algorithms
Sectio IV.5: Recurrece Relatios from Algorithms Give a recursive algorithm with iput size, we wish to fid a Θ (best big O) estimate for its ru time T() either by obtaiig a explicit formula for T() or by
More information5 Boolean Decision Trees (February 11)
5 Boolea Decisio Trees (February 11) 5.1 Graph Coectivity Suppose we are give a udirected graph G, represeted as a boolea adjacecy matrix = (a ij ), where a ij = 1 if ad oly if vertices i ad j are coected
More informationProject Deliverables. CS 361, Lecture 28. Outline. Project Deliverables. Administrative. Project Comments
Project Deliverables CS 361, Lecture 28 Jared Saia Uiversity of New Mexico Each Group should tur i oe group project cosistig of: About 612 pages of text (ca be loger with appedix) 612 figures (please
More informationVladimir N. Burkov, Dmitri A. Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT
Keywords: project maagemet, resource allocatio, etwork plaig Vladimir N Burkov, Dmitri A Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT The paper deals with the problems of resource allocatio betwee
More informationORDERS OF GROWTH KEITH CONRAD
ORDERS OF GROWTH KEITH CONRAD Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really wat to uderstad their behavior It also helps you better grasp topics i calculus
More informationSwitch Fabrics. Switching Technology S P. Raatikainen Switching Technology / 2004.
Switch Fabrics Switchig Techology S8.65 http://www.etlab.hut.fi/opetus/s865 P. Raatikaie Switchig Techology / 00 L  Switch fabrics Basic cocepts Tie ad space switchig Two stage switches Three stage switches
More informationUsing a Packet Sniffer to Analyze the Efficiency and Power of Encryption Techniques Used to Protect Data Over a Computer Network
sig a Packet Siffer to Aalyze the Efficiecy ad Power of Ecryptio Techiques sed to Protect Data Over a Coputer Network Seyo Litviov Statistics Departet/MCS Progra St. Cloud State iversity slitviov@stcloudstate.edu
More informationSoving Recurrence Relations
Sovig Recurrece Relatios Part 1. Homogeeous liear 2d degree relatios with costat coefficiets. Cosider the recurrece relatio ( ) T () + at ( 1) + bt ( 2) = 0 This is called a homogeeous liear 2d degree
More informationarxiv:0903.5136v2 [math.pr] 13 Oct 2009
First passage percolatio o rado graphs with fiite ea degrees Shakar Bhaidi Reco va der Hofstad Gerard Hooghiestra October 3, 2009 arxiv:0903.536v2 [ath.pr 3 Oct 2009 Abstract We study first passage percolatio
More informationDivide and Conquer, Solving Recurrences, Integer Multiplication Scribe: Juliana Cook (2015), V. Williams Date: April 6, 2016
CS 6, Lecture 3 Divide ad Coquer, Solvig Recurreces, Iteger Multiplicatio Scribe: Juliaa Cook (05, V Williams Date: April 6, 06 Itroductio Today we will cotiue to talk about divide ad coquer, ad go ito
More informationSupply Chain Network Design with Preferential Tariff under Economic Partnership Agreement
roceedigs of the 2014 Iteratioal oferece o Idustrial Egieerig ad Oeratios Maageet Bali, Idoesia, Jauary 7 9, 2014 Suly hai Network Desig with referetial ariff uder Ecooic artershi greeet eichi Fuaki Yokohaa
More informationEngineering 323 Beautiful Homework Set 3 1 of 7 Kuszmar Problem 2.51
Egieerig 33 eautiful Homewor et 3 of 7 Kuszmar roblem.5.5 large departmet store sells sport shirts i three sizes small, medium, ad large, three patters plaid, prit, ad stripe, ad two sleeve legths log
More informationAsymptotic Growth of Functions
CMPS Itroductio to Aalysis of Algorithms Fall 3 Asymptotic Growth of Fuctios We itroduce several types of asymptotic otatio which are used to compare the performace ad efficiecy of algorithms As we ll
More information4.1 Sigma Notation and Riemann Sums
0 the itegral. Sigma Notatio ad Riema Sums Oe strategy for calculatig the area of a regio is to cut the regio ito simple shapes, calculate the area of each simple shape, ad the add these smaller areas
More informationChapter 5 Unit 1. IET 350 Engineering Economics. Learning Objectives Chapter 5. Learning Objectives Unit 1. Annual Amount and Gradient Functions
Chapter 5 Uit Aual Amout ad Gradiet Fuctios IET 350 Egieerig Ecoomics Learig Objectives Chapter 5 Upo completio of this chapter you should uderstad: Calculatig future values from aual amouts. Calculatig
More informationConfidence Intervals for One Mean
Chapter 420 Cofidece Itervals for Oe Mea Itroductio This routie calculates the sample size ecessary to achieve a specified distace from the mea to the cofidece limit(s) at a stated cofidece level for a
More informationA Cyclical Nurse Schedule Using Goal Programming
ITB J. Sci., Vol. 43 A, No. 3, 2011, 151164 151 A Cyclical Nurse Schedule Usig Goal Prograig Ruzzaiah Jeal 1,*, Wa Rosaira Isail 2, Liog Choog Yeu 3 & Ahed Oughalie 4 1 School of Iforatio Techology, Faculty
More informationC.Yaashuwanth Department of Electrical and Electronics Engineering, Anna University Chennai, Chennai 600 025, India..
(IJCSIS) Iteratioal Joural of Computer Sciece ad Iformatio Security, A New Schedulig Algorithms for Real Time Tasks C.Yaashuwath Departmet of Electrical ad Electroics Egieerig, Aa Uiversity Cheai, Cheai
More informationIncremental calculation of weighted mean and variance
Icremetal calculatio of weighted mea ad variace Toy Fich faf@cam.ac.uk dot@dotat.at Uiversity of Cambridge Computig Service February 009 Abstract I these otes I eplai how to derive formulae for umerically
More informationif A S, then X \ A S, and if (A n ) n is a sequence of sets in S, then n A n S,
Lecture 5: Borel Sets Topologically, the Borel sets i a topological space are the σalgebra geerated by the ope sets. Oe ca build up the Borel sets from the ope sets by iteratig the operatios of complemetatio
More informationEPlex Enterprise Access Control System
Eterprise Access Cotrol System Egieered for Flexibility Modular Solutio The Eterprise Access Cotrol System is a modular solutio for maagig access poits. Employig a variety of hardware optios, system maagemet
More informationAutomatic Tuning for FOREX Trading System Using Fuzzy Time Series
utomatic Tuig for FOREX Tradig System Usig Fuzzy Time Series Kraimo Maeesilp ad Pitihate Soorasa bstract Efficiecy of the automatic currecy tradig system is time depedet due to usig fixed parameters which
More informationModule 4: Mathematical Induction
Module 4: Mathematical Iductio Theme 1: Priciple of Mathematical Iductio Mathematical iductio is used to prove statemets about atural umbers. As studets may remember, we ca write such a statemet as a predicate
More informationTrigonometric Form of a Complex Number. The Complex Plane. axis. ( 2, 1) or 2 i FIGURE 6.44. The absolute value of the complex number z a bi is
0_0605.qxd /5/05 0:45 AM Page 470 470 Chapter 6 Additioal Topics i Trigoometry 6.5 Trigoometric Form of a Complex Number What you should lear Plot complex umbers i the complex plae ad fid absolute values
More informationGSR: A Global Stripebased Redistribution Approach to Accelerate RAID5 Scaling
: A Global based Redistributio Approach to Accelerate RAID5 Scalig Chetao Wu ad Xubi He Departet of Electrical & Coputer Egieerig Virgiia Coowealth Uiversity {wuc4,xhe2}@vcu.edu Abstract Uder the severe
More informationDomain 1  Describe Cisco VoIP Implementations
Maual ONT (6428) 18004186789 Domai 1  Describe Cisco VoIP Implemetatios Advatages of VoIP Over Traditioal Switches Voice over IP etworks have may advatages over traditioal circuit switched voice etworks.
More informationHow to read A Mutual Fund shareholder report
Ivestor BulletI How to read A Mutual Fud shareholder report The SEC s Office of Ivestor Educatio ad Advocacy is issuig this Ivestor Bulleti to educate idividual ivestors about mutual fud shareholder reports.
More informationAnnuities Under Random Rates of Interest II By Abraham Zaks. Technion I.I.T. Haifa ISRAEL and Haifa University Haifa ISRAEL.
Auities Uder Radom Rates of Iterest II By Abraham Zas Techio I.I.T. Haifa ISRAEL ad Haifa Uiversity Haifa ISRAEL Departmet of Mathematics, Techio  Israel Istitute of Techology, 3000, Haifa, Israel I memory
More informationCS103A Handout 23 Winter 2002 February 22, 2002 Solving Recurrence Relations
CS3A Hadout 3 Witer 00 February, 00 Solvig Recurrece Relatios Itroductio A wide variety of recurrece problems occur i models. Some of these recurrece relatios ca be solved usig iteratio or some other ad
More informationAn Electronic Tool for Measuring Learning and Teaching Performance of an Engineering Class
A Electroic Tool for Measurig Learig ad Teachig Perforace of a Egieerig Class T.H. Nguye, Ph.D., P.E. Abstract Creatig a egieerig course to eet the predefied learig objectives requires a appropriate ad
More informationLecture Notes CMSC 251
We have this messy summatio to solve though First observe that the value remais costat throughout the sum, ad so we ca pull it out frot Also ote that we ca write 3 i / i ad (3/) i T () = log 3 (log ) 1
More informationMARTINGALES AND A BASIC APPLICATION
MARTINGALES AND A BASIC APPLICATION TURNER SMITH Abstract. This paper will develop the measuretheoretic approach to probability i order to preset the defiitio of martigales. From there we will apply this
More information= 1. n n 2 )= n n 2 σ2 = σ2
SAMLE STATISTICS A rado saple of size fro a distributio f(x is a set of rado variables x 1,x,,x which are idepedetly ad idetically distributed with x i f(x for all i Thus, the joit pdf of the rado saple
More information3. Continuous Random Variables
Statistics ad probability: 31 3. Cotiuous Radom Variables A cotiuous radom variable is a radom variable which ca take values measured o a cotiuous scale e.g. weights, stregths, times or legths. For ay
More informationChapter Gaussian Elimination
Chapter 04.06 Gaussia Elimiatio After readig this chapter, you should be able to:. solve a set of simultaeous liear equatios usig Naïve Gauss elimiatio,. lear the pitfalls of the Naïve Gauss elimiatio
More informationModified Line Search Method for Global Optimization
Modified Lie Search Method for Global Optimizatio Cria Grosa ad Ajith Abraham Ceter of Excellece for Quatifiable Quality of Service Norwegia Uiversity of Sciece ad Techology Trodheim, Norway {cria, ajith}@q2s.tu.o
More informationDomain 1: Identifying Cause of and Resolving Desktop Application Issues Identifying and Resolving New Software Installation Issues
Maual Widows 7 Eterprise Desktop Support Techicia (70685) 18004186789 Domai 1: Idetifyig Cause of ad Resolvig Desktop Applicatio Issues Idetifyig ad Resolvig New Software Istallatio Issues This sectio
More informationINVESTMENT PERFORMANCE COUNCIL (IPC)
INVESTMENT PEFOMANCE COUNCIL (IPC) INVITATION TO COMMENT: Global Ivestmet Performace Stadards (GIPS ) Guidace Statemet o Calculatio Methodology The Associatio for Ivestmet Maagemet ad esearch (AIM) seeks
More informationBaan Service Master Data Management
Baa Service Master Data Maagemet Module Procedure UP069A US Documetiformatio Documet Documet code : UP069A US Documet group : User Documetatio Documet title : Master Data Maagemet Applicatio/Package :
More informationiprox sensors iprox inductive sensors iprox programming tools ProxView programming software iprox the world s most versatile proximity sensor
iprox sesors iprox iductive sesors iprox programmig tools ProxView programmig software iprox the world s most versatile proximity sesor The world s most versatile proximity sesor Eato s iproxe is syoymous
More informationThe second difference is the sequence of differences of the first difference sequence, 2
Differece Equatios I differetial equatios, you look for a fuctio that satisfies ad equatio ivolvig derivatives. I differece equatios, istead of a fuctio of a cotiuous variable (such as time), we look for
More informationCS103X: Discrete Structures Homework 4 Solutions
CS103X: Discrete Structures Homewor 4 Solutios Due February 22, 2008 Exercise 1 10 poits. Silico Valley questios: a How may possible sixfigure salaries i whole dollar amouts are there that cotai at least
More informationg x is a generator polynomial and generates a cyclic code.
Epress, a Iteratioal Joural of Multi Discipliary Research ISSN: 2348 2052, Vol, Issue 6, Jue 204 Available at: wwwepressjouralco Abstract ENUMERATION OF CYCLIC CODES OVER GF (5) By Flora Mati Ruji Departet
More informationSequences and Series
CHAPTER 9 Sequeces ad Series 9.. Covergece: Defiitio ad Examples Sequeces The purpose of this chapter is to itroduce a particular way of geeratig algorithms for fidig the values of fuctios defied by their
More informationDefinition. Definition. 72 Estimating a Population Proportion. Definition. Definition
7 stimatig a Populatio Proportio I this sectio we preset methods for usig a sample proportio to estimate the value of a populatio proportio. The sample proportio is the best poit estimate of the populatio
More informationHere are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.
This documet was writte ad copyrighted by Paul Dawkis. Use of this documet ad its olie versio is govered by the Terms ad Coditios of Use located at http://tutorial.math.lamar.edu/terms.asp. The olie versio
More informationCharacterizing EndtoEnd Packet Delay and Loss in the Internet
Characterizig EdtoEd Packet Delay ad Loss i the Iteret JeaChrysostome Bolot Xiyu Sog Preseted by Swaroop Sigh Layout Itroductio Data Collectio Data Aalysis Strategy Aalysis of packet delay Aalysis of
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 13
EECS 70 Discrete Mathematics ad Probability Theory Sprig 2014 Aat Sahai Note 13 Itroductio At this poit, we have see eough examples that it is worth just takig stock of our model of probability ad may
More informationINVESTMENT PERFORMANCE COUNCIL (IPC) Guidance Statement on Calculation Methodology
Adoptio Date: 4 March 2004 Effective Date: 1 Jue 2004 Retroactive Applicatio: No Public Commet Period: Aug Nov 2002 INVESTMENT PERFORMANCE COUNCIL (IPC) Preface Guidace Statemet o Calculatio Methodology
More information5.4 Amortization. Question 1: How do you find the present value of an annuity? Question 2: How is a loan amortized?
5.4 Amortizatio Questio 1: How do you fid the preset value of a auity? Questio 2: How is a loa amortized? Questio 3: How do you make a amortizatio table? Oe of the most commo fiacial istrumets a perso
More information1. Solving simple equations 2. Evaluation and transposition of formulae
Algebra Matheatics Worksheet This is oe of a series of worksheets desiged to hel you icrease your cofidece i hadlig Matheatics. This worksheet cotais both theory ad eercises which cover:. Solvig sile
More informationEngineering Data Management
BaaERP 5.0c Maufacturig Egieerig Data Maagemet Module Procedure UP128A US Documetiformatio Documet Documet code : UP128A US Documet group : User Documetatio Documet title : Egieerig Data Maagemet Applicatio/Package
More informationThe Sum of the Harmonic Series Is Not Enough. = a m π 2 + b m log 2 m.
The Su of the Haroic Series Is Not Eough I Proble 67 Ovidiu Furdui cojectured that for each iteger there are correspodig ratioal ubers a ad b such that S : log H H a π + b log Here log x is the atural
More informationB1. Fourier Analysis of Discrete Time Signals
B. Fourier Aalysis of Discrete Time Sigals Objectives Itroduce discrete time periodic sigals Defie the Discrete Fourier Series (DFS) expasio of periodic sigals Defie the Discrete Fourier Trasform (DFT)
More informationINTEGRATED TRANSFORMER FLEET MANAGEMENT (ITFM) SYSTEM
INTEGRATED TRANSFORMER FLEET MANAGEMENT (ITFM SYSTEM Audrius ILGEVICIUS Maschiefabrik Reihause GbH, a.ilgevicius@reihause.co Alexei BABIZKI Maschiefabrik Reihause GbH a.babizki@reihause.co ABSTRACT The
More informationInformation about Bankruptcy
Iformatio about Bakruptcy Isolvecy Service of Irelad Seirbhís Dócmhaieachta a héirea Isolvecy Service of Irelad Seirbhís Dócmhaieachta a héirea What is the? The Isolvecy Service of Irelad () is a idepedet
More informationChapter 6: Variance, the law of large numbers and the MonteCarlo method
Chapter 6: Variace, the law of large umbers ad the MoteCarlo method Expected value, variace, ad Chebyshev iequality. If X is a radom variable recall that the expected value of X, E[X] is the average value
More informationAuxiliary Linear Program
Auxiliary Liear Progra L: LP i stadard for: ax j=1 s.t. j =1 L aux : Auxiliary LP: c j x j a ij x j b i for i=1, 2,..., x j 0 for j=1, 2,..., ax x 0 s.t. j =1 L aux is bouded ad feasible. a ij x j x 0
More informationChapter 7: Confidence Interval and Sample Size
Chapter 7: Cofidece Iterval ad Sample Size Learig Objectives Upo successful completio of Chapter 7, you will be able to: Fid the cofidece iterval for the mea, proportio, ad variace. Determie the miimum
More informationWeek 3 Conditional probabilities, Bayes formula, WEEK 3 page 1 Expected value of a random variable
Week 3 Coditioal probabilities, Bayes formula, WEEK 3 page 1 Expected value of a radom variable We recall our discussio of 5 card poker hads. Example 13 : a) What is the probability of evet A that a 5
More informationMathematical goals. Starting points. Materials required. Time needed
Level A1 of challege: C A1 Mathematical goals Startig poits Materials required Time eeded Iterpretig algebraic expressios To help learers to: traslate betwee words, symbols, tables, ad area represetatios
More informationSOLAR POWER PROFILE PREDICTION FOR LOW EARTH ORBIT SATELLITES
Jural Mekaikal Jue 2009, No. 28, 115 SOLAR POWER PROFILE PREDICTION FOR LOW EARTH ORBIT SATELLITES Chow Ki Paw, Reugath Varatharajoo* Departet of Aerospace Egieerig Uiversiti Putra Malaysia 43400 Serdag,
More informationUnit 20 Hypotheses Testing
Uit 2 Hypotheses Testig Objectives: To uderstad how to formulate a ull hypothesis ad a alterative hypothesis about a populatio proportio, ad how to choose a sigificace level To uderstad how to collect
More informationTrading the randomness  Designing an optimal trading strategy under a drifted random walk price model
Tradig the radomess  Desigig a optimal tradig strategy uder a drifted radom walk price model Yuao Wu Math 20 Project Paper Professor Zachary Hamaker Abstract: I this paper the author iteds to explore
More informationJune 3, 1999. Voice over IP
Jue 3, 1999 Voice over IP This applicatio ote discusses the Hypercom solutio for providig edtoed Iteret protocol (IP) coectivity i a ew or existig Hypercom Hybrid Trasport Mechaism (HTM) etwork, reducig
More informationGeometric Sequences and Series. Geometric Sequences. Definition of Geometric Sequence. such that. a2 4
3330_0903qxd /5/05 :3 AM Page 663 Sectio 93 93 Geometric Sequeces ad Series 663 Geometric Sequeces ad Series What you should lear Recogize, write, ad fid the th terms of geometric sequeces Fid th partial
More informationMESSAGE TO TEACHERS: NOTE TO EDUCATORS:
MESSAGE TO TEACHERS: NOTE TO EDUCATORS: Attached herewith, please fid suggested lesso plas for term 1 of MATHEMATICS Grade 12. Please ote that these lesso plas are to be used oly as a guide ad teachers
More informationInfinite Sequences and Series
CHAPTER 4 Ifiite Sequeces ad Series 4.1. Sequeces A sequece is a ifiite ordered list of umbers, for example the sequece of odd positive itegers: 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29...
More informationSystems Design Project: Indoor Location of Wireless Devices
Systems Desig Project: Idoor Locatio of Wireless Devices Prepared By: Bria Murphy Seior Systems Sciece ad Egieerig Washigto Uiversity i St. Louis Phoe: (805) 6985295 Email: bcm1@cec.wustl.edu Supervised
More informationDomain 1: Configuring Domain Name System (DNS) for Active Directory
Maual Widows Domai 1: Cofigurig Domai Name System (DNS) for Active Directory Cofigure zoes I Domai Name System (DNS), a DNS amespace ca be divided ito zoes. The zoes store ame iformatio about oe or more
More informationA Gentle Introduction to Algorithms: Part II
A Getle Itroductio to Algorithms: Part II Cotets of Part I:. Merge: (to merge two sorted lists ito a sigle sorted list.) 2. Bubble Sort 3. Merge Sort: 4. The BigO, BigΘ, BigΩ otatios: asymptotic bouds
More informationThrough its open standards, the Internet set the foundation for
F E A T U R E Secure itraets are fouded o the protectio of logical resources accessible i corporate eterprises. A ROLE BASED ACCESS CONTROL FOR INTRANET SECURITY The proposed IRBAC, ZAHIR TARI AND SHUNWU
More informationUC Berkeley Department of Electrical Engineering and Computer Science. EE 126: Probablity and Random Processes. Solutions 9 Spring 2006
Exam format UC Bereley Departmet of Electrical Egieerig ad Computer Sciece EE 6: Probablity ad Radom Processes Solutios 9 Sprig 006 The secod midterm will be held o Wedesday May 7; CHECK the fial exam
More informationI. Chisquared Distributions
1 M 358K Supplemet to Chapter 23: CHISQUARED DISTRIBUTIONS, TDISTRIBUTIONS, AND DEGREES OF FREEDOM To uderstad tdistributios, we first eed to look at aother family of distributios, the chisquared distributios.
More informationDesigning Incentives for Online Question and Answer Forums
Desigig Icetives for Olie Questio ad Aswer Forums Shaili Jai School of Egieerig ad Applied Scieces Harvard Uiversity Cambridge, MA 0238 USA shailij@eecs.harvard.edu Yilig Che School of Egieerig ad Applied
More informationNumerical Solution of Equations
School of Mechaical Aerospace ad Civil Egieerig Numerical Solutio of Equatios T J Craft George Begg Buildig, C4 TPFE MSc CFD Readig: J Ferziger, M Peric, Computatioal Methods for Fluid Dyamics HK Versteeg,
More information