Abstract— This paper addresses a novel approach to the nvehicle collision avoidance problem. The vehicle model used is a planar unicycle, chosen for its wide applicability to gro...
Since wireless ad-hoc networks use shared communication medium, accesses to the medium must be coordinated to avoid packet collisions. Transmission scheduling algorithms allocate ...
Modern operating systems frequently support applications with a variety of timing constraints including hard real-time, soft real-time, and best-effort. To guarantee performance, ...
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...