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 mrrmoa-gP edor relawht,ffroeSe ignprualcghcmassh äfugih sal Bg„u“ ethnzc,ieeb aknn rhiictg rteeu edne.wr 2003 waet cehsevtur loTl oleclCt dei auLMwt-k ni sdethulancD hnüzfeniue,r aws stre edir rJhea eptärs ielncdh .glgean asD wCeofarst-aSho ktseoet 35, aeldMilrni Eour eflasmennhlEia.äu hcuA in dre fhmautrRa tmmko es immre reewdi uz afntela rertlfaSeehwf.on 2160 xoepdteleir edi Msd-Sraeno rlcahiipelaS ibe edr ndu.Lnga rDe aoruAuebt WV hteat sesvaim l-ewSefarorPobemt mit edm uneen floG 8 dun auch dre tleerckhise VW D.3I ptfkmä tim renei ihRee ,uBgs hlchnäi iew Tasel.

nBsdrsoee slcmhmi sidn äe,Fll ni deenn nMneshec rdcuh whoteererafflS zu ehadcSn nmmoke dero arosg stee.rbn In dre fSwoeatr zur gutuSerne red -iGpnaeliPess in ibirnSei httea cish fagAnn erd e8r0 nei Flrehe cehcse.iinhlegn ePliepsni inggen ni nlmFaem fau dun vnaerrhsuect eeni githisnaegc sE.xonloip slahFc gmatrroreeimp sidechnmiize sgtntagrehäeseBlur eoenfrtdr in end SUA ndu aKdaan hemerer nbeecnseMlne.h eiD inegoB 773 Max arw mi äzrM 2901 nhca zwei bünAzestr tim angtssemi 436 oTent sau mde rkrVeeh gzgoene dorenw. slA srathuuHpeac rde Ukncelgü lgta ien rehtelfaehfs Snsuprtagoermm.geru Areb ucah endera enioBg 773 lldoMee anehb mmrei eewird oS.Paerrf-lmeobewt trsE mi uranaJ 0221 mkane ni nnodesIine 26 nMenhecs bei eienm klgüUcn mus e.Lenb

eKnei ewtrfSao eohn elhrFe

Stsrymaoefs„etew dewenr mmrei “lrem,xopek rärklte Tim maunnQat mov utshhrlLe frü fnmikoItra 2 oeSearoewlugindmf(rtl udn inr)iftoVaiek an rde WHRT chaAne. i„eS inds wrgltgeäangeil nud ni evenil läFnel eiihrsr,kccshtiietsh iwe ni guzu,legFne tfrarKewnke erod indchemieznis Gät.ee“rn tmQunnaa sit eetrePotkrilj und teaeribt seaenmgmi itm rPfresoos o-ieetstPJor Kn,toae aellenfbs mov rhlhuesLt frü rIiankfmot 2, na edm Modle erekChc m,“„torS rde rtefowsesemSayt neatraysil dun ndree ftrFieehiheerl nrtgrianaee .osll

Bgu„s öhgrene mzu llgrintewtaEac,kl ndu eib mekeoxlpn entsSeym itbg se ftsa ineke aftwreoS enho lere“F,h gast Qnm.anuat rb„Ae nenw odWr hitcn ehrm nnuoifrtitke oedr asd Blid ovm reeshnerF nbälgeniteb,h rtates ihc den eheRcnr dore den nhsFeerer ahifenc u.en nI erd lgRee äfutl re dnan “ewi.der asD ehtg eib secshiitterncisiherhk mesnetSy iülctanhr hcnti, irhe knnöne eeanarpntfnwSo hdmetiacars geoFnl .nbaeh

iWr„ nöenkn nie leal rehFle ored npoeteneilzl urFhellqlenee efidnn nud e“be,bnhe so rde trEpxee et.ewri Di„e gmPrrmeao eredwn tcinh nov luNl usa sdjee Mla enu efderu“nn. reiargmPemror btzunnee edesbnehet Mlueod für eechihcirndstleu ki.etnunnoF Da nkan se asrs,einep sdas hcis Befeleh iesnrehwpdcer doer ascnlehßusei – dehrnupeietrogntz rhtiShiece knan inmande nrpvreee.csh eiW nukenfioirtt lsao nQnatausm eodMl khCr?cee

ezeAtensuciehg eedI

a„emroFl o“teniafikiVr, ätevrr e.r Das„ its eeni hesctmmaatihe eT,hicnk um uz ze,neig ssda ein emStys asd u,tt was se lsl.o mI Fella nvo or‚St’m benah irw snu afu Whelhcthcnaiireikesn asslier.pi“zite rm“oSt„ nakn tdmia echUseiertnhin mi tmyesS ueakfecdn ndu dei hckhiesaentrlWchii rfü eenin aetlsfaSlsumy anenbhril enise fneiretnied mZiuatrse behecnr.en cNah ienre sAnlaey knönne eid nrenheepcsednt krEcweltni canNrubgsseneeh na erd Seftroaw noe.vrmneh

iDe eeId sie tcinh ne,u iwe red afIkrmnetrio tälerrk. maesT ni enig,kP drfxoO dnu mi neiehrscedidnlän Edcnhsee rentaebi na elhäncinh nönsgL.eu tauL aQtnuanm nisd ied ceanerAh wcilkrtEne enie etug anlensgäeN oa.sruv rsieteB 3012 urewd ierh red reset Ceod für r„“Smto srechigbeen nud tmesedi wrnude mrmei drwiee euen errFldeeördg gliltwebi dun sad smteSy egstti etrbse.vres

rDe ePjrrtltieoke fh,oft achu conh ncah eneirs otm,nPoiro die luhahvsotciicsr isb nEed esieds harJ rta,eud na „ro“mSt wttnibear.zereuei iZle nov antaQmnu ndu ePorosrsf Kentoa ist e,s psettäsesn ewnn dei gedeördelrrF lsafnuu,ae ein igesfter oPdkrut frü ide nlltusieiedr gnndwuAne uz a.ebnh rDe eBdafr ies ad und eid dbtnaBreei .rßog

Seeckric„hiihihtrtss isnd aj ictnh run ezeguguFl udn ae,wKf“trekr reeluättr red ratdD,onko ndo„esnr cuha ueAwInTnd-,engn ieb nnede se um aershtecentDhii eg,th spsiileibesewe dansetkranekKnneas oerd aentD im k“.Fntsaieoznr eDi TWRH hties ni t„mr“So nabeflsel geßrso oPezintla dun onelthb eid Aierbt erd fikenaoImrtr itm mde wtzniee zatlP des noavnItoin rawdA rfü hFsroncnegu dun Engnudin.ref Die sucehlHcho üsrtneutttz tim edm dAawr eihsuseticcsahr eItnonivn,ona edi rvo der tieeakMrrf ehes.nt Dei etieceinnrhge nIdee nreedw ovn edr uyJr nhca tgnninlcoTroirogheeeiue, ziolnapts,tIaoovennin dnnze,neKuutn agetnprle gtitWe,uencreliwnk ekmlizerlemom nezoPilta ndu amtunGikdersec tet.wrebe