====== Moodul: autonoomia kontrollimise tööriistad ======^ Õpiaste | Meister |

ECTS ainepunkti 1 EAP
Õppevormid Hübriid või täielikult võrgus
Mooduli eesmärgid Kursuse eesmärk on tutvustada autonoomsete ja muude ohutuskriitiliste küberfüüsikaliste süsteemide verifitseerimisel ja valideerimisel kasutatavaid põhimõtteid, meetodeid ja vahendeid. Kursus arendab õpilaste võimet kavandada, rakendada ja kriitiliselt hinnata füüsilisi, virtuaalseid ja hübriidvalideerimise töövooge kooskõlas asjakohaste tööstustavade ja standarditega, valmistades neid ette nende lähenemisviiside rakendamiseks arenenud inseneriprojektides ja teadusuuringutes.
Eelnõuded Kindel taust juhtimistehnika, süsteemide modelleerimise ja tehisintellekti või masinõppe alal. Programmeerimisoskus ja Linux-põhiste arenduskeskkondade tundmine. Eelnev robootika, autonoomsete süsteemide või küberfüüsikaliste süsteemide kursuste tegemine on tungivalt soovitatav.
Õpitulemused Teadmised
• Selgitage verifitseerimise ja valideerimise rolli ja struktuuri autonoomia elutsüklis.
• Kirjeldage rahvusvahelisi standardeid ja nende mõju testimisprotsessidele.
• Mõistke autonoomsete süsteemide füüsiliste, virtuaalsete ja hübriidtestikeskkondade arhitektuuri.
• Tehke kindlaks piirangud ja esilekerkivad uurimissuundumused simulatsioonipõhises testimises.\S \ kiide genereerimine ja täitmine \S \ kiide genereerimine ja ohutusjuhtumite täitmine. plaanid, kasutades reaalseid ja simuleeritud keskkondi.
• Rakendage AI-põhiseid meetodeid stsenaariumide genereerimiseks, katvuse analüüsiks ja rikete tuvastamiseks.\\• Integreerige stsenaariumide koostamise tööriistaahelad valideerimise töövoogudesse.
• Hinnake vastavust ja koostage dokumente, mis on kooskõlas sertifitseerimisprotsessidega.
Arusaamine
• Hinda autonoomsete süsteemide testimise, reguleerimise ja eetilise tagamise vastastikust sõltuvust.
• Tunnistage väljakutseid, mis on seotud stohhastilise, kriitilise mõtlemise ja õppimisel põhineva aruandlusalgoritmide\/transparency. ohutuse ja valideerimise andmete hindamisel. | ^ Teemad | 1. Kontrollimise ja valideerimise ülevaade:
– ajalugu ja areng traditsioonilisest tarkvara testimisest tehisintellektil põhineva autonoomia valideerimiseni.
– Põhiprintsiibid: kontrollimine vs valideerimine, ohutusjuhtumid ja jälgitavus.
– Rahvusvahelised standardid
– Ülemaailmsete V&V nõuete ühtlustamine.
2. Füüsilised ja virtuaalsed testimiskeskkonnad:
– reaalse maailma valideerimissaidid ja virtuaalsed tööriistad.
– HIL/SIL/MIL testimine, sensori simulatsioon ja keskkonna modelleerimine.
3. Stsenaariumipõhine valideerimine\\\\\\\\\\\egedamisjuhtum
– F – disainilahenduste jaoks. süstimine ja võistlev testimine.
4. AI-Enhanced Validation:
– AI testimise optimeerimiseks, määramatuse kvantifitseerimiseks ja robustsuse analüüsiks.
5. Sertifitseerimine ja vastavus:
– Ohutusargument, andmete läbipaistvus ja auditi valmisolek.
– Eetilised ja valitsemise väljakutsed autonoomses valideerimises. | ^ Hinnangu liik | Positiivse hinde eelduseks on positiivne hinnang mooduliteemadele ja praktiliste tööde tulemuste esitamine koos nõutava dokumentatsiooniga | ^ Õppemeetodid | Loeng — esitlege autonoomsete süsteemide verifitseerimist ja valideerimist reguleerivaid teooriaid, standardeid ja raamistikke.
Laboritööd — Viige läbi simulatsioonipõhised testid, kasutades CARLA, MATLAB/Simulink ja OpenSCENARIO; tehke ahelas riistvarakatseid.
Individuaalsed ülesanded — Arenda valkoostada identifitseerimisplaanid, võrrelda standardeid ja kirjutada ohutuse tagamise dokumente.
Iseõppimine — Tutvuge Pegasuse ja ZalaZONE juhtumiuuringutega; analüüsida tõelisi sertifitseerimisaruandeid ja uurimistöid. | ^ AI osalus | AI-tööriistad võivad aidata luua testistsenaariume, automatiseerida rikete tuvastamist ja analüüsida katvuse mõõdikuid. Õpilased peavad tehisintellekti kaasamise läbipaistvalt dokumenteerima ja kõik väljundid inseneri- ja eetikastandarditele vastavaks kinnitama. | ^ Soovitatud tööriistad ja keskkonnad | MATLAB/Simulink, Scenic, CARLA, rFpro, IPG CarMaker, ASAM OpenSCENARIO, Pegasus| ^ Kinnitamise ja kinnitamise fookus | | ^ Asjakohased standardid ja reguleerivad raamistikud** 		ISO 26262, ISO 21448, DO-178C, UL 4600, IEEE P2851