[es] La industria manufacturera se está embarcando en una nueva era, impulsada por una demanda sin precedentes y una necesidad de productos hechos a medida. De este modo, los sistemas de fabricación deben redefinirse para poder producir una gran variedad de productos de manera rentable. La sustentabilidad es clave en este proceso, prestando especial atención a la reutilización de los recursos disponibles para abordar nuevos procesos. Sin embargo, para adaptar la industria al nuevo paradigma exitosamente, es necesario el desarrollo de nuevas capacidades impulsados por la digitalización. El controlador lógico programable (PLC) es la unidad central del sistema de producción, y debe de orquestar todos los recursos necesarios para abordar nuevos procesos. Esto implica modificaciones en el programa del PLC. Por lo tanto, el software del PLC requiere un proceso de verificación y validación exhaustivo para garantizar la correcta funcionalidad del sistema. Tradicionalmente, este proceso se lleva a cabo durante la puesta en marcha, donde se testea todo el sistema por primera vez. En general, los sistemas son manualmente testeados durante este proceso, el cual requiere un esfuerzo significativo y que en gran parte esta sujeto a errores. Todos estos problemas se agravan aún más en entornos donde los cambios son frecuentes, y por lo tanto existe la necesidad de adoptar nuevas prácticas. En esta tesis se presenta una metodología automatizada para testear PLCs altamente reconfigurables de una manera eficaz y efectiva en la industria. Primeramente, se ha propuesto un marco teórico donde los gemelos digitales son clave para mejorar las prácticas de la puesta en marcha. De este modo, el trabajo principal de esta tesis se ha centrado en testear la lógica de los programas FBD, uno de los lenguajes de programación de PLC más utilizados en Europa. La metodología cosiste principalmente de tres pasos, 1) generación de los tests basados en el estándar IEC 61131-3, 2) optimización de los tests para seleccionar los más eficaces y efectivos, y 3) testeo de PLCs basado en entornos de simulación comerciales mediante el uso de oráculos. Esta tesis está orientado a la industria y, por lo tanto, la solución expuesta se ha implementado en el entorno TIA Portal de Siemens, transfiriendo las buenas prácticas de ingeniería de software a la industria. De este modo, la propuesta se ha validado con dos casos de estudio industriales reales 1) Omnifactory, el futuro demostrador de ensamblaje aeroespacial automatizado desarrollado en la Universidad de Nottingham, y 2) Industria de fabricación de máquina-herramienta en Danobatgroup. Según los resultados, la metodología presentada es válida para automatizar el testeo de programas PLC industriales eficazmente, lo que en definitiva reduce costes y tiempo, y permite la reutilización de los recursos.

[eu] Manufaktura-industria aro berri batean murgiltzen ari da, bezeroen eskari neurrigabeak eta neurrira egindako produktuen beharrak bultzatuta. Merkatuaren beharrak asetzeko asmotan, errentagarriak diren fabrikazio-sistemak berriro definitu beharrean aurkitzen gara. Jasangarritasuna kontutan hartzea funtsezkoa da prozesu honetan, eskura dauden baliabideak berrerabiliz prozesu berriak burutu ahal izateko. Halaber, era berri honi aurre egiteko digitalizazioak bultzatutako teknologia eta ezagutza berriak baliatu behar ditugu. Kontrolatzaile logiko programagarriak (PLC-ak) industria automatizazioan erabiltzen diren gailu elektronikoak izanik, egoera berriei erantzuteko bere baitan dauden baliabide guztiak uneoro kudeatu behar dituzte. Prozesu honek aldiz, PLC-aren softwarea aldatzea dakar. Hori dela eta, sistemak behar bezala funtzionatzen duela bermatzea ezinbestekoa da, hots, aldaketen ostean akatsik egon ez dela egiaztatzea. Tradizionalki hau eskuz egin ohi den jarduera da, ahalegin haundiak eskatzen dituelarik. Honetaz gain, sistemaren funtzionamendu egokia ez da azken momentura arte begiratzen, eta ondorioz, ezusteko akatsak aurkitu izan ohi dira. Uneoroko aldaketak eskatzen dituen era berri honek, arazo guzti hauek are gehiago larrituko lituzke. Tesi honek PLC-en software-ari zuzendutako test jarduera automatizatu eta eraginkor bat aurkeztea du helburu. Gauzak honela, Europa mailan gehien erabiltzen den PLC lengoaietako batetan oinarritzen gara, zehazki FBD lengoaian. Lehenik eta behin, biki digitaletan oinarritutako esparru teoriko bat proposatzen da, jarduera hauek modu eraginkor batetan aplikatu daitezen. Garatutako metodologiak hiru urrats nagusi ditu: 1) IEC 61131-3 estandarrean oinarritutako test instantziak sortzea, 2) test hauen optimizazioa, eraginkorrenak soilik aukeratze aldera, eta 3) test jarduerak merkatuan aurkitzen diren simulazio testuinguruetan exekutatzea, horretarako orakulu testak erabiliz. Industriara bideratuko tesia izanik, industrian gehien erabiltzen den automatizazio soluzioetako batetan inplementatu da, hain zuzen Siemens-eko TIA Portal produktuan. Honekin batera, software ingeniaritzako jarduerak eta jakintza industriara eramatea lortu da. Metodologia balioztatzeko, industriako bi kasu erreal erabili dira: 1) Omnifactory, Nottinghameko Unibertsitatean garatutako etorkizuneko aeroespazioko muntaketara bideratutako automatizazio plataforma, eta 2) makina-erreminten fabrikazio-industrian Danobatgroup-eko makinak kudeatzen dituen PLC-a. Emaitzen arabera, aurkeztutako metodologia test jarduerak modu eraginkorrean automatizatzeko gai da, azken finean, kostuak eta denbora murriztuz, eta baliabideen berrerabiltasuna uztartuz.