Twan Basten

Functie:
Hoogleraar Computational models

Embedded en cyber-fysieke systemen staan aan de basis van onze slimme samenleving. Daarom is het essentieel dat deze betrouwbaar functioneren. Hun ontwerp moet modelgedreven en wiskundig sterk onderbouwd zijn. Ik ben senior onderzoeker bij ESI. In mijn onderzoek houd ik me bezig met prestatie-engineering, Design Space Exploration, rekenmodellen en systeemsynthese.

Onderzoeksgebied

Mijn hart ligt bij het verbeteren van het ontwerp van embedded en cyber-fysieke systemen. Deze systemen staan aan de basis van onze slimme samenleving. Daarom is het essentieel dat deze betrouwbaar functioneren. Hun ontwerp moet modelgedreven en wiskundig sterk onderbouwd zijn. Ik houd me bezig met prestatie-engineering, Design Space Exploration, rekenmodellen en systeemsynthese. Modelgedreven ontwerp verbetert de tijd-kwaliteits- en de prijs-prestatieverhouding van systemen.

Recente resultaten

De prestaties van high-tech cyber-fysieke systemen, zoals halfgeleiderapparatuur, analyse-instrumenten en medische apparatuur, zorgen vaak voor een concurrentievoorsprong. In 2021 hebben we in een publicatie uiteengezet wat volgens ons de uitdagingen, aandachtsgebieden en best practices bij modelgedreven systeemprestatie-engineering (SysPE) zijn. Andere recente werkzaamheden hebben betrekking op modelgedreven specificatie en analyse van cyber-fysieke productiesystemen door middel van Max-Plus lineaire systemen. Met high-level prestatiemodellen wordt het mogelijk de ontwerpruimte voor dergelijke systemen doelgericht en efficiënt te verkennen. Verder ontwerpen we een component-interfacemodel voor kwaliteits- en resourcemanagement (QRM) bij cyber-fysieke systemen (CPS). Het QRM-overzicht vormt een aanvulling op het functionele overzicht van systemen. Door een QRM-overzicht van CPS op te stellen, wordt het mogelijk om afwegingen te maken voor de ontwerptijd en looptijd wat betreft het evenwicht tussen systeemeigenschappen en het daarvoor benodigde budget.

Begeleiding van promovendi

  • Mahtab Modaber
  • Nasim Samimi Dehkordi
  • Joan Marce i Igual
  • Alireza Mohammadkhani
  • Hossein Elahi
  • Roohallah Azarmi
  • Amr Ibrahim
  • Paul Detterer
  • Ruben Jonk
  • Sajid Mohamed
  • Paul Brandt

Belangrijkste publicaties

  • van der Sanden, Y. Li, J. van den Aker, B. Akesson, T. Bijlsma, M. Hendriks, K. Triantafyllidis, J. Verriet, J. Voeten, T. Basten. Model-Driven System-Performance Engineering for Cyber-Physical Systems. In 2021 International Conference on Embedded Software Companion, EMSOFT’21, pages 11-22. ACM Press, New York, USA, 2021.
  • Hendriks, M. Geilen, K. Goossens, R. de Jong, T. Basten. Interface Modeling for Quality and Resource Management. Logical Methods in Computer Science, LMCS. 17(2), 19:1-19:34, 26 May 2021.
  • Basten, J. Bastos, R. Medina, B. van der Sanden, M.C.W. Geilen, D. Goswami, M.A. Reniers, S. Stuijk, J.P.M. Voeten. Scenarios in the Design of Flexible Manufacturing Systems. In System-Scenario-based Design Principles and Applications, pages 181-224. Springer Nature, Switzerland, 2020.
  • van Pinxten, M.C.W. Geilen, T. Basten. Parametric Scheduler Characterization. ACM TECS. 18(5s), Article 110, 2019.
  • Hendriks, H. Alizadeh Ara, M.C.W. Geilen, T. Basten, R. Guerra Marin, R. de Jong, S. van der Vlugt. Monotonic Optimization of Dataflow Buffer Sizes. Journal of Signal Processing Systems. 91(1):21-32, January 2019.
  • Hendriks, T. Basten, J. Verriet, M. Brassé, L. Somers. A Blueprint for System-Level Performance Modeling of Software-Intensive Embedded Systems. STTT. 18(1):21-40, 2016.
  • Shojaei, T. Basten, M.C.W. Geilen, A. Davoodi. A Fast and Scalable Multi-dimensional Multiple-choice Knapsack Heuristic. ACM Transactions on Design Automation of Electronic Systems, ToDAES. 18(4), Article 51, 32 pages, October 2013.

Eindhoven - High Tech Campus 25

High Tech Campus 25
5656 AE Eindhoven

Postadres

Postbus 6235
5600 HE Eindhoven