Met de groeiende digitalisering in onze maatschappij neemt ook het aantal cyberaanvallen toe. Online veiligheid wordt daarmee een belangrijk onderdeel van het digitale ecosysteem. In dat kader is het project Cyber Security Noord-Nederland geïnitieerd, waarin de samenwerkende partijen RUG, Hanzehogeschool, TNO en de Stichting Cyber Security Center Noord-Nederland zich richten op juridisch- en technisch onderzoek. Het onderwerp van de CyberTalk 15 maart is: How to validate your software & IT. 

Talk in English

Software is the core part of all modern infrastructure and the main driver behind innovation in many (if not all) industries. And for safety and mission critical applications, software quality is paramount. This holds for so-called functional as well as non-functional aspects (such as security, performance, and compliance to quality standards).

This presentation will give an overview of the methodologies and technologies that are applied to guarantee the correct functioning of core IT infrastructure. It will link the formal and legal requirements of software systems to practical and operational to ways how these requirements can be enforced. In particular will take a close look in how distributed systems are validated to demonstrate their correctness in context of its environment. For these API driven applications, so-called "sandbox" environments are used that allow for the validation and certification of the information exchange. This concept is explained by using examples from different domains: banking (the PSD2 standard), eHealth (the Dutch MedMij framework) and the energy market.

Rix Groenboom is lector (research professor) at the Hanze University of Applied sciences in the area of Digital Transformation. The research group, New Business and ICT, focusses on innovation using software in areas such as 5G, Cyber Security, eHeath and Smart Industry. Before joining the Hanze, he has spent over 20 years in the software quality industry in international technical sales and marketing positions, most recent as Strategic Innovations Manager for Parasoft. He is specialist in testing and validation of modern SOA, SaaS and cloud architectures. He has written a large number of technical articles and presented on many IT conferences. His core expertise is specification, design and validation of software applications. An overview of his publications can be found here.

Het Cybersecurity project wordt mede mogelijk gemaakt door een bijdrage van de provincie Groningen en de gemeente Groningen vanuit de RSP-middelen.