Retrenchment, and the generation of fault trees for static, dynamic and cyclic systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4166 LNCS, Issue , 2006, Pages 127-141

  Banach, Richard ^a   Bozzano, Marco ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ERROR ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; FEEDBACK CONTROL;

CYCLIC SYSTEMS; ERROR PRONE AUTOMATED TECHNIQUES; FAULT TREES; RETRENCHMENT CONCESSIONS;

TREES (MATHEMATICS);

EID: 33751002351     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11875567_10     Document Type: Conference Paper

References (30)

1. Tewari. A. Modern Control Design With MATLAB and SIMULINK. Wiley, 2002.
2. A. Anand and A.K. Somani. Hierarchical Analysis of Fault Trees with Dependencies, using Decomposition. In Proc. Annual Reliability and Maintainability Symposium, pages 69-75, 1998.
3. R. Banach. Retrenchment and system properties. Submitted.
4. R. Banach and R. Cross. Safety requirements and fault trees using retrenchment. Proc. SAFECOMP-04, Springer, Heisel, Liggesmeyer, Wittmann (eds.), LNCS Volume 3219:210-223, 2004.
5. R. Banach and C. Jeske. Output retrenchments, defaults, stronger compositions, feature engineering. Submitted.
6. R. Banach and M. Poppleton. Engineering and theoretical underpinnings of retrenchment. Submitted.
7. R. Banach and M. Poppleton. Retrenchment: An engineering variation on refinement. B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, LNCS, 1393:129-147, 1998.
8. R. Banach and M. Poppleton. Retrenchment and punctured simulation. Proc. IFM-99, Springer, Araki, Gallway, Taguchi (eds.):457-476, 1999.
9. R. Banach and M. Poppleton. Sharp retrenchment, modulated refinement and punctured simulation. Form. Asp. Comp., 11:498-540, 1999.
10. R. Banach and M. Poppleton. Retrenching partial requirements into system definitions: A simple feature interaction case study. Requirements Engineering Journal, 8:266-288, 2003.
11. M. Bozzano, R. Bruttomesso, A. Cimatti, T. Junttila, P. van Rossum, S. Schulz, and R. Sebastiani. Mathsat: Tight Integration of SAT and Mathematical Decision Procedures. Journal of Automated Reasoning, Special Issue on SAT, 2006. To appear.
12. M. Bozzano, A. Cavallo, M. Cifaldi, L. Valacca, and A. Villafiorita. Improving safety assessment of complex systems: An industrial case study. International Symposium of Formal Methods Europe (FME 2003), Pisa, Italy, LNCS, 2805:208-222, September 2003.
13. M. Bozzano and A. Villafiorita. Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform. Computer Safety, Reliability, and Security, LNCS, 2788:49-62, 2003.
14. M. Bozzano and A. Villafiorita. Integrating fault tree analysis with event ordering information. Proc. ESREL 2003, pages 247-254, 2003.
15. M. Bozzano, A. Villafiorita, et al. ESCoudertACS: An integrated methodology for design and safety analysis of complex systems. Proc. ESREL 2003, pages 237-245, 2003.
16. R.E. Bryant. Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
17. O. Coudert and J.C. Madre. Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. In Proc. Design Automation Conference (DAC 1992), pages 36-39. IEEE Computer Society Press, 1992.
18. 20 Prime Implicants and Beyond. In Proc. Annual Reliability and Maintainability Symposium (RAMS 1993), 1993.
19. Y. Dutuit and A. Rauzy. A Linear-time algorithm to find modules in fault trees. IEEE Transactions on Reliability, 45(3):422-425, 1996.
20. The FSAP/NuSMV-SA platform, http://sra.itc.it/tools/FSAP.
21. Nuruzzaman. M. Modeling And Simulation In SIMULINK For Engineers And Scientists. Authorhouse, 2005.
22. R. Manian, J.B. Dugan, D. Coppit, and K.J. Sullivan. Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. In Proc. High-Assurance Systems Engineering Symposium (HASE 1998), pages 21-28. IEEE, 1998.
23. MathSAT. http://mathsat.itc.it.
24. Y. Papadopoulos. Safety-directed system monitoring using safety cases. PhD thesis, Department of Computer Science, University of York, 2000. Tech. Rep. YCST-2000-08.
25. Y. Papadopoulos and M. Maruhn. Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. In Proc. Conference on Dependable Systems and Networks (DSN2001), pages 77-82, 2001.
26. Y. Papadopoulos, J. McDermid, R. Sasse, and G. Heiner. Analysis and Synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety, 71(3):229-247, 2001.
27. A. Rauzy. New Algorithms for Fault Trees Analysis. Reliability Engineering and System Safety, 40(3):203-211, 1993.
28. A. Rauzy and Y. Dutuit. Exact and Truncated Computations of Prime Implicants of Coherent and Non-Coherent Fault Trees within Aralia. Reliability Engineering and System Safety, 58(2):127-144, 1997.
29. K.J. Sullivan, J.B. Dugan, and D. Coppit. The Galileo Fault Tree Analysis Tool. In Proc. Symposium on Fault-Tolerant Computing (FTCS 1999), pages 232-235. IEEE, 1999.
30. W.E. Vesely, F.F. Goldberg, N.H. Roberts, and D.F. Haasl. Fault tree handbook. Technical Report NUREG-0492, Systems and Reliability Research Office of Nuclear Regulatory Research U.S. Nuclear Regulatory Commission, 1981.