Restrictions at launch-time can ensure that specific types of AV stacks are launched and ensure the software release is launched only during certain times. Restrictions at runtime can ensure that certain operations are prohibited while the software release is running on the autonomous vehicle. Enforcing restrictions at launch-time and runtime is not trivial. A schema can be used to encode the restrictions. Restrictions may be included in a manifest of the software release. The manifest having the restrictions can be cryptographically signed. Components can be implemented to verify and enforce these restrictions on the AV. As a result, more kinds of restrictions and more complex restrictions can be applied for software releases for the AV.
RESTRICTIONS FOR AUTONOMOUS VEHICLE SOFTWARE RELEASES AT DEPLOYMENT, AT LAUNCH, AND AT RUNTIME
2024-05-23
Patent
Electronic Resource
English
Runtime verification for autonomous spacecraft software
Tema Archive | 2005
|Runtime Verification for Autonomous Spacecraft Software
British Library Conference Proceedings | 2005
|