Build against an explicit contract
An embedded Linux device must run and update a map client under constrained storage, intermittent connectivity, and supervised process recovery.
Define the user and system contract
An embedded Linux device must run and update a map client under constrained storage, intermittent connectivity, and supervised process recovery. Record the region, data freshness, latency budget, privacy purpose, credential owner, and fallback before choosing an SDK or endpoint.
Pin the compatibility matrix
Record CPU/GPU, OS image, runtime build, map-data epoch, region, license, storage, and cryptographic requirements as one release manifest.
// Illustrative lifecycle: concrete symbols vary by licensed SDK edition.
NavigationRuntime runtime(configuration);
runtime.installDataPackage(verifiedPackagePath);
runtime.setPositionProvider(vehiclePositionProvider);
auto route = runtime.plan(origin, destination, vehicleProfile);
if (route.ok()) {
runtime.startGuidance(route.value());
}
// Keep sensor callbacks non-blocking; persist the resumable session safely.
runtime.onProgress([](const GuidanceProgress& progress) {
tripStore.checkpoint(progress);
});Supervise runtime health
Run with bounded resources, expose liveness/readiness, persist only necessary state, isolate writable data, and restart without corrupting the active package.
Use dual-slot updates
Download into an inactive slot, verify signature/structure, smoke test, switch atomically, health-gate the boot, and retain the prior slot for rollback.
Prove the production behavior
Automate the happy path and every named failure. The release is ready only when cold boot works without network; power loss never removes the active package; health failure automatically restores the prior slot. Capture provider request identity without logging credentials or unnecessary precise location.
Failure modes you must exercise
Fail fast with a typed, user-safe outcome and preserve the original request identity.
Keep the last verified state, mark freshness honestly, and retry only within the documented idempotency boundary.
Reconcile durable local and provider evidence before declaring success or issuing a compensating command.
Timeout after a stateful command is an unknown outcome. Query by provider/idempotency identity or wait for authoritative events; do not blindly retry a new command.
Definition of done
Linux production checks
Continue from source, contracts, and a full app
These links resolve to repository-derived evidence; unsupported package names and endpoints are not filled in from guesswork.
10 verified testsRun it, break it, then observe it
Start with fixture credentials, execute the failure plan, and use request logs, usage, webhook evidence, and operational metrics before promoting traffic.