Carlos Fernando Nicolasen tesi defentsa
Carlos Fernando Nicolasen tesi defentsa
Carlos Fernando Nicolasen tesi defentsa
Tesiaren izenburua: Re-use of tests and arguments for assessing dependable mixed-criticality systems. SOBRESALIENTE CUM LAUDE kalifikazioa lortu du.
- Tesiaren izenburua: Re-use of tests and arguments for assessing dependable mixed-criticality systems
- Doktoretza programa: INGENIARITZAKO DOKTORETZA PROGRAMA
- Tesi zuzendaria: Goiuria Sagardui, Peter Puschner
- Epaimahaia:
- Mahaiburua: Gerard Fohler (TU Kaiserslautern) Dk. Jn.
- Mahaikidea: Alejandro García–Alonso Montoya (EHU-UPV) Dk. Jn.
- Mahaikidea: Alfons Crespo (Polytechnic University of Valencia) Dk. Jn.
- Mahaikidea: Dña. Marga Marcos Muñoz (EHU-UPV) Dk. And.
- Idazkaria: Leire Etxeberria Elorza (Mondragon Unibertsitatea) Dk. And.
Laburpena
Kritikotasun nahastuko sistemen segurtasun ebaluazioa jarduera neketsua da beraien heterogeneotasuna dela eta. Sistema hauen oinarria arkitektura integratuen paradigman datza, non hardware konpaktu batek exekuzio plataforma eta komunikazio interfaze ugari integratu ahal dituen segurtasun baldintza desberdineko funtzio konkurrenteak inplementatzeko. Konputazio plataformek isolamendu eta akatsen aurkako mekanismo egokiak emateaz gain, segurtasun arauek definituriko jarraibideak jarraitu behar dituzte kritikotasun mistodun aplikazioen garapenean. Sistema hauen zertifikazio prozesuaren kostua murrizteko aukera bat platafonnetan oinarritutako garapenean (PBD) datza. Garapen planteamendu hau modeloetan oinarrituriko garapena da (MBD) non modeloaren logika, hardware eta garapen desberdinak sistemaren propietateen eta portaeraren aurka aztertzen diren. Kritikotasun mistodun sistemen PBD garapenak etekina ateratzen dio moduluetan oinarrituriko segurtasun propietateei, adibidez: segurtastm kasu modularrak (MSC). Modulu hauek kritikotasun mistodun produktu-lerroak ere hartzen dituzte kontutan.
Tesi honek V&V artefaktuen berrerabilpenerako estrategiak proposatzen ditu, kritikotasun mistodun sistemen egiaztatze azkarrerako sistema mailan eta garapen prozesuko azken faseetaraino erabili daitezkeenak. Esate baterako, test kod'earen berrabilpena akats aurkako mekanismoak egiaztatzeko, modelotik X-in-the-loop (Xil)-ra eta kodetik Xil-rako konbertsioa Hil sirnulaziorako eta argumentazio egitura bat DREAMS Europear proiektuan definituriko arkitektura estiloa11 oinarrituriko segurtasun kasu modularrak automatikoki eta gradualki sortzeko.