Jozef Hooman

Onderzoeksgebied

Het doel van het onderzoek is om de ontwikkeling van software die is ingebouwd in hightech systemen te verbeteren. De algemene aanpak is om modellen van de software en de omgeving ervan te gebruiken om een vroege analyse van de vereisten en ontwerpbeslissingen te kunnen uitvoeren. Door vroegtijdige opsporing van fouten tijdens het ontwikkelingsproces kost het ontwikkelen van hoogkwalitatieve software minder tijd en moeite. Er kan verder voordeel worden behaald door code te genereren vanuit modellen van hoog niveau, waaronder beter softwareonderhoud. Recente technieken voor het creëren van een domeinspecifieke taal (DSL, Domain Specific Language) zijn effectief gebleken voor de ontwikkeling van embedded software. Een DSL biedt een enkele bron op basis waarvan een groot aantal artefacten kan worden gegenereerd, bijvoorbeeld analysemodellen, code, tests en documentatie. Dit onderzoek sluit vergaand aan op de missie van ESI om innovaties te creëren die de concurrentiekracht van de hightechindustrie ondersteunen.

Recente resultaten

De DSL-technologie werd toegepast voor het creëren van de ComMA-aanpak voor de rijke specificatie van interfaces, inclusief een protocoltoestandsmachine en tijdsbeperkingen. Er zijn krachtige tools ontwikkeld om specificaties te analyseren en het monitoren van interfaces mogelijk te maken. ComMA wordt op dit moment gebruikt door enkele hightechbedrijven. In 2021 werden de ComMa-tools openbaar beschikbaar gesteld in het open-source project CommaSuite van de Eclipse Foundation. Er is extra functionaliteit toegevoegd, zoals simulatie en testgeneratie.

Belangrijkste publicaties

• I. Kurtev, J. Hooman, M. Schuts, and D. van der Munnik. Model based component
  development and analysis with ComMA. Science of Computer Programming, special issue on Success Stories in Model-Driven Engineering, 233:103067, 2024.

• J. Hooman, K. Kanter, A. Vasenev, and J. Verriet. MBSE-based design space exploration for productivity improvement using workflow models. In Proceedings of the 2023 Conference on System Engineering Research (CSER 2023), pages 35–46. Springer, 2024.

• M. Schuts and J. Hooman. Towards an industrial stateful software rejuvenation
  toolchain using model learning. In Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2023, page 15–31. Association for Computing Machinery, 2023.