Formal assessment of reliability specifications in embedded cyber-physical systems

DOI10.1016/j.jal.2016.09.001zbMath1436.68196OpenAlexW2517154444MaRDI QIDQ334152

Partha Pratim Chakrabarti, Pallab Dasgupta, Aritra Hazra

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) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Uses Software

• POWER-TRUCTOR

Cites Work

• Unnamed Item
• Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy
• Time-budgeting: a component based development methodology for real-time embedded systems
• A theory of timed automata
• Selection of a checkpoint interval in a critical-task environment
• Reliability of checkpointed real-time systems using time redundancy
• Design and analysis of an optimal instruction-retry policy for TMR controller computers
• A time redundancy approach to TMR failures using fault-state likelihoods
• The Unmet Challenge of Timed Systems
• Bounded model checking using satisfiability solving

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