Slim bugs checken in software

Onderzoek & Wetenschap 21/09/2020 9:34:59

Thomas Neele, promovendus aan de TU Eindhoven, heeft drie technieken ontwikkeld om software slimmer en sneller te checken op bugs, gebaseerd op de model checking methode.

Lees hieronder verder   
Verwant

Licht verstrooien met ’geconcentreerde willekeur’

Ook sleutel Tesla Model X slecht beveiligd

Proximus, SkeyDrone en DroneMatrix ontwikkelen drone-platform

Gaia-X for Belgium gaat werken rond cloud en datastrategie

Cybercriminelen zullen intelligente netwerkranden aanvallen

Betere antennes voor betrouwbare prestaties van 5G-netwerken

>> Meer verwant nieuws
Carrièrekansen (meer)
Agenda

Electrical Safety in Industrial Installations

Pilz Academy - Herentals

woensdag 2 december 2020

Logistiek Manager als Logistiek Auditor

IMF Academy (centraal Nederland)

van 3/12/2020 tot 17/12/2020

Energy Mission Webinar

online event

donderdag 3 december 2020

Safety validation training

Pilz Academy - Herentals

donderdag 3 december 2020

Overdrukbeveiliging en veiligheidskleppen

Het ingenieurshuis - Antwerpen

van 7/12/2020 tot 10/12/2020

Wire

Messe Düsseldorf

van 7/12/2020 tot 11/12/2020

Keuze van de redactie

(24/11) Autobekledingsbedrijf wordt producent van mondmaskers

(23/11) Nederlandse studenten ontwikkelen oven voor recyclage e-waste

(19/11) Proximus, SkeyDrone en DroneMatrix ontwikkelen drone-platform

(18/11) 600.000 euro voor 25 innovatieve West-Vlaamse samenwerkingsprojecten

(12/11) Flanders Make ontwikkelt eerste zelfrijdende tractor

(9/11) 430.000 euro steun voor project rond hergebruik van CO2, plastics en water

>> Meer blikvangers

ENGINEERINGNET.BE - Model checking is een van de meest rigoureuze technieken om software te checken. Er wordt gekeken naar alle mogelijke acties die een softwaresysteem kan doen, en alle 'toestanden' waar het zich in kan bevinden, om te zien of alles werkt zoals het moet.

De uitdaging is dat software vaak uit meerdere delen bestaat die naast elkaar hun werk doen. Daardoor kan het aantal toestanden om te checken explosief toenemen, wat model checking duur en soms zelfs ondoenbaar maakt.

Neele heeft nieuwe manieren verkend om dit probleem aan te pakken en ervoor te zorgen dat minder toestanden gecheckt hoeven te worden.

De methodes van Neele hebben een ding gemeen: ze houden per toestand de vereisten in de gaten. Deze extra informatie maakt het makkelijker om te bekijken welke toestanden niet gecheckt hoeven te worden.

Om tegelijkertijd naar het systeemgedrag en de vereisten te kunnen krijgen, moest Neele eerst een nieuwe, gestructureerde manier ontwikkelen om de combinatie van vereisten en gedrag te laten zien.

De eerste techniek vermindert het aantal toestanden om te checken door gelijksoortige toestanden bij elkaar te groeperen. Dit maakt het zelfs mogelijk om met een oneindig aantal toestanden te werken.

De tweede methode controleert of parallelle onderdelen soms onafhankelijk van elkaar werken. Als dat zo is, dan is het niet nodig om alle mogelijke toestanden te bestuderen. De laatste techniek controleert of bepaalde informatie relevant is en verwijdert die als dat niet zo is.

In de toekomst kunnen deze ideeën ervoor zorgen dat kritieke software sneller en goedkoper ontwikkeld kan worden. Op dit moment is er veel expertise nodig om Neeles ideeën, en model checking in het algemeen, te kunnen toepassen.

Om meer algemeen gebruik mogelijk te maken, moet er een volledig geautomatiseerd systeem gebouwd worden dat bepaalt welke methode het beste past bij specifieke toepassingen. << (Lydia Heida) (foto: rawpixel - 123RF)

Reageren
Abonneer op onze nieuwsbrief

Mis ook dit niet...

Elektrisch aangedreven locomotief milieuvriendelijker en kostenefficiënter

Siemens Mobility ontwikkelde de Vectron Dual Mode-locomotief, die de voordelen van elektrische aandrijving gebruikt waar mogelijk en overschakelt naar diesel waar nodig.

Multimodale Baanbrekers-awards voor Volvo Cars, Shipit en Liesbeth Grieten

Logistiek Vlaanderen koos tijdens een virtueel event voor enerzijds baan­brekende multi­modale projecten en anderzijds een baan­brekende multi­modale personaliteit.

Licht verstrooien met ’geconcentreerde willekeur’

UTwente heeft met precisie 3D printing een lichtverstrooier op microschaal gebouwd die random is maar toch gecontroleerd, om zo te zien hoe licht door een object beweegt.

Ook sleutel Tesla Model X slecht beveiligd

Onderzoekers van COSIC* hebben ernstige beveiligingsproblemen ontdekt in de draadloze autosleutel van de Tesla Model X. Eerder hackten ze al de sleutel van de Tesla Model S.

Nederlandse studenten ontwikkelen oven voor recyclage e-waste

Team CORE van de Nederlandse Technische Universiteit presenteerde onlangs zijn R&D-oven voor het recyclen van e-waste, ofwel elektronisch afval, met als doel een efficiënte recyclage.

Rent-All optimaliseert logistieke processen van verhuuritems

RFID-integrator Aucxis implementeerde een automatisch detectiesysteem bij verhuurbedrijf Rent-All. Laadlijsten worden sneller en foutloos afgewerkt, en er zijn geen naleveringen meer nodig.

Remote sensing ingezet voor meten buigzaamheid gewassen

PhD-student Sugandh Chauhan van UTwente toonde een nieuwe, op remote sensing gebaseerde benadering aan om de gevoeligheid voor legeren, ofwel buigen, van gewassen in kaart te brengen.

Supercomputer helpt NASA-onderzoek naar maanmissie’s

De supercomputer biedt krachtige modellerings- en simulatiemogelijkheden ter ondersteuning van kritisch onderzoek voor een veilige en succesvolle ruimtevlucht naar de maan tegen 2024.

xiros film geleiderol voor labellingtechnologie is smeermiddelvrij

Zwarte geleiderol met soepel lopende polymeer kogellagers bespaart tot wel 48% gewicht en 42% massatraagheid. De nieuwe zwarte geleiderol van igus biedt nu een echte sensatie op het gebied van verpakkings- en labellingtechnologie. Het installatieklare systeem overtuigt niet alleen visueel, maar ook technisch. >>

Partners