Jul 2025· Human Factors· Vol 68, pp. 1471 - 1499· 5 citations· ⚡ 1 influential· 105 references
Computer ScienceMedicine
Abstract
Objective This review systematically investigates the determination of sufficient time budgets in conditionally automated driving, focusing on the interplay between takeover time, allocated time budgets, and outcomes. Background Conditionally automated driving requires human drivers to resume vehicle control within limited time budgets when system limits are reached. However, the significant variability in drivers’ takeover time (the time needed to regain control) poses challenges in balancing time budgets to avoid being too short (compromising safety and comfort) or too long (reducing driver alertness). Prior work lacks systematic exploration of sufficient time budgets across scenarios and drivers. Method Following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) guidelines, 100 articles are selected for review. Review papers are analyzed to extract overarching insights on time budget design, while primary empirical studies are examined to complement and validate the findings. We systematically synthesize evidence along the takeover sequence, covering (i) drivers’ required takeover time, (ii) the time budgets provided by automated driving systems, and (iii) the resulting takeover outcomes. Based on the synthesis, we further discuss how the reviewed evidence informs the design of adaptive time budgets. Results This review synthesizes evidence on the takeover sequence and shows that takeover time varies significantly across drivers and driving contexts. Fixed time budgets cannot accommodate such variability. Adaptive time budgets that adjust to driver takeover demands are therefore promising. We propose an adaptive framework in which the time budget is defined as the sum of a predicted takeover time and an additional takeover buffer. To support this framework, the review identifies a qualitative inverted-U relationship among takeover time, time budget, and takeover outcomes: outcomes improve when the time budget exceeds the predicted takeover time, but deteriorate when the budget becomes unnecessarily long. Conclusion Structuring the takeover sequence clarifies trade-offs in time budget design. Adaptive approaches that estimate takeover time and allocate an appropriate takeover buffer to achieve targeted outcomes show promise yet warrant further investigation. Application Insights can optimize human-vehicle interactions for safe and comfortable takeovers, thus promoting public trust and acceptance of conditionally automated driving.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The perception of the impact of agile methods is predominantly positive, and several challenge areas were discovered, but based on this study, agile methods are here to stay.
M. Laanti, O. Salo, P. Abrahamsson· Information and Software Tec...· 260 citations· ⚡20
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Professor Paris Smaragdis develops computers with superhuman hearing for applications like speech recognition, music understanding, and environmental monitoring.
MIT News · Artificial Intelligence· news.mit.eduOct 23, 2026
During the School of Humanities, Arts, and Social Sciences’ 75th Anniversary Symposium, President Sally Kornbluth said “MIT has never needed your particular insight and guidance more than we do now.”
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.