《航天任务自主性需求工程》[爱尔兰] Emil，Vassev，[爱尔兰] Mike，Hinehey 著，崔晓峰译国防工业出版社

内容简介：

　　高级的空间探测是通过无人任务完成的，其飞行器和地面系统中均集成了自主性。，支持在可能的情况下使用无人飞行器以及自动化和机器人技术的主要因素，是风险和可行性。空间自主性帮助增加从任务中获得的科学数据数量，执行新的科学实验以及降低任务成本。
　　自主性需求的导出和表达，是当前自主性飞行器工程需要克服的重要挑战之一。
　　《航天任务自主性需求工程》讨论了自主性需求工程（ARE）方法，目的是帮助软件工程师正确导出、表达、验证以及确认自主性需求。而且，《航天任务自主性需求工程》给出了一个用于航空航天的新的综合软件工程方法，说明了ARE解决的问题，并使用一个ESA的Bepiolomb。任务的概念证明案例，演示了ARE处理自主性需求的能力。

目录：