Building SWIFI Tools from Temporal Logic Specifications

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2003, Pages 95-104

  Rodríguez, Manuel ^a   Fabre, Jean Charles ^a   Arlat, Jean ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; FORMAL LOGIC; INTERFACES (COMPUTER); REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING; TRIGGER CIRCUITS; VIRTUAL REALITY;

TEMPORAL LOGIC; VIRTUAL MACHINES;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 1542360016     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. S. Dawson, F. Jahanian, T. Mitton and T.-L. Tung, "Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault Injection", in Proc. 26th IEEE Int. Symp.on Fault-Tolerant Computing (FTCS-26), Sendai, Japan, pp. 404-414, 1996.
2. E. Marsden, J.-C. Fahre and J. Arlat, "Dependability of CORBA Systems: Service Characterization by Fault Injection", in Proc. 21st Int. Symp. on Reliable Distributed Systems (SRDS 2002), Osaka, Japan, pp. 276-285, 2002.
3. P. J. Koopman and S. DeVale, "Comparing the Robustness of POSIX Operating Systems", in Proc. 29th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-29), Madison, WI (USA), pp. 30-37, 1999.
4. J.-C. Fabre, F. Salles, M. Rodríguez and J. Arlat, "Assessment of COTS Microkernels by Fault Injection", in Proc. 7th IFIP"Working Conf. on Dependable Computing for Critical Applications (DCCA-7), San Jose, CA (USA), pp. 25-44, 1999.
5. K. Kanoun, H. Madeira and J. Arlat, "A Framework for Dependability Benchmarking", in Proc. Supplemental Volume of the 2002 Int. Conf. on Dependable Systems and Networks (DSN 2002) - Workshop on Dependability Benchmarking, Washington, DC (USA), pp. F.7-F.8, 2002 (see also http://www.laas.fr/DBench).
6. F. Salles, M. Rodríguez, J.-C. Fabre and J. Arlat, "Metakernels and Fault Containment Wrappers", in Proc. 29th IEEE Int. Symp. on Fault-Tolerant Computing Systems (FTCS-29), Madison, WI (USA), pp. 22-29, 1999.
7. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins and D. Powell, "Fault Injection for Dependability Validation: A Methodology and Some Applications", IEEE Transactions on Software Engineering, vol. 16, no. 2, pp. 166-182, 1990.
8. M. Cukier, R. Chandra, D. Henke, J. Pistole and W. H. Sanders, "Fault Injection based on a Partial View of the Global State of a Distributed System", in Proc. 18th Symp. on Reliable Distributed Systems (SRDS'99), Lausanne, Switzerland, pp. 168-177, 1999.
9. E. Martins and A. C. A. Rosa, "A Fault Injection Approach Based on Reflective Programming", in Proc. Int. Conf. on Dependable Systems and Networks (DSN 2000), New York, NY (USA), pp. 407-416, 2000.
10. E. Jenn, J. Arlat, M. Rimén, J. Ohlsson and J. Karlsson, "Fault Injection into VHDL Models: The MEFISTO Tool", in Proc. 24th Int. Symp. on Fault-Tolerant Computing (FTCS-24), Austin, TX (USA), pp. 66-75, 1994.
11. M. Rodríguez, A. Albinet and J. Arlat, "MAFALDA-RT: A Tool for Dependability Assessment of Real-Time Systems", in Proc. IEEE Int. Conf. on Dependable Systems and Networks (DSN 2002), Washington, DC (USA), pp. 267-272, 2002.
12. M. Rodríguez, J.-C. Fahre and J. Arlat, "Wrapping Real-time Systems from Temporal Logic Specifications", in Proc. 4th European Dependable Computing Conference (EDCC-4), Toulouse, France, pp. 253-270, 2002.
13. B. C. Moszkowski, Executing Temporal Logic Programs, Cambrige University Press, 1987.
14. L. Sha, R. Rajkumar and J. P. Lehoczky, "Priority Inheritance Protocols: An Approach to Real-Time Synchronization", IEEE Transactions on Computers, vol. 39, no. 9, pp. 1175-1185, 1990.
15. M. Rodríguez, Wrapping technology for the dependability of real-time systems, PhD Dissertation, Institut National Politechnique, Toulouse, France, July 2002 (in French).
16. M. Rodríguez, J.-C. Fabre and J. Arlat, "Formal Specification for Building Robust Real-time Microkernels", in Proc. 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida (USA), pp. 119-128, 2000.