嵌入式系统设计中的两个挑战：可预测性和鲁棒性。
Two challenges in embedded systems design: predictability and robustness.
作者信息
Henzinger Thomas A
机构信息
Ecole Polytechnique Fédérale de Lausanne, Station 14, Lausanne, Switzerland.
出版信息
Philos Trans A Math Phys Eng Sci. 2008 Oct 28;366(1881):3727-36. doi: 10.1098/rsta.2008.0141.
PMID:18672451
Abstract
I discuss two main challenges in embedded systems design: the challenge to build predictable systems, and that to build robust systems. I suggest how predictability can be formalized as a form of determinism, and robustness as a form of continuity.
摘要
我讨论了嵌入式系统设计中的两个主要挑战
构建可预测系统的挑战和构建健壮系统的挑战。我提出了如何将可预测性形式化为一种确定性形式，以及将健壮性形式化为一种连续性形式。
相似文献
1
Two challenges in embedded systems design: predictability and robustness.
Philos Trans A Math Phys Eng Sci. 2008 Oct 28;366(1881):3727-36. doi: 10.1098/rsta.2008.0141.
2
A front-end automation tool supporting design, verification and reuse of SOC.
J Zhejiang Univ Sci. 2004 Sep;5(9):1102-5. doi: 10.1631/jzus.2004.1102.
3
Portable analysis tools help solve networking problems.
Biomed Instrum Technol. 2006;Suppl:27-9.
4
Single-chip pulse programmer for magnetic resonance imaging using a 32-bit microcontroller.
Rev Sci Instrum. 2007 Aug;78(8):084705. doi: 10.1063/1.2773636.
5
6
[Architecture of a software system for telemonitoring].
Biomed Tech (Berl). 2002;47 Suppl 1 Pt 1:328-9.
7
[The design and realization of Web-view PACS browser].
Zhongguo Yi Liao Qi Xie Za Zhi. 2006 May;30(3):194-5, 205.
8
Analysis software can put surgical precision into medical device design.
Med Device Technol. 2005 Nov;16(9):24-6.
9
Development of a universal serial bus interface circuit for ion beam current integrators.
Rev Sci Instrum. 2007 Aug;78(8):086113. doi: 10.1063/1.2768937.
10
Remotely-pumped network-embedded self-tuning transmitter for 80-Gb/s conventional hybrid TDM/WDM PON with 256-split.
Opt Express. 2013 Feb 25;21(4):4376-81. doi: 10.1364/OE.21.004376.
引用本文的文献
1
Quantitative reactive modeling and verification.
Comput Sci (Berl). 2013;28(4):331-344. doi: 10.1007/s00450-013-0251-7. Epub 2013 Oct 5.
Zotero 插件