102 citations · 166 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.AR2016
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems
Steve Kerrison, David May, Kerstin Eder
Multi-core, Mixed Criticality Embedded (MCE) real-time systems require high timing precision and predictability to guarantee there will be no interference between tasks. These guar…
cs.RO2016
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions
Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder
The software of robotic assistants needs to be verified, to ensure its safety and functional correctness. Testing in simulation allows a high degree of realism in the verification.…