Benny Akesson

POSITION: PROFESSOR | DESIGN METHODOLOGIES FOR CYBER-PHYSICAL SYSTEMS
TNO UNIT: ICT / ESI
UNIVERSITY: UNIVERSITY OF AMSTERDAM, FACULTY OF SCIENCE
 
TNO LOCATION: EINDHOVEN
EMAIL: BENNY.AKESSON@TNO.NL
TEL: +31888665420

RESEARCH AREA

Cyber-physical systems across application domains are getting increasingly complex, driven by five technological and market trends: 1) all current design parameters, e.g. number of interfaces, are increasing by an order of magnitude, 2) increased customization of systems at design time, 3) continuous evolution of systems after deployment, 4) increased system autonomy, and 5) integration into distributed systems-of-systems. The consequences of increasing complexity are visible in daily practice in which Dutch industry struggles to efficiently develop correct and well-performing cyber-physical systems.

In line with TNOs goal to increase competitiveness of Dutch industry, my research aims to address increasing complexity through new model-based design methodologies. These are methodologies in which abstraction, provided by models used for specification, communication, analysis, simulation, or synthesis, play an essential role in reducing development time and overall system cost. A key part of this research is to investigate how models can be used to automatically generate parts of complex systems that are guaranteed to provide the specified functionality at exactly the right time. For example, to ensure that an airbag immediately inflates correctly in the event of a car crash, which requires both correct and timely interactions between hardware and software.

RECENT RESULTS

Much of my recent research advances the state-of-the-art in design of mixed-criticality real-time systems, e.g. in the avionics domain, where applications with different safety requirements share resources, such as processors, memories, and caches.

My work contributes mapping and scheduling techniques, along with automatic resource budgeting methods that reduce development time, and schedulability analyses that allows timing requirements of tasks to be analytically verified. These techniques promote efficient resource usage by considering and managing variations in supply and demand of resources during execution, e.g. in response to a mode-switch in an executing task, or the system as a whole. This may reduce the cost of the platform required to schedule a given task set, or allow more tasks to be scheduled on a given platform. Enforcing resource budgets furthermore promotes safety by temporally isolating accesses from different applications, which may reduce the time and cost of safety certification.

PHD SUPERVISION

  • No current PhD students

TOP PUBLICATIONS

  • Akesson, J. Hooman, J. Sleuters, et al., “Reducing Design Time and Promoting Evolvability using Domain-specific Languages in an Industrial Context”, Chapter Model Management and Analytics for Large Scale Systems, 2019
  • A. Awan, P. Souto, B. Akesson, et al., “Uneven Memory Regulation for Scheduling IMA Applications on Multi-core Platforms”, Journal Real-Time Systems, Volume 55, Number 2, 2019
  • Minaeva, B. Akesson, Z. Hanzalek , et al., ” Time-Triggered Co-Scheduling of Computation and Communication with Jitter Requirements”, Journal IEEE Transactions on Computers, Volume 67, Number 1, 2018

LINKS

FOLLOW TNO ON SOCIAL MEDIA

Stay up to date with our latest news, activities and vacancies

TNO.nl collects and processes data in accordance with the applicable privacy regulations for an optimal user experience and marketing practices.
This data can easily be removed from your temporary profile page at any time.
You can also view our privacy statement or cookie statement.