|
2009
|
|
|
Asko jota, teknika horiek errazten eta argitzen dute protokoloaren deskribapena, eta, berez, haren analisia. Horregatik, protokoloak definitzeko mintzaira naturala erabiltzen da gehienetan,
|
egoera
makinak eta antzeko teknika formalekin aberastuta batzuetan. Hori da behintzat Internet eta TCP/IP inguruko protokoloekin gertatzen dena.
|
|
2019
|
|
|
Listing 3: Exekuzio denborako larrialdi
|
egoera
makinaren trazak
|
|
|
Lehenengo, RESCO beraren gainkarga neurtu dugu. Horretarako, SM1
|
egoera
makina bera% 0,% 50 eta% 100 eko behaketa portzentaiarekin exekutatu dugu. Behaketa maila% 0 denean, 22 milisegundukoa izan daexekuzio denbora,% 50 ekin 272, eta egoera guztiak behatu ditugunean aldiz 411 Experimentu guztietan 1.000ebentu erabili ditugu.
|
|
|
Denbora erantzunari dagokionez, SinelaboreRTerreminta izan da erantzunik hoberena izan duena. Hala ere, RESCO ren emaitzak nahiko antzekoak izan dira, eta hobeak
|
egoera
makinen konplexutasun maila bajua denean. CPU aren erabilpenari dagokionez, emaitzaguztiak nahiko antzekoak dira.
|
|
|
exekuzio denborak gora egiten dunahiz eta CPU aren erabilpen portzentaia asko ez aldatu. SinelaboreRT ren kasuan ere,
|
egoera
makinen tamainaeta konplexutasuna handitzean, exekuzio denborak ere gora egiten du, baina kasu honetan aldaketa txikiagoa da.Aipatu beharra dago, azken erreminta hau denbora errealeko sistementzako egina dagoela.
|
|
|
Gainera, informazio hori, beraiek modelatzeko erabili diren termino berberetanadierazten dute. Guzti honez gain,
|
egoera
makina hauek exekuzio denboran eraldatu ere egin daitezke.
|
|
|
Horretarako, safeAdapt ebentua bidaliko dio kaltetutako software osagaiari. Behin softwareosagaiak ebentu hori jasotzean, larrialdi egoerarako diseinatua duen
|
egoera
makinara eraldatzeko prozesua martxanjarriko du eta bere portaera aldatua izango da.
|
|
|
Egindako ebaluazioaren helburu nagusiak ondorengoak izan dira: (1) exekuzio denboran software kontrolarenbarne egoera ikusi ahal izatea
|
egoera
makinaren elementu bidez, (2) RESCO plataformarekin sortutako software konponenteek exekuzio denboran duten introspekzio eta eraldatze gaitasunak egiaztatzea eta (3) soluzioarengainkarga neurtzea. Honela, sistema ziberfisikoen kontrolen fidagarritasun maila gehituko duten software konponenteak sortzeko gai garela egiaztatuko dugu.
|
|
|
Emaitza fidagarriak izateko, experimentu bakoitza 1000 aldiz errepikatu dugu. 1 taulak, experimentu bakoitzaren ezaugarriak erakusten dizkigu.SM1
|
egoera
makina jatorrizko Erregailu kontrola da. SM2 SM7 egoera makinak artifizialki sortu ditugu errendimendua hobeto neurtu asmoz.
|
|
|
1 taulak, experimentu bakoitzaren ezaugarriak erakusten dizkigu.SM1 egoera makina jatorrizko Erregailu kontrola da. SM2 SM7
|
egoera
makinak artifizialki sortu ditugu errendimendua hobeto neurtu asmoz. Honela, tamaina eta komplexutasun desberdineko egoera makinak izan dituguexperimentazioan.
|
|
|
SM2 SM7 egoera makinak artifizialki sortu ditugu errendimendua hobeto neurtu asmoz. Honela, tamaina eta komplexutasun desberdineko
|
egoera
makinak izan dituguexperimentazioan.
|
|
|
Beldjehem (2013) eta Genero et al. (2003) lanak kontutan hartuaz,
|
egoera
makinen tamaina eta komplexutasuna neurtzeko ondorengo metrikak erabili ditugu: Egoera Sinpleen Kopurua (ESK, tamaina neurtzeko), EgoeraKonposatu Kopurua (EKK, tamaina neurtzeko) eta McCaberen Zenbaki Ziklomatikoa (Egituraren Konplexutasunaneurtzeko).
|
|
|
Egoera Sinpleen Kopurua (ESK, tamaina neurtzeko), EgoeraKonposatu Kopurua (EKK, tamaina neurtzeko) eta McCaberen Zenbaki Ziklomatikoa (Egituraren Konplexutasunaneurtzeko). Metrika hauek,
|
egoera
makinen kasura egokitu dira.
|
|
|
Lehenengo galdera erantzuteko, SM1
|
egoera
makina hasieratu eta 10.000 ausazko ebentu bidali dizkiogu. Kanpomonitorizazio eta eraldatze sistemak, Erregailu kontrolaren trazak (egoera makinaren modelatze elementu bidezosatuak) jaso ditu exekuzio denboran eta informazio guzti hau gorde dugu.
|
|
|
Lehenengo galdera erantzuteko, SM1 egoera makina hasieratu eta 10.000 ausazko ebentu bidali dizkiogu. Kanpomonitorizazio eta eraldatze sistemak, Erregailu kontrolaren trazak(
|
egoera
makinaren modelatze elementu bidezosatuak) jaso ditu exekuzio denboran eta informazio guzti hau gorde dugu. Informazio hori aztertuaz, Erregailukontrolaren portaera atera dugu.
|
|
|
interpretatuaz (egoera, ebentu zenbakiak), 6 irudian dagoen jatorrizko
|
egoera
makina atera genezake.
|
|
|
Soluzioak exekuzio denboran eraldaketa egitea ahalbideratzen du. Etorkizunean ordea, eraldaketa hori beraaurreikusi gabe eta dinamikoki exekuzio denboran sortutako
|
egoera
makinetara egiteko ahalmena gehituko genioke. Guzti hau kontutan hartuta eta Mazak et al. (2016) lanean inspiratuaz, etorkizuneko lan ildo interesgarri batProcess Mining (PM) teknikak integratzea litzateke.
|