无人值守设备首先要考虑的是供电,可以使用核电池,但价格昂贵。
如果设备对温度有要求,还要有自加热系统。
通信线路不可以只有一条,还可以考虑加中继线路。
需要有两台一样的计算机系统,一台处于休眠,如果另一台坏掉要随时受命接管系统。
系统使用微内核,各个模块要相互隔离
避免递归调用,循环要确保有终止点,比如超时退出。
所有的内存都使用静态分配。
使用讯息传递(message passing)来作为子系统间通讯的方式。
不存在互斥,不存在软件事务性内存。
避免访问另一模块的内存。
对运行中的系统可以随时进行升级和改造。