|
2019
|
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
|
Egoera
Makina
|