Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Jonah Caplan"'
Publikováno v:
IEEE Transactions on Computers. 67:582-588
Embedded systems in several domains such as avionics and automotive are subject to inspection from certification authorities. These authorities are interested in verifying the safety-critical aspects of a system and, typically, do not certify non-cri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab8ce85bf9d5c304d48260ec00f995e3
https://doi.org/10.1109/tc.2017.2762293
https://doi.org/10.1109/tc.2017.2762293
Publikováno v:
ACM Transactions on Embedded Computing Systems. 16:1-20
An emerging trend in safety-critical computer system design is the use of compression—for example, using cyclic redundancy check (CRC) or Fletcher checksum (FC)—to reduce the state that must be compared to verify correct redundant execution. We e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b658835e19e56bf54a29c1cdddcf4f38
https://doi.org/10.1145/3063312
https://doi.org/10.1145/3063312
Publikováno v:
DATE
Mixed-criticality systems (MCS) integrate components from different levels of criticality onto the same platform. MCS, like all other electronic systems, are susceptible to transient faults. These systems must mitigate the effects of faults and provi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::095ed5f81983f41be30c51fc28354469
https://doi.org/10.3850/9783981537079_0312
https://doi.org/10.3850/9783981537079_0312
Publikováno v:
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f2b97a8ba3576aefb2b9f92445fa0d2
https://doi.org/10.7873/date.2014.106
https://doi.org/10.7873/date.2014.106
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c663e2f12d3a3cc6b99a0bc8eb79be53
https://doi.org/10.4271/2013-01-2287
https://doi.org/10.4271/2013-01-2287