Samenvatting

As part of the Cybersecurity Noord-Nederland project, the University of Groningen hosted a series of mini-lectures on cybersecurity. The lectures were given by experts in the field of cybersecurity. Each of the speakers has discussed cybersecurity threats, vulnerabilities as well as remedies from different perspectives.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.