Hollantilainen Solid Sands on esitellyt SuperGuard-työkalun, joka on keskeisessä roolissa autojen toiminnallisen turvallisuuden varmistamisessa. Työkalu tarkistaa, että autojen ohjelmistojen C-kirjastot täyttävät vaaditut standardit. Tämä on välttämätöntä, sillä nykyisen ajoneuvon järjestelmät koostuvat miljoonista, eri toimittajilta tulevista koodiriveistä.
SuperGuard on C-kirjastojen kvalifioinnin työkalu. Järjestelmän ohjaimilla ladattavien kirjastojen viallisuus johtaa järjestelmän luotettavuuden pettämiseen. Pahimmillaan kyse on yhtä fataalista viasta kuin mekaanisten jarrujen pettämisestä.
Solid Sandsin teknologiajohtaja Marcel Beesterin mukaan testaaminen on periaatteessa helppoa. C-standardi pilkotaan toiminnallisiin vaatimuksiin, jotka tulevat standardista (autoissa ISO 26262, teollisuudessa IEC 61508 ja raideliikenteessä EN 50128). Työkalulla kirjastot testataan, jotta standardin asettamat vaatimukset täyttyvät.
- Kaikkia mahdollisia ohjelmiston tuottamaa arvoa ei ole mahdollista testata. SuperGuardia varten kävimme läpi C-standardin rivi riviltä, jotta löytäisimme kaikki testattavat vaatimukset. Sen jälkeen tarkistimme, löytyykö vaatimukselle testiä. Jos ei löytynyt, kehitimme sellaisen, Beester kuvaa.
Vaatimusten testaaminen jälkeen tärkeä kysymys on testein kattavuus. Onko testeissä testattu kaikki vaatimukset? – Meidän piti verifioida yksityiskohtaisesti, mikä testin kattavuus oli tuotantolaatuisissa kirjastototeutuksissa. Mikäli testityökalu ei laukaissut jotain lauseketta, tarkistimme, johtuiko tämä puuttuvasta vaatimuksesta tai jostain toteutuksen yksityiskohdasta. Työkalua laajennetaan kattamaan mahdollisimman paljon kirjastolausekkeista.
SuperGuard testaa C-kirjastojen vaatimustenmukaisuutta. Autoissa käytetään kuitenkin muutakin koodia. Tekoälykirjastojakin yhä enemmän. Muuttuuko testaaminen jollain tapaa?
- Ei toiminnallisten turvallisuusstandardien näkökulmasta. Ohjelmistojen ja ohjelmistokirjastojen turvalliseen kehittämiseen ja pätevöintiin on määritelty omat prosessinsa. Käytännössä ei kuitenkaan välttämättä ole niin helppoa tehdä tämä ML-kirjastojen osalta. Uskon, että nämä kirjastot ovat korkealaatuisia, mutta monet niistä tulevat avoimen lähdekoodin hankkeista tai akateemisista tutkimusprojekteista, eikä niitä ole suunniteltu turvallisuutta ajatellen. Tämä tarkoittaa, että he eivät noudata turvallisen ohjelmoinnin ohjeita eikä vaatimuksiin perustuvia testipaketteja ole, Beester arvioi.
Hänen mukaansa AI-sovelluksista itsestään puhuminen on monimutkaisempaa, koska hermoverkolle, joka on koulutettu esimerkkitietojoukolla, ei ole muuta määritystä kuin datasarja jolla malli on opetettu. – Kehittäjän täytyy rakentaa määrityksiin perustuvia redundanttisia järjestelmiä ja varmistuksia.
Modernin auton kehittäminen on valtava ohjelmistoprojekti. Järjestelmässä on miljoonia koodirivejä monilta eri toimittajilta ja kehittäjiltä, myös avoimen lähdekoodin ohjelmistoja. - Autonvalmistajan on oltava varovainen jakamalla kyseisen ohjelmiston eri turvallisuusluokkiin, jotta esimerkiksi mediajärjestelmien yleensä Android- ja Linux-pohjaisten ohjelmistojen ei välttämättä tarvitse olla turvallisuuskvalifioituja. Osiointi on vaikeaa, mutta välttämätöntä. Mitä enemmän auton hallintaa ADAS-järjestelmät annetaan, sitä kriittisempiä niistä tulee turvallisuuden kannalta.
Kuva: ISO.org
Keraamiset monikerroskondensaattorit joutuvat tosi koville autojen elektroniikkajärjestelmissä. Vaurioiden ehkäisemiseksi niissä on aiemmin käytetty hopeaepoksiin perustuvia pehmeitä päätyliitoksia, mutta ongelmana on silloin ollut hopean vaeltaminen. SEMCOn eli Samsung Electro-Mechanicsin kehittämä kupariepoksiin perustuva ratkaisu eliminoi sekä halkeamien/oikosulkujen syntymisen että metallin kulkeutumisen.
Englantilainen Pickering Interfaces esitteli Electronica-messuilla uuden sukupolven yksipaikkaisen sulautetun PXIe-ohjaimensa mallimerkinnältään 43-920-002. Uutuus on markkinoiden kompaktein ja tehokkain 3U-ohjain PXI Express -alustalle.
Barcelonalainen ignion esitteli Electronica-messuilla uutta OMNIA mXTEND -komponenttiaan, joka yhdistää kolme antennia yhteen innovatiiviseen ratkaisuun. Virtuaaliseksi antenniksi kutsuttu moduuli muuttaa piirikortin kolmen eri radion säteileväksi antenniksi.
ETNdigi 2/2024 -lehti käsittelee laajasti elektroniikka-alan innovaatioita, erityisesti sulautettuja järjestelmiä ja kehittyvää tekoälyä. Lehdessä esitellään esimerkiksi LUMI-supertietokoneen roolia tekoälymallien kehittämisessä Suomessa. Uutiskattauksen lisäksi mukana on useita syvemmälle eri tekniikoihin sukeltavia artikkeleita.
NordPass on julkaissut kuudetta kertaa vuotuisen 200 yleisintä salasanaa -tutkimuksensa, joka paljastaa kansainvälisesti suositut salasanat sekä 44 eri maan salasanat. Maailmalla yleisin salasana on nerokas ”123456” ja Suomen yleisimpänä jatkaa kestosuosikki ”qwerty123”.
