The paper 'Design Space Exploration for Distributed Cyber-Physical Systems: State-of-the-art, Challenges, and Directions' was accepted for Euromicro DSD 2022.
A comprehensive survey of industry practice in real-time systems
The paper 'A Comprehensive Survey of Industry Practice in Real-Time Systems' was accepted for the Real-Time Systems journal.
Synthetic Portnet Generator
The paper 'Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking' was accepted at the Int. Workshop on Petri Nets and Software Engineering (PNSE), 2021.
Benny Akesson appeared on TV (RTL Z) in an episode of 'Nederland Maakt Het'
The University of Amsterdam (PCS group) has joined the partner board of TNO-ESI.
The paper 'PReGO: a Generative Methodology for Satisfying Real-Time Requirements on COTS-based Systems – Definition and Experience Report' was accepted for CPCE 2020.
The paper 'An Empirical Survey-based Study into Industry Practice in Real-time Systems' was accepted for RTSS 2020.
The paper 'Response Time Analysis of Multiframe Mixed-Criticality Systems with Arbitrary Deadlines' was accepted for the Real-Time Systems journal (Springer).
The paper 'Control Performance Optimization for Application Integration on Automotive Architectures' was accepted for IEEE Transactions on Computers.
An empirical survey-based study into industry practice in real-time systems
PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report
Response time analysis of multiframe mixed-criticality systems with arbitrary deadlines
Response time analysis of multiframe mixed-criticality systems
Techniques and analysis for mixed-criticality scheduling with mode-dependent server execution budgets
The paper 'Response Time Analysis of Multiframe Mixed-Criticality Systems' was accepted for RTNS 2019
Towards Continuous Evolution through Automatic Detection and Correction of Service Incompatibilities