2026-07-09T08:56:38Zhttps://ebiltegia.mondragon.edu/oai/requestoai:ebiltegia.mondragon.edu:20.500.11984/11242024-04-15T15:46:40Zcom_20.500.11984_460col_20.500.11984_469
eBiltegia
advisor
Sagardui Mendieta, Goiuria
advisor
Etxeberria Elorza, Leire
author
Arrieta, Aitor
2018-11-08T14:04:54Z
2018-11-08T14:04:54Z
2017
https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=148150
https://hdl.handle.net/20.500.11984/1124
Sistema Ziber-Fisikoek sistema ziber digitalak sistema fisikoekin uztartzen dituzte. Sistema hauen aldakortasuna handitzen ari da erabiltzaileen hainbat behar betetzeko. Ondorioz, sistema ziber-fisikoa aldakorrak edota produktu lerroak ari dira garatzen eta sistema hauek milaka edo milioika konfiguraziotan konfiguratu daitezke. Sistema ziber-fisiko aldakorren test eta balidazioa prozesua garestia da, batez ere probatu beharreko konfigurazio kopuruaren ondorioz. Konfigurazio kopuru altuak sistemaren prototipo bat erabiltzea ezinezkoa egiten du. Horregatik, sistema ziber-fisiko aldagarriak simulazio modeloak erabilita probatzen dira. Hala ere, simulazio bidez sistema
ziber-fisikoak probatzea erronka izaten jarraitzen du. Hasteko, simulazio denbora altua izaten da normalki, software-az aparte, sistema fisikoa simulatu behar delako. Sistema fisiko hau normalean modelo matematiko konplexuen bitartez modelatzen da, konputazionalki garestia delarik. Jarraitzeko, sistema ziber-fisikoek ingeniaritzaren domeinu ezberdinak dituzte tartean, adibidez mekanika edo elektronika. Domeinu bakoitzak bere simulazio erremienta erabiltzen du, eta erremienta guzti hauek interkonektatzeko ko-simulazioa erabiltzen da. Nahiz eta ko-simulazioa abantaila bat izan ematen duen flexibilitateagatik, simulagailu ezberdinen erabilerak simulazio denbora handiagotzen du. Azkenik, sistema ziber-fisikoak simulaziopean probatzean, probak maila ezberdinetan egin behar dira (adb., Model, Software eta Hardware-in-the-Loop mailak), eta honek, proba-kasuak exekutatzeko denbora handitzen du. Tesi honen helburua sistema ziber-fisiko aldakorren test jardunbideak hobetzea da, horretarako automatizazio, optimizazio eta arazketa metodoak proposatzen ditu. Automatizazioari dagokionez, lehenengo, erremienta-bidezko metodologia bat proposatzen da. Metodologia hau test sistema instantziak automatikoki sortzeko gai
da, test sistema hauek sistema ziber-fisiko aldagarrien konfigurazioak automatikoki probatzeko gai dira (adb., test orakuluen bitartez). Bigarren, test frogak automatikoki sortzeko planteamendu bat proposatzen da helburu anitzeko bilaketa algoritmoak erabilita. Optimizazioari dagokionez, test frogen aukeraketarako planteamendu bat eta test frogen priorizaziorako beste planteamendu bat proposatzen dira, biak bilaketa alix goritmoak erabiliz, sistema ziber-fisiko aldakorrak test maila ezberdinetan probatzeko helburuarekin. Arazketari dagokionez, “espektroan oinarritutako falten lokalizazioa” izeneko teknika bat produktu lerroen testuingurura adaptatu da, eta faltak isolatzeko metodo bat proposatzen da. Honek, falta ezberdinak lokalizatzea errezten du ez bakarrik sistema ziber-fisiko aldakorretan, baizik eta edozein produktu lerrotan non “feature model” delako modeloak erabiltzen diren aldakortasuna kudeatzeko.
eng
© Aitor Arrieta Marcos
Heurística
Simulación
Software
Simulation-based testing of highly configurable cyber-physical systems: automation, optimization and debugging
http://purl.org/coar/resource_type/c_db06
TElDRU5DSUEgREUgVVNPIFkgQ0VTScOTTiBERSBERVJFQ0hPUyBOTyBFWENMVVNJVkEgUEFSQSBFTCBERVDDk1NJVE8gREUgTUFURVJJQUxFUyBFTiBFQklMVEVHSUEsIFJFUE9TSVRPUklPIEFCSUVSVE8gREUgTU9ORFJBR09OIFVOSUJFUlRTSVRBVEVBCgpDb21vIGF1dG9yL2EgbyB0aXR1bGFyIGRlIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZWwgbWF0ZXJpYWwgZGVwb3NpdGFkbyBvdG9yZ28gYSBNb25kcmFnb24gVW5pYmVydHNpdGF0ZWEgbGEgYXV0b3JpemFjacOzbiBkZSB1c28geS9vIENFU0nDk04gTk8gRVhDTFVTSVZBLCBncmF0dWl0YSwgY29uIMOhbWJpdG8gbXVuZGlhbCB5IHBvciBlbCBwbGF6byBtw6F4aW1vIGxlZ2FsLCBkZSBsb3MgZGVyZWNob3MgZGUgcmVwcm9kdWNjacOzbiwgZGlzdHJpYnVjacOzbiwgY29tdW5pY2FjacOzbiBww7pibGljYSDigJJpbmNsdWlkbyBlbCBkZXJlY2hvIGRlIHB1ZXN0YSBhIGRpc3Bvc2ljacOzbiBlbGVjdHLDs25pY2HigJIgeSB0cmFuc2Zvcm1hY2nDs24gc29icmUgZGljaG8gbWF0ZXJpYWwsIHBlcm1pdGllbmRvIHBvbmVybG8gYSBkaXNwb3NpY2nDs24gZGUgdGVyY2Vyb3MsIGVuIGxhcyBjb25kaWNpb25lcyBkZSB1c28gcXVlIHNlIGVzdGFibGV6Y2FuIGVuIGxhIGNvcnJlc3BvbmRpZW50ZSBsaWNlbmNpYSBhc29jaWFkYSBhIGRpY2hvIG1hdGVyaWFsIGRlcG9zaXRhZG8uCgpBQ0VQVE8gcXVlIE1vbmRyYWdvbiBVbmliZXJ0c2l0YXRlYSBwdWVkYSwgc2luIGFsdGVyYXIgZWwgY29udGVuaWRvLCB0cmFuc2Zvcm1hciBvIGFkYXB0YXIgZWwgbWF0ZXJpYWwgZGVwb3NpdGFkbyBhIGN1YWxxdWllciBvdHJvIGZvcm1hdG8gbyBtZWRpbyBxdWUgcmVzdWx0ZSBuZWNlc2FyaW8gY29uIGZpbmVzIGRlIHByZXNlcnZhY2nDs24uIElndWFsbWVudGUsIEFDRVBUTyBxdWUgTW9uZHJhZ29uIFVuaWJlcnRzaXRhdGVhIHB1ZWRhIGd1YXJkYXIgbcOhcyBkZSB1bmEgY29waWEgZGVsIG1hdGVyaWFsIGRlcG9zaXRhZG8gYSBmaW4gZGUgcmVhbGl6YXIgY29waWFzIGRlIHNlZ3VyaWRhZCB5IHByZXNlcnZhciBlbCBtYXRlcmlhbCBwYXJhIGVsIGZ1dHVyby4KCkFTRUdVUk8geSBHQVJBTlRJWk8gcXVlIGVsIG1hdGVyaWFsIGRlcG9zaXRhZG8gZXMgdW5hIG9icmEgb3JpZ2luYWwgZGUgbWkgY3JlYWNpw7NuLCBzb2JyZSBsYSBxdWUgb3N0ZW50byBsYSB0aXR1bGFyaWRhZCBkZSBkZXJlY2hvcyBkZSBhdXRvciBuZWNlc2FyaWEgcGFyYSBvdG9yZ2FyIGxhIGNlc2nDs24gY29udGVuaWRhIGVuIGxhIHByZXNlbnRlIExpY2VuY2lhLgoKRW4gY2FzbyBkZSBjb3RpdHVsYXJpZGFkIGFkbWl0byBjb250YXIgY29uIGVsIGNvbnNlbnRpbWllbnRvIGRlIGxvcyByZXN0YW50ZXMgdGl0dWxhcmVzIHBhcmEgb3RvcmdhciBsYSBwcmVzZW50ZSBMaWNlbmNpYS4gRW4gY2FzbyBkZSBwcmV2aWEgY2VzacOzbiBkZSBkZXJlY2hvcyBhIHRlcmNlcm9zLCBBU0VHVVJPIGNvbnRhciBjb24gc3UgYXV0b3JpemFjacOzbiBvIHJldGVuZ28gbGEgZmFjdWx0YWQgZGUgaGFjZXIgdXNvIGRlIGVzdG9zIGRlcmVjaG9zIGVuIGxhIGZvcm1hIHByZXZpc3RhIGVuIGxhIHByZXNlbnRlIGxpY2VuY2lhLgoKRW4gZWwgY2FzbyBkZSBxdWUgZWwgbWF0ZXJpYWwgZGVwb3NpdGFkbyBjb250dXZpZXJhIG90cm8gbWF0ZXJpYWwgZGVsIHF1ZSBubyBzb3kgZWwvbGEgdGl0dWxhciBkZSBsb3MgZGVyZWNob3MgZGUgYXV0b3IsIEFTRUdVUk8geSBHQVJBTlRJWk8gaGFiZXIgb2J0ZW5pZG8gbGEgcHJldmlhIGF1dG9yaXphY2nDs24gZGVsIGNvcnJlc3BvbmRpZW50ZSB0aXR1bGFyIHF1ZSBtZSBwZXJtaXRlIG90b3JnYXIgbGEgcHJlc2VudGUgTGljZW5jaWEgeSwgZGVsIG1pc21vIG1vZG8sIEFTRUdVUk8geSBHQVJBTlRJWk8gcXVlIGVuIGVsIGNvbnRlbmlkbyBkZWwgbWF0ZXJpYWwgZGVwb3NpdGFkbyBxdWVkYSBjb3JyZWN0YW1lbnRlIGlkZW50aWZpY2FkbyB5IHJlY29ub2NpZG8gZWwgZGljaG8gdGl0dWxhciBkZSBkZXJlY2hvIGRlIGF1dG9yLgoKRW4gZGVmaW5pdGl2YSwgQVNFR1VSTyB5IEdBUkFOVElaTyBxdWUgZWwgbWF0ZXJpYWwgZGVwb3NpdGFkbyBlbiBlQmlsdGVnaWEgTk8gSU5GUklOR0UgZGVyZWNobyBhbGd1bm8gZGUgdGVyY2Vyb3MsIHlhIHNlYSBkZSBwcm9waWVkYWQgaW50ZWxlY3R1YWwgbyBpbmR1c3RyaWFsLCBkZXJlY2hvIGFsIGhvbm9yLCBhIGxhIGludGltaWRhZCB5IGEgbGEgaW1hZ2VuLCBvIGN1YWxxdWllciBvdHJvIGRlcmVjaG8uCgpFbiBlbCBjYXNvIGRlIHF1ZSBlbCBtYXRlcmlhbCBkZXBvc2l0YWRvIGVzdMOpIGJhc2FkbyBlbiB1bmEgaW52ZXN0aWdhY2nDs24gZmluYW5jaWFkYSBwb3IgYWxndW5hIGFnZW5jaWEgdSBvcmdhbmlzbW8gZGlzdGludG8gZGUgTW9uZHJhZ29uIFVuaWJlcnRzaXRhdGVhLCBBU0VHVVJPIHkgR0FSQU5USVpPIGhhYmVyIGN1bXBsaWRvIGNvbiB0b2RhcyBsYXMgb2JsaWdhY2lvbmVzIHJlcXVlcmlkYXMgcG9yIGVsIGNvbnRyYXRvIG8gYWN1ZXJkbyBmaXJtYWRvIGNvbiBkaWNobyBvcmdhbmlzbW8uCgpNb25kcmFnb24gVW5pYmVydHNpdGF0ZWEgYWRxdWllcmUgZWwgY29tcHJvbWlzbyBkZSBpZGVudGlmaWNhcnRlIGNvbW8gYXV0b3IvYSBvIHRpdHVsYXIgZGUgZGVyZWNob3MgZGUgYXV0b3IgZGVsIG1hdGVyaWFsIGRlcG9zaXRhZG8sIHkgbm8gZWZlY3R1YXLDoSBtw6FzIGFsdGVyYWNpb25lcyBlbiBkaWNobyBtYXRlcmlhbCBxdWUgbGFzIGV4cHJlc2FtZW50ZSBwZXJtaXRpZGFzIGVuIGVzdGEgTGljZW5jaWEuCgpDb21vIGF1dG9yL2EgbyB0aXR1bGFyIGRlIGRlcmVjaG9zIGRlIGF1dG9yIGRlbCBtYXRlcmlhbCBkZXBvc2l0YWRvIHB1ZWRlcyBzb2xpY2l0YXIgbGEgcmV0aXJhZGEgZGUgbGEgb2JyYSBkZSBlQmlsdGVnaWEgcG9yIGNhdXNhIGp1c3RpZmljYWRhLiBQYXJhIGVsbG8gZGViZXLDoXMgcG9uZXJzZSBlbiBjb250YWN0byBjb24gbGFzIHBlcnNvbmFzIHJlc3BvbnNhYmxlcyBkZWwgbWlzbW8uCgpEZSBpZ3VhbCBtb2RvLCBlQmlsdGVnaWEgcG9kcsOhIHJldGlyYXIgZWwgbWF0ZXJpYWwgZGVwb3NpdGFkbyBlbiBzdXB1ZXN0b3Mgc3VmaWNpZW50ZW1lbnRlIGp1c3RpZmljYWRvcyBvIGVuIGNhc28gZGUgcmVjbGFtYWNpb25lcyBkZSB0ZXJjZXJvcyByZWxhdGl2YXMgYSBsb3MgZGVyZWNob3MgZGUgcHJvcGllZGFkIGludGVsZWN0dWFsLiBFbiBhbWJvcyBzdXB1ZXN0b3MgZXhpc3RpcsOhIHVuYSBub3RpZmljYWNpw7NuIGV4cHJlc2EgcHJldmlhLgo=
URL
http://ebiltegia.mondragon.edu/xmlui/bitstream/20.500.11984/1124/1/Tesis%20Arrieta%20Marcos%20Aitor.pdf
File
MD5
7c33d1e798375e283103b76b33ce0711
7251726
application/pdf
Tesis Arrieta Marcos Aitor.pdf
URL
http://ebiltegia.mondragon.edu/xmlui/bitstream/20.500.11984/1124/6/Tesis%20Arrieta%20Marcos%20Aitor.pdf.txt
File
MD5
77290c4e1c2eca86e7aebadd5aa3086e
591956
text/plain
Tesis Arrieta Marcos Aitor.pdf.txt