托马斯·亨辛格（Thomas A.Henzinger）。 嵌入式软件：更好的模型，更好的代码。 （英语） 兹比尔1094.68541 Cortadella，Jordi（编辑）等人，《Petri网的应用和理论》，2004年。2004年6月21日至25日，第25届国际会议，意大利博洛尼亚ICATPN 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22236-7/pbk）。计算机科学课堂讲稿3099，35-36（2004）。 摘要：嵌入式软件越来越多地部署在安全关键型应用中，从医疗植入到驱动线技术。这需要严格的设计和验证方法。嵌入式软件和传统软件之间的主要区别在于，在嵌入式情况下，非功能方面，如物理过程的反应性、资源使用和定时，是软件正确行为不可或缺的组成部分。然而，传统的软件描述机制（包括规范、建模和编程语言）很少涉及这些非功能方面；事实上，从图灵机到软件线程，在顺序和并发计算模型中对实时和其他物理约束的系统抽象，一直是计算机科学中的伟大成功案例之一。相反，对于嵌入式软件的原则性设计，我们必须重新组合计算和物理性。关于整个系列，请参见[Zbl 1052.68002号]. MSC公司： 68N99型 软件理论 软件：乔托 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}，莱克特。注释计算。科学。3099、35-36（2004年；Zbl 1094.68541） 全文： 内政部