古·T·约翰;朱迪思·利伯曼;马，塞德里克;本杰明·霍洛维茨;阿尔贝托Sangiovanni-Vincentelli;Shankar Sastry公司 基于平台的多车辆多模态系统嵌入式软件设计。 （英语） Zbl 1027.68857号 Sangiovanni-Vincentelli，Alberto（编辑）等人，《嵌入式软件》。第二届国际会议，EMSOFT 2002，法国格勒诺布尔，2002年10月7日至9日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2491, 32-45 (2002). 摘要：在本文中，我们提出了一种多车辆多模态系统嵌入式控制器的设计方法。我们的方法基于基于平台的设计原则，该原则使用抽象层将应用程序与低级系统细节隔离开来，同时提供关于较低抽象层的重要参数的足够信息，以模块化系统设计并提供可预测的系统性能。我们方法中的一个基本抽象层是编程语言Giotto提供的软件平台，它允许基于时间的控制器应用程序的干净实现。我们的方法包括一个硬件在机仿真框架，在该框架中，可以用实际实现来替换系统组件以进行高保真仿真。为了证明我们的设计方法的有效性，提出了一种基于直升机的无人飞行器系统。我们给出了仿真结果，验证了嵌入式控制系统实现的质量。关于整个系列，请参见[Zbl 1012.68861号]. 引用于1文件 MSC公司： 68单位99 计算方法和应用 68N99型 软件理论 90B20型 运筹学中的交通问题 93C40型 自适应控制/观测系统 93C83号 涉及计算机的控制/观察系统（过程控制等） 软件：税收 PDF格式BibTeX公司 XML格式引用 \文本{T.J.Koo}等人，Lect。票据计算。科学。2491、32-45（2002年；Zbl 1027.68857） 全文： 链接