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 agommr-Pr erod aee,tffrrhoelwS ghapncuslacirshgm guifäh sal gu“B„ ,neeiztebhc knna giirthc ueetr nerw.de 0230 weat htuervcse oTll Clctole ied -LMaktuw ni tcedDshalun hzrui,efnüne swa rtse rdie hraeJ seäptr inedlch lge.gan aDs CsfSo-ehwtoaar tsotkee 3,5 irnllaieMd uEro s.alahemäiuefnlnE cuhA in red ufarmtRha otmmk se imrem eiewrd uz laetfna lwteo.ferrefSanh 2061 iptexdrleeo die eMnr-daSso ipacieSrhlal bie dre uad.Lgnn eDr uboAeraut VW taeth imsvase mlSab-rterwfPooee mit mde eeunn lofG 8 dnu acuh dre eiclektsreh VW I.3D tmkpäf imt eerin Rhiee ,gusB lhnciäh ewi asT.el

rBsdeonse cmlhism disn Fell,ä ni ennde cMeesnnh curhd wteleaerorhSff zu ndehSca neokmm oerd goras e.srtenb In edr oeaStrwf urz rtenugeSu edr sneaPlGiips-e in iSibreni taeth sich gAnafn dre 0er8 ien lFhree ilhcecehi.nsnge pniesPile gnegin ni emmaFln fua nud evatrsurnhce niee etnghsiicga .xosplnEio hFcsal mrorpageiremt ndheiesimzic ntBhtsreeäuearggls oeterrdfn ni ned AUS dnu Kadana heemrer Mnscnhben.eele ieD gneoiB 773 Mxa awr mi äMrz 2901 ahcn wzei sAezütbrn tim tssemniag 346 eTnot sua edm eerVhkr ggeozen dw.eorn lAs uteHusaahpcr red cengüUkl aglt ine hfesraefhetl uaStrerne.mrggouspm Abre auhc eenard egBino 377 Moledle ehabn iemmr irwdee rSerat-lofbew.oPme Erts mi naaurJ 2201 akmne ni sondInenei 62 cnnsehMe ebi einme gcnkUül smu b.eLen

ieneK oawSetrf heon ehlFer

fwest„yseeoarmSt eernwd mimer xrlke“ope,m ktrlreä imT mtananuQ mvo hLthusler ürf tkoanIimfr 2 rwe(leutfrgmdnlaioSoe dun teaVn)iifkoir an red WTRH aAh.nec iS„e nids rggllewngteaiä udn ni venile Flnäel rci,eshckiihttrsishe iwe ni eeulgzgunF, trKwfenkera rdeo ehnniceiidszm ärte“Gn.e atmnQuna sit elPjrektreoit dun iateertb geiesmman mti osPrrefos o-seorttiePJ tneo,Ka elanlfebs vmo ruhlLesht rüf fkrImtaoin ,2 an mde ldMeo Cehrkec So„r“tm, red smSaeeewstfroyt ielnatryas ndu eenrd ehteihFrfeeril nntraearegi ols.l

g„Bus hreneög muz lrglakEwa,tinelct nud eib lkemepnox enyStsem gbti se atfs eeink roSafwte oenh F,r“lehe tgsa u.nnaaQmt „breA nnwe rodW tchin remh iroitfntenku eord asd ldiB vmo Frheesrne bngil,eeätbnh sartte hci end herenRc doer nde esrneehFr ianfche .uen nI der eeRgl ulätf er dnan e.edw“ri Dsa htge eib iisthicscketreshhneri eenmtysS lnciarüht hi,tcn eirh nkeönn onfaSpenwtrean aerhcatdism nolgFe nab.eh

rWi„ nnenök nei lale hreFel odre nlotlneipzee leleeuqrhleFn ndneif nud ,b“nebhee os dre xtpEere .ieewtr ie„D roarmgmeP nwedre nhitc von Null sua desje Mal eun .fne“dreun orrrmgimraePe teubnzne dbetneeehs edouMl für rseincidhthceule Ftnnunkei.o Da nnak se esepnairs, ssda hsic eleehBf esirehpwdcenr roed ßlauesinecsh – hgrnoperdeuitetzn Sheteirihc nnka eiamndn vserecenpr.h iWe nfritoiuketn also Qatsmunan lMoed kecCh?re

ceuethengAzsie Idee

rFmaoe„l fVeintri“ik,oa etrvär .er Da„s sit iene amehtcahestmi ,hnieckT um zu ezenig, dsas ein Ssmtey ads ,ttu was se sllo. Im aFell nov rm’Sot‚ abhne wri nsu ufa teWkhacnlihenicsrhei .pazreisiti“sle o„rSmt“ knna idtma nsrheetUihcien im steSmy uckfeedna udn die ehciaihrtnhkWlcesi für ieenn lasymuetlasfS inrnelabh nsiee nntdefrieie euarsmtZi ehbenn.ecr ahcN erine ysnAela nneökn eid phdencnnetesre wtlknEcrie aheesbncrNnsgeu an erd wofertSa e.nmehvorn

eDi eedI ies chitn nu,e ewi der rrkmoeiIafnt .rkläert asemT in iPn,ekg oOdxrf nud mi inelisreedcnnädh hesncedE rteiabne na hinlhnäce esugLnö.n utLa tQanunam dins dei eenArach Erekintlwc neei uetg aläNsgnene rsuva.o iBseret 3210 rdeuw rhei erd estre odeC ürf „tSrmo“ enigerbhcse udn tsdeeim ernuwd mmeir diewre enue rdeeFreldrgö iiebtllgw udn asd teSyms testig etbsevrser.

eDr tPreelejkotir fofh,t cuah hnoc anch ienesr noPoi,otrm dei clcrohhvuitssai bsi edEn seedis Jahr ,aedrtu na omS“„rt ezbutreeaiitnew.r iZle ovn mQatnanu dun fesoosPrr oteaKn sti se, tepäesstns nnwe die röglrFrdeede nfsaua,elu nie ftreegis ourktdP rüf die rtelliinsedu gdnenwnAu zu b.aehn reD aBefrd ise da udn die atireendBb oßg.r

kShcestrciheti„ihirs dins ja htnic unr zguegleFu nud rtK“efra,kew eäetrtrul red adnoD,orkt „rodnens hcua T,n-enAuInngewd bie eendn es mu sheireDnaitthec ehgt, elpiewesisbise anktnaaenKrnedsesk reod Detna im .F“notezisknra ieD WRTH eitsh ni rSot“m„ bllnfaees rogsße ealzniPto und hoetnbl edi biteAr dre nmrkftiIoare mti med eiteznw lzPta sde ovnatnionI wradA für ugconeFshnr udn .egfrndEnniu ieD hlcHuochse uüztetrsntt imt dem rawdA ishrtcseiucehas iIoo,vanetnnn dei orv der fkrtMareei n.teehs eDi neitgrieneehc Idene erwned nov red urJy cnah lgeTog,etrhnoinreniiuceo annavzoItosp,ieilntno nn,zentKudenu ntraeepgl ekiunte,lectwrginW meimeolzemlkr tneizolaP und ceemkuatsrGdin ee.ettbwr