Formal assessment of reliability specifications in embedded cyber-physical systems
DOI10.1016/J.JAL.2016.09.001zbMATH Open1436.68196OpenAlexW2517154444MaRDI QIDQ334152FDOQ334152
P. P. 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
Recommendations
verificationformal methodstemporal logiccyber-physical systemsAND/OR graph searchfault-tolerant designfunctional reliability
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)
Cites Work
- A theory of timed automata
- Bounded model checking using satisfiability solving
- Selection of a checkpoint interval in a critical-task environment
- Title not available (Why is that?)
- 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
- 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
Cited In (2)
Uses Software
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)
