arrow
返回

Two challenges in embedded systems design: predictability and robustness

delete2008-07-31
delete34
delete
OA
AI
T
Thomas A. Henzinger *
DOI:10.1098/rsta.2008.0141delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
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.
Keyword:
embedded software
reliable systems
design principles
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

P
Philosophical Transactions of the Royal Society A-Mathematical Physical and Engineering Sciences
IF:
3.7
论文数:
7.7K
被引数:
2.8W

机构

S
swiss federal institutes of technology domain
学者数:
9.0W
论文数: 8.0W
被引数: 163
引用论文

引用论文

err分享
err收藏
Mixture diffusion in zeolites studied by MAS PFG NMR and molecular simulation
err2007-09-01
err0
PREAI
errMoises Fernandez; Jörg Kärger; Dieter Freude; André Pampel; J.M. van Baten; R. Krishna
err分享
err收藏
A clear urban–rural gradient of allergic rhinitis in a population-based study in Northern Europe
err2016-11-28
err0
errOAAI
errStine Holmegaard Christensen; Signe Timm; Christer Janson; Bryndis Benediktsdóttir; Bertil Forsberg; Mathias Holm; Rain Jogi; Ane Johannessen; Ernst Omenaas; Torben Sigsgaard; Cecilie Svanes; Vivi Schlünssen
err分享
err收藏
Giotto: A time-triggered language for embedded programming
err2003-01-01
err190
PREAI
errHenzinger, TA; Horowitz, B; Kirsch, CM
err分享
err收藏