Modelgebaseerde verificatie als wapen in de strijd voor productkwaliteit
Aad Mathijssen is consultant bij het Laboratory for Quality Software en postdoctoraal onderzoeker bij de onderzoeksgroep Ontwerp en Analyse van Systemen, beide onderdeel van de faculteit Wiskunde en Informatica aan de Technische Universiteit Eindhoven. Hij onderzoekt, ontwikkelt en gebruikt verificatietechnieken in de context van de MCRL2-toolset.
Reading time: 6 minutes
Steeds vaker gebruikt de academische wereld het begrip ’valorisatie‘ om aan te geven dat wetenschappers een brug moeten slaan naar het bedrijfsleven. In dit kader heeft het Laboratory for Quality Software van de TU Eindhoven academische tools losgelaten op een industriële casus, geleverd door NXP. Modelgebaseerde verificatietechnieken, normaal gesproken ingezet bij forward engineering van softwareontwerpen, hebben we succesvol toegepast bij a posteriori broncodeanalyse.
De academische wereld bedenkt continu nieuwe methodes, technieken en tools. Ter verbetering van de concurrentiepositie van onze kenniseconomie is het belangrijk om deze te toetsen aan de industriële praktijk. Modelgebaseerde technieken hebben hierbij hun succes in het verleden bewezen.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.
Bits&Chips uses technologies such as functional and analytical cookies to improve the user experience of the website. By consenting to the use of these technologies, we may capture (personal) data, unique identifiers, device and browser data, IP addresses, location data and browsing behavior. Want to know more about how we use your data? Please read our privacy statement.
Give permission or set your own preferences
Functional
Always active
Functional cookies are necessary for the website to function properly. It is therefore not possible to reject or disable them.
Voorkeuren
De technische opslag of toegang is noodzakelijk voor het legitieme doel voorkeuren op te slaan die niet door de abonnee of gebruiker zijn aangevraagd.
Statistics
Analytical cookies are used to store statistical data. This data is stored and analyzed anonymously to map the use of the website.De technische opslag of toegang die uitsluitend wordt gebruikt voor anonieme statistische doeleinden. Zonder dagvaarding, vrijwillige naleving door je Internet Service Provider, of aanvullende gegevens van een derde partij, kan informatie die alleen voor dit doel wordt opgeslagen of opgehaald gewoonlijk niet worden gebruikt om je te identificeren.
Marketing
Technical storage or access is necessary to create user profiles for sending advertising or to track the user on a site or across sites for similar marketing purposes.
