2026-04-18T03:33:55Zhttps://recercat.cat/oai/request

oai:recercat.cat:2117/275202026-02-09T08:48:49Zcom_2072_1033col_2072_452950

Timing verification of fault-tolerant chips for safety-critical applications in harsh environments Slijepcevic, Mladen Kosmidis, Leonidas Abella Ferrer, Jaume Quiñones, Eduardo Cazorla, Francisco J. Àrees temàtiques de la UPC::Informàtica Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors::Arquitectures paral·leles Fault-tolerant computing Embedded computer systems Systems Caches Embedded systems Fault tolerant computing Formal verification Parallel processing Program diagnostics Safety-critical software Tolerància als errors (Informàtica) Sistemes incrustats (Informàtica) Critical real-time embedded systems feature complex safety-related, performance-demanding functionality. High-performance hardware and software can provide such functionality, but the use of aggressive technologies and architectures challenges time predictability and reliability. The authors propose a new approach to obtain trustworthy worst-case execution time estimates for safety-critical applications running on high-performance faulty hardware by using both timing-analysis techniques and minor hardware modifications. Peer Reviewed Postprint (published version) 2014-11-01 Article http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6853246 http://creativecommons.org/licenses/by-nc-nd/3.0/es/ Restricted access - publisher's policy Attribution-NonCommercial-NoDerivs 3.0 Spain