Forschung an der RWTH Aachen
:
„Storm“ findet sicherheitskritische Softwarefehler
Für „Storm“ wurde Tim Quatmann mit dem „Innovation Award“ ausgezeichnet.
Foto: Harald Krömer
AachenEin 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 rr-aPgomm rode lrefwShea,tfero nalcucgsigmhshpar hufigä las ug„B“ ehbztee,cni nnak iighcrt etreu reewnd. 0203 weta setevrhuc Toll etclolC die tuMkwLa- in sulhDtancde eüinuenhzfr, was erst edir aJher ästpre cndeilh aengg.l aDs wr-tsefCaSaooh oksttee 3,5 iManellird oruE fuahse.äinenllaEm uhcA ni erd atmRrfhua mmokt se immre rewdei zu faealnt refnwfar.eSletho 2601 edexlioerpt edi sSanerMd-o hSlaeilpacri bei rde aguLn.dn erD eutAuboar WV tteah emiasvs boelrSaowreftem-P mti dme unnee flGo 8 ndu ucha rde kthriceseel VW 3D.I kpfmät mit iener ihRee g,uBs hnlähic ewi a.elsT
sesBedorn schmiml ndis ,älelF in enend ncMeesnh urhcd etlffSerewohar zu hcneadS emonmk droe saogr teerbs.n In der twoerafS rzu ugtnrSeue red esGanli-pPise in irSinibe athte chis nngafA rde r0e8 ein lFrhee .lchineeicgnshe Peiilespn gineng ni mlFaenm afu dun cunhrtasever enei itageingcsh lxooiEns.p hlscFa emreitogamrrp dmshiiecienz egsBrenathslgäerut rtfrdeone in ned SUA dnu aKnaad eermher hennlenMscbee. iDe niogeB 737 xMa awr mi ärzM 0912 hcan wzei snAebrtüz tmi asismegtn 436 ntToe sua emd kVreerh ozngeeg dnr.eow slA uaspatcHrhue erd lkgcüenU glta ine rtshfflaheee seSrgmprg.eouturamn ebrA auhc aernde gBinoe 773 leeMold nbeah reimm weedir lobtfmoPw.ea-rrSee tEsr mi Jnaura 0221 nemak ni neInednsoi 62 Mnshenec bie eenim Uügcnkl usm n.eLbe
Kiene tewrafSo oenh lreehF
fseraytesoSw„etm eerwnd ermmi kolr,exme“p lreätkr Tmi nuaanQmt vmo eturlhhsL frü knrotmiafI 2 rlodtwmoeaf(iSeuelngr dun Vaiin)oretkif an rde RWHT .achAne „iSe sind wlleegtnärgiag udn ni eenliv Fllenä iriceihttseshirhk,sc wei ni ulgnF,uzgee wkafrntereK ored dhnezsiniimce .etrnGeä“ tauaQnmn tis rieltroktjeeP dnu aeebttir nimaegsem mti Psrorsefo toioesePJ-rt ento,Ka nslbeelfa mvo thhleursL rüf Itiomfarkn ,2 an dem oelMd kcrheeC ,o„trS“m erd wtftsreeyoemaSs atrlayisne udn nedre hheteefliriFer renragteian lsl.o
„gusB ehröeng zum lEnlcwaktareltgi, udn ieb nlpxkmeeo tmnSseey btig es tsfa eenki Straweof ohen “Fherle, gsta aut.nnamQ r„bAe ewnn ordW nthci merh onirnetkiftu erdo sad lBid vmo eeFsernhr bg,enntiählbe aesttr chi end eRhcern droe ned neerhreFs efnchai neu. nI rde Releg tfläu er nand ed.r“iew aDs eght ieb treiniicrhesekhsishct Sesymten üchltnira hntic, rieh knennö fnpSaoentrawen tsmdhceaair gnFeol a.bhen
irW„ nnneök nie lael Fehelr droe iozeltplenen lelFnuereheql dniefn dnu bene“ebh, so der epeExrt tier.ew Di„e rgorPmmae reedwn nciht nvo uNll usa sdeej Mla une nnfre.de“u rgmeiormrerPa tenbnuze tsebdheene luMoed für einlhhuesricetcd niFoknnu.et Da nkan es eapsrnesi, dsas sich Bfeeleh ediererpwnhsc redo ishlcauenesß – rrepdtnuthgzioene rictSehhei knan eimdann .nhrveesrpce eiW itrifotnukne oasl usnQaamnt Melod eCcrkh?e
geztiuencehsAe Ieed
roFea„lm irtf,aVeiok“in rätrve er. aD„s tis eein smmihattacehe khcie,Tn mu zu ,neezig dssa ine seymtS sda u,tt wsa es sll.o Im lFlea onv t’S‚rom haneb wri snu uaf ehtiasrlcnkcheehnWii lie“ie.siartzps roSm„t“ nkna mtdia eniethhsUricne mi mtesSy edeacfnku und ide kcieaithicWhrehnls frü neein ylmSseaatuslf abnehnlir eisen etedrnieinf siumeratZ hecreb.nne aNhc eeinr neAylsa können edi eeentpncrsnedh wEikntlrec urgnsnceeebasNh na erd torSfeaw on.ernmvhe
iDe Ieed sei cithn ,neu iwe dre nkfiaremItro rläker.t mesaT in g,iPken Ofdxor dun im dhlrniceäensidne cheendEs reeinatb an änehhilcn öneuL.ngs Ltua Qanntuma dins ide Aehnerca kelEnwcitr neie etgu gleaNnänes .auosvr estBier 0231 rduew iher dre teser Code rüf r“tmo„S rbhginecsee dnu eeitdms dwunre mreim wedier nuee rreöeerdgdFl lwteblgii nud sda sSeytm etgsti sree.sevtrb
rDe rreeelojktiPt hfotf, chua cnho hnac eersni Pmtoio,nor ide crtcsluioaishhv sbi edEn desies hraJ eadtur, na t„rSom“ tunzreiewtariee.b Zeil von tnanaQmu udn ossrofPer neaKot tsi es, säeetpntss enwn ied Frerdlegörde sauau,efln ein seitfger oPrdkut üfr eid tnrleeulisdi gAnduewnn uz ae.bhn Der reBdaf ies ad dun dei bBeirdtean .orgß
h„rshrctekiieSicshti idns aj hctin run guguFleez nud ek“wftrKrae, euäertlrt der doorntDak, s„nderon auch TAw,enngdnnIe-u ibe edenn se um esntiDhecreathi t,ghe sweesisebiliep eenataskkKnnnsaedr dreo aDetn mi tsnkine“Fa.zro iDe HRWT hiset ni “o„rtmS nsbelaelf eoßsgr Ptoianzel dnu ehonblt ide Abtrie erd ormetIarkfin tim dem ntizwee azlPt sed oannonItvi dawrA für srcneFhougn dnu nduEfneirn.g Dei leccuohHhs rtztüesnutt itm med rdwaA sicsaeisthuhecr ot,oIanninvne edi vor rde reiatMrefk e.senht iDe rieengicheten neIed rwnede ovn dre Jryu acnh olngcereoeonthgiTrunei,i selvoapzIi,nnoaonttin Knz,uneudnent egrtnplea neti,egleictrnkWuw zrmmelieelmko inaztoPle udn dinestmGearuck etebt.rwe