|
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.
|
|
|
|
Egoera
makina artifizialak kontutan hartuaz (SM2 SM7), RESCO eta EA erreminten kasuan, tamaina eta konplexutasuna handitzean errendimenduak txarrera egiten du eta txikitu egiten da: exekuzio denborak gora egiten dunahiz eta CPU aren erabilpen portzentaia asko ez aldatu.
|
|
|
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.
|
|
|
Lan honetan, lehenengo, software osagaiak automatikoki sortzeko ereduetan oinarritutako planteamentu bat aurkeztu da. Soluzioa UML
|
Egoera
Makinetan oinarritzen da eta sortutako osagaiek euren barne egoera exekuziodenboran emateko ahalmena dute. Gainera, informazio hori, beraiek modelatzeko erabili diren termino berberetanadierazten dute.
|
|
|
Gainera, informazio hori, beraiek modelatzeko erabili diren termino berberetanadierazten dute. Guzti honez gain,
|
egoera
makina hauek exekuzio denboran eraldatu ere egin daitezke.
|
|
|
Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen dutenUML
|
Egoera
Makinak: Models@run.time
|
|
|
Hitz gakoak: Models@runtime, Exekuzio denborako eraldatzea, Sistema Txertatuak, UML
|
Egoera
Makinak.
|
|
|
Sistema Ziberfisikoen garapenek, maiz, ebentuetan oinarritutako arkitektura patroiajarraitzen dute. Sistema hauen logika modelatzeko berriz, askotan, Unified Modeling Language (UML) an oinarritutako
|
Egoera
Makinen formalismoa erabiltzen da. Gainera, Model Driven Engineering (MDE) paradigmajarraituaz, software konponenteen azken kodea modu automatiko baten sortzeko gaitasuna ere badaukagu horretarako ditugun erremintak erabiliaz.
|
|
|
Sistemen fidagarritasuna handitzea helburu hartuta, lan honetan, UML
|
Egoera
Makinetan oinarrituaz eta models@run.time planteamentua jarraituaz, sistema ziberfisikoak kontrolatuko dituzten software osagaien kodea automatikoki sortzeko gai den RESCO (REflective State Machines based observable software COmponents) izenekoplataforma bat aurkeztuko dugu. Osagai hauek, introspekzio eta eraldatze gaitasuna izango dute exekuzio denboran.
|
|
|
2 Software garatzaileari eskainitako laguntza: berak ez dauka azken kodea eskuz ikutu beharrik, portaerarenmodeloa diseinatu besterik ez du egin behar UML
|
Egoera
Makinak erabiliaz. Exekuzio denboran introspekzioeta eraldatze gaitasuna izateko beharrezko azpiegiturak, automatikoki sortzen dira.
|
|
|
Atal honetan, introspekzio eta eraldatze gaitasuna duten software osagaiak sortzeko planteamentua aurkeztuko dugu. Horretarako, UML
|
Egoera
Makinak diseinatzeko lengoaian oinarritzen da gure soluzioa eta models@runtimelan ildoa jarraitzen du. Behin metodologia aurkeztuta, egindako lanaren balidazio experimentala azalduko da.
|
|
|
|
Egoera
makina horretatik abiatuta, ondorengo puntuetan software osagaiak automatikoki sortzeko metodoa etapausuak azalduko dira. Laburbilduz, 4 irudian agertzen da prozesu hau.
|
|
|
Lehenengo, kontrolaren portaera diseinatzen da UML
|
Egoera
Makinak erabiliaz. Honetarako, Papyrus erreminta erabili da eta behatuak izango diren egoerak anotatu dira.
|
|
|
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.
|
|
|
Beraz, 6 irudian agertzen den Erregailuaren kontrola gauzatu dugu RESCO plataforma erabiliaz, eta konparazio batzuk egin ahal izateko SinelaboreRT 3.7.2.2 (Mueller (2018)) erreminta (denbora errealeko sistemakgaratzeko erreminta), eta Sparx Systems Enterprise Architecture (EA) 11 (Systems (2015)) erreminta generikoaere erabili dugu. Aukeratutako Erregailu kontrolaren portaera normala modelatu ahal izateko, 13 egoera sinple, 2egoera konposatu, 13 trantsizio eta 13 ebentu dituen UML
|
Egoera
Makina diseinatu dugu. Larrialdi kasuetarakoberriz, 7 egoera sinple, 2 egoera konposatu, 9 trantsizio eta 9 ebentu dituena.
|
|
|
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.
|
|
|
|
Egoera
Makina
|
|
|
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.
|