1. Wirtschaft

Forschung an der RWTH Aachen: „Storm“ findet sicherheitskritische Softwarefehler

Forschung an der RWTH Aachen : „Storm“ findet sicherheitskritische Softwarefehler

Ein Bug kann richtig teuer werden. Informatiker der RWTH Aachen entwickeln ein System, mit dem sie gefährliche Fehler in komplexeren Softwarelösungen aufspüren und bewerten können.

niE a-oPmrmrg odre ,fleofatSwererh nlhsgaahgipmrucsc ähfigu als „g“uB izb,necthee nnak hritgic turee ew.ednr 2030 etwa eerhcsutv Toll tClcloe edi aMkw-tuL ni ldshcnateDu riefü,uznhen aws sert erdi aerJh esärpt hdcline agglen. asD Sa-ehtfwCsaroo tketeos ,35 iMellirdan urEo län.hnifemuesalEa uhAc in rde auhrRftam kmomt es iermm rwedie uz fetnlaa eeanSreohltff.rw 2610 toelipederx ide SMeso-ndar ilheiplcSraa ebi dre u.dnLang eDr Aureobtau WV ehtat vamises emaoforwSPreblte- imt mde neneu lGof 8 dun cahu erd clrkhseieet WV .D3I fäpmtk tmi ernie hReei suB,g hcälnhi eiw eTas.l

Bndsoseer mimhlsc dsin eFllä, in dnnee ecshMnen dhcur erhefSrtfoaewl zu haSdnec kemnom reod gasor bn.eetsr In dre toSfarwe rzu Sueergnut erd peliasGins-eP in irneibSi eatht cihs nafnAg red 0re8 eni eeFrhl e.hglehsecncini nPeelsiip ggenin in eammnFl ufa udn heutrravcnes ieen iceinagtghs oixolns.pE ahclsF mteepiorgrram meczsinediih eetnrlssgeägahtrBu redrftone in end SUA udn Kadaan erehmer eMlnebche.nnse eiD gneiBo 773 axM raw im rzäM 9021 cahn wzie nbAtzsüer itm niatsemgs 364 eotTn asu mde Vrkehre ozgeeng wonrde. slA rahpHusauetc dre ückeUgnl tlga nie afhtseehrelf geransroSmuuprgmt.e erbA auch eerdan igoeBn 377 Mdeello nbeah iemmr ewedri tre-w.bmoolSraePef strE mi nuaarJ 2210 nekam ni nnneeoIsdi 62 Mcshenne ibe eienm Uünlkgc ums eb.Lne

eKein frSoeawt neoh rleFhe

teSoe„mrfyesstwa nderwe ermim ek“omrpx,el erkätlr mTi natumaQn omv hlueLhtrs frü atniofIrkm 2 egnfroeSliatudomwr(el und ikorfV)aeinti na erd WHRT .hAneac iSe„ dnsi etwalngäegilgr udn ni vnleie lFäenl isrhshittkeesiihr,cc iwe ni ze,Fulnggeu kKrfwetaren ored sinnimzdieche .etG“nreä uQatnnma ist kPttijleeroer ndu btiareet meisgneam imt ssorefoPr tP-oeeJortsi tnaeoK, enflsbael mvo huerLslth ürf imkaItornf ,2 na med lMdoe ckCeher ,ot„rSm“ edr oersfateSetysmw taaineslyr dun erend trflrheeFiihee ntregaienar .slol

„gusB nerhgöe mzu la,nkiglEtewacrlt ndu eib pxeklnmeo ynStemse igtb se sfat kiene orStfewa oenh el,rFhe“ tsag namau.Qtn rebA„ nwne roWd tinch rmhe nfttiekrnoiu reod sda iBld omv resnrheFe gh,äbebeilnnt easrtt hci edn ceRenrh eord ned Fehnerres hfeacin nu.e In edr gleRe ätluf re dnan i.“drwee Das hegt eib hnrhhteiceiicesitrsks tnesymeS rltacühin nc,iht reih nknneö etapaefnnnwSor casrimtdeha elngFo ahen.b

Wri„ knenön ein lale elhreF doer etlozeilennp leqeFrhlelnue dfienn dnu enb,eh“eb os red texEepr t.iwree eDi„ eragmrPom wrened cthni ovn lluN sau eejds laM nue efunn.re“d rrreemPrmgoai enetznbu ehesbntede oudMel für esniidhrtechelcu neoiF.tunnk aD knna es s,seapneri dssa scih fBheele hsnrderiwepec doer iusehnlßcaes – uontzgerdnpiheetr tcrhihieeS nakn eanmind er.svehneprc ieW nukitorteinf loas uatmQsann Melod Ce?cherk

hgcszAeneietue eIde

l„maoreF tinikr“a,oVfei errävt r.e saD„ tis neie iahmeaehcsttm nikcT,eh um uz ngi,zee adss ien Smtesy das ut,t aws se .sllo mI aFell onv rtoS‚’m bahen riw nus auf iatrWnnichcehiselehk peii“sale.rstzi S“t„rom ankn tadim ecsnrheienihUt im tSesmy kafeundce und ide sWncehhiciratlehik ürf neein tmlyauSlsfase nlaehrbin inese tdefeeniinr saZtrumie ebneen.rch Nahc eenir ylAsnea nnköne ide rcnpheenentdse iwElknrect aNcreegshsubenn na dre atSrfewo .neomehrnv

Die Idee eis itchn uen, iwe edr toemkIfanrir lt.kerär eaTms ni enP,igk fdrxoO ndu im eerlnäisdnnedchi hcsdneEe rientaeb na ehicnhlän Löue.gnns Luta nanamQtu dsin ide rehencaA wrnEkcltei niee tuge snnäeeagNl ouavrs. resBeit 3102 ewurd iher erd erest Ceod rfü m„“Srot rniecshbeeg ndu isetmed rwdnue iremm ideerw uene rlegedrdFreö wllebigit und asd Sstmye tisteg sevsre.tber

Der oirteetPlkjer ,tfhof achu chno nhac srniee ooni,rPotm ide ithucorvssicahl ibs eEnd sdeeis ahrJ ,atrdeu an „ot“rmS ituewebazntr.eeri eilZ nvo aanQmtun dnu efPrsosro otaKne sti ,se näsepstest nnew ide rleFereddögr n,sulaefua ien ifretsge Pduotrk üfr ide surdilnietle wgndnAune uz a.hben Dre adfeBr ise ad udn ied ebreaBndit rgß.o

siisrrhci„Schthietek nsdi ja ctnih run uguzelFeg ndu ,aKkr“wefrte trtulereä der t,Droodkan eodr„snn hacu Tennnegd-n,uwAI bie enned se mu eshharDcenittei h,teg eiebsipieslews ensKkatnsdeaannerk eord atDen im znet.“Frsiokan eiD WTRH teshi ni mStr„o“ anllsefeb sgerßo iaoenlPzt nud bnetolh die bteAri rde mkrfoertaiIn mti emd zeinwte lzatP sde anIionovnt darAw üfr chsoFgnenru dnu gnndnuEr.fie eDi lcheuhsHoc serütutzntt itm dem rAwda eriticucsashhes oti,nnevInona ied orv dre itfkeaMrer .tehsen iDe itigrennechee eneId endwre ovn edr yurJ canh enohciTu,ngoenrirligeoet tvin,zneIoptlinaaonso dnnKnt,euenzu erlatgepn eeWcugk,itlrnetnwi zommeelmrekil iozleatnP und utrcaieenGksmd ebe.ttrew