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 mmoPrgr-a oder hrter,ealSfewof cpacsrluahsmgnigh fgihäu als gB“u„ nzcbet,ehie ankn hgiirtc teuer ewre.dn 0230 taew vhusreetc Toll ltColce die ta-uMwLk in enlhDscdtau zünieu,nerhf aws estr drie hrJea petrsä iencldh ln.egga aDs t-efaooCsrhwaS tkotese 5,3 ernMllaiid uroE fmahelesin.alEuän uhAc ni edr Rrmauhtfa mktmo se mmrei rewedi zu etlnaaf hfl.roeeafnweStr 1260 eeoredptlxi dei Manoders-S pleiacShilra bie dre uLgnd.na reD tuAoabrue WV htate aemisvs -aorPwefSeblmoert tmi edm neuen ofGl 8 udn cauh der hlceeskrtei VW DI3. tpmäkf tim einer ehieR g,sBu hihäcnl wei sa.Tel

eBnrsedso slcmihm inds ,äFlle ni enden Mcnhenes uchrd wrlofeetSefrha uz andehSc monekm rdoe gsroa etrbe.ns In rde otaweSrf uzr utSngreeu erd lsGPiiee-anps ni birieiSn thaet hics fnnAag edr re08 nei eheFrl iicenneghh.ecsl Psliipeen gignen ni lmaFemn fua dnu trshrnvueeca enie iagsegctihn .xoElopins cslaFh riaorermepmgt zmseeicidihn sauneertrggleätBsh dfrenteor ni edn SAU udn Kaadna emehrer .hcebnlesnMeen eiD Bignoe 377 xaM war mi zMär 9120 hacn ziew Asrbezünt itm negamsist 346 oTtne aus edm eVkrrhe eegznog nrd.owe slA tesprahucauH red nckUgüle tgal ein ehtferlafhse ggpurmrmeu.oatSnres Arbe cuha ednrae igoneB 773 eMlledo aebnh rmime drweie tf-wremralePeoo.bS rEst mi nJaura 0122 nekma in nesndoIine 62 hMcnsnee ibe nmeei ncUkügl ums nbeLe.

enieK ewfrtoSa enoh eelFrh

owf„sSemesrytaet deenrw emirm poexre,m“kl eräktrl Tmi atuaQnmn mov ltruhheLs für mrknfitoIa 2 rerteomeiwllSunfg(aod dnu eoiVfiat)rnki na red HRWT Aah.cne „iSe dsin enregigwllägta und in eevnil nFlelä cisshhirisrkei,hettc wei ni Flgz,eungeu rKatrekenwf oder esinemnizidhc “ä.neGter mtnnQaau sti rkleetetoriPj dnu trtabeie eiasngmem tim osrforsPe ooiJrPtet-se o,nateK nlalebefs mvo rtuslheLh frü kIoiftmrna 2, na emd dloeM cerkeCh t,ro“S„m der eeSfttrywsosame aenlyasrit ndu deren lefeeeriiFhtrh itarreannge lols.

s„ugB göehren mzu nreElcwat,itallkg dnu ibe lekpmonxe neySsemt bitg es fsta kinee arfwoteS heon eFe“l,hr stga Qtna.nuam b„eAr nnwe Wrod htnci mrhe okittrnunefi rdeo das lBdi omv nseeehrrF nti,hnebelgäb attsre ich ned ernheRc dero den ernFseerh hfceani .uen nI edr legeR tuälf er nadn “.idewre asD etgh ebi ishrhcsteihsntrekeiic yeSntmes naltiürch ht,nci iher ökennn fenwStrnpoanea hasdcaertmi enolFg ebanh.

W„ir öknnen nie leal lerhFe roed neptzloilene elulnhleFqree dfnein dun h,nbbeee“ os red rpEtexe ie.rtew „Dei ragmPreom wdnree tnhic von lNlu sau sdeje laM eun en“fuer.dn erirorrmemaPg etezbnun etdbseenhe oeuldM ürf ceeuihticlhsrdne .nnFneouitk aD ankn es np,siesare asds scih Belehfe rcnswieephrde reod iuehssnaelßc – trznereneoiupghdt tecrSihhei nnak adnmeni er.ecnephsrv Wie ontefktirnui aosl asmtQnnau dlMoe hCek?erc

eehgesAuetinzc edIe

eoFra„ml ii,Vino“ftarke ärevrt .er as„D tis neie mhaiehtatecms iTnck,eh mu uz ,geezni ssad ien Smyset dsa t,ut swa es l.osl Im aelFl onv r’mS‚ot anheb riw nsu fua nhriisktchicWaeenelh “ailitzri.pesse rmoSt“„ annk adimt heincetseinrhU mi etmsSy eecnkdauf dnu dei eitnkhehsicilacWrh für einen tSysmauasllef ahrnibnel esien nrtinedfeie rtaeZusim hcbee.renn Nach eerin eysaAnl önkenn edi stcphnnneeedre wkltEreinc cuhnseesgbrnNea an edr etarofSw .meoenvnhr

eiD eIed esi chnit eun, wie rde frmaIroinkte trk.ärle eTasm in ekPing, Orofdx dnu mi eldäinnneecshird enhcsEed bieteran na cänhhnlie usöLngen. autL amnuanQt inds die aechnreA nwiteEcklr enei tuge slnaengäeN .rovaus retiBes 0123 uedwr eihr dre rsete eCod rüf t“m„rSo eecgsnhrbie udn sdteeim wunder remim eridew ueen gerröeeddrFl tbiwlileg dun ads tmeySs testgi ev.ertrbses

reD jeilkePrtorte tfo,fh chau hnco hcna eneris onormt,Pio edi crusihlshctovia isb eEnd eesisd rhJa urta,ed an o“t„mSr ewazienere.btriut Ziel nvo Qnmaanut dnu orPerossf etanoK tis ,es etpsesnsät ennw edi rFelddrrgeöe ,ueafnlsua eni rsgiefte dktPruo für eid iteluisnlder enwnAgndu uz neb.ha eDr erBfad ies ad und ied arnBeebitd gro.ß

h„eickiihSceistshtrr dsni aj nciht run zeugleugF dun ke,reKa“rwtf trätruele der rnDkda,oot drnneo„s auch uen,-nnwgnTdAIe bei ndnee se mu ecnrDettiehasih gth,e iieiplebeesssw akseenstnrnKdnaaek edor neDta im Fna“rzenoi.kst eiD HTWR tshei ni mrto„“S beflnesal oesrßg oiazntlPe ndu ntohleb dei ibrteA der makferrnItoi mti dem znietew ztPla sed ovtInonnai Awadr rüf oeghFnncrsu udn unrfEnigden. eDi oeHchlhsuc üneztrttstu imt med radwA sasictsheuhicre tinnooanenv,I dei rov edr erkerfitaM n.eshet Die nrgtneeceiieh Idnee wderne vno edr Jyur anhc etnilruinecn,rTegooogeih In,iznaopoivotneltsna zn,tKudnenuen tlapengre egirltiw,cWkeenunt momrmeleilezk ioltezPna udn eeikurasdcmGnt brtewtee.