Use of Modern Processors in Safety-Critical Applications

DOI10.1093/COMJNL/44.6.531MaRDI QIDQ4551643zbMATH OpenOpenAlexFDO

Authors I. Bate, Philippa Conmy, Tim Kelly, John A. McDermid

Publication date 28 August 2002

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/44.6.531

zbMATH Keywords

safety-critical domainsuperscalar processors

Mathematics Subject Classification ID

Computer system organization (68M99) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Design and verification of microprocessor systems for high-assurance applications
• scientific article; zbMATH DE number 49160

Cited in

(3)

• scientific article; zbMATH DE number 1952056 (Why is no real title available?)
• scientific article; zbMATH DE number 2033519 (Why is no real title available?)
• Runtime verification of embedded real-time systems

This page was built for publication: Use of Modern Processors in Safety-Critical Applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4551643)