Formal assessment of reliability specifications in embedded cyber-physical systems

DOI10.1016/J.JAL.2016.09.001MaRDI QIDQ334152zbMATH OpenOpenAlexFDO

Authors Aritra Hazra, Pallab Dasgupta, P. P. Chakrabarti

Publication date 31 October 2016

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2016.09.001

zbMATH Keywords

verificationformal methodstemporal logiccyber-physical systemsAND/OR graph searchfault-tolerant designfunctional reliability

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal reliability analysis of redundancy architectures
• scientific article; zbMATH DE number 2086557
• scientific article; zbMATH DE number 2017337
• scientific article; zbMATH DE number 1400096
• scientific article; zbMATH DE number 1696501

Cites work

• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• A theory of timed automata
• A time redundancy approach to TMR failures using fault-state likelihoods
• Bounded model checking using satisfiability solving
• Design and analysis of an optimal instruction-retry policy for TMR controller computers
• Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy
• Reliability of checkpointed real-time systems using time redundancy
• Selection of a checkpoint interval in a critical-task environment
• The Unmet Challenge of Timed Systems
• Time-budgeting: a component based development methodology for real-time embedded systems

Cited in

(2)

• scientific article; zbMATH DE number 2086557 (Why is no real title available?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Describes a project that uses

Uses Software

• POWER-TRUCTOR

This page was built for publication: Formal assessment of reliability specifications in embedded cyber-physical systems

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