Middleware-Based Distributed CTCS-3 Simulation Platform
A real-time navigation architecture for automated vehicles in urban environments
Towards safety critical middleware for avionics applications
Industry 4.0 : A reference model for a digital twin of a collaborative manufacturing cell
A Toolset to Address Variability in Mobile Robotics
Design and formal verification of membership middleware for dependable automotive network systems
Partitioning communications system for safe and secure distributed systems
Multicore enablement for automotive cyber physical systems
Flight Software Development, Migration, and Testing in Desktop and Embedded Environments
Increasing UAV capabilities through autopilot and flight plan abstraction
Middleware as a mission enabler for Mars exploration
Communication paradigms for high-integrity distributed systems with hard real-time requirements
New spacecraft software development paradigm enabled by high-performance commercial processors