Elicitation and specification of safety requirements

3rd International Conference on Systems, ICONS 2008

Volumn , Issue , 2008, Pages 202-207

  Troubitsyna, Elena ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; FAULT TREE ANALYSIS; RELIABILITY; SAFETY FACTOR; SECURITY SYSTEMS; SPECIFICATIONS; SYSTEMS ENGINEERING;

FAULT TREE ANALYSIS (FTA); INTERNATIONAL CONFERENCES; STATECHARTS;

FAILURE ANALYSIS;

EID: 50649109794     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICONS.2008.56     Document Type: Conference Paper

References (18)

1. J.-R. Abrial. The B-Book. Cambridge University Press, 1996.
2. T. Anderson and P.A. Lee. Fault Tolerance: Principles and Practice. Dependable Computing and Fault Tolerant Systems, Vol 3. Springer Verlag; 1990.
3. FillwellTM 2002-Feature guide. Via http:/lifesciences.perkinelmer. com/.
4. th January 2004.
5. K.M Hansen, A. P. Ravn. and V. Stavridou. From Safety Analysis to Software Requirements. In IEEE Transactions on Software Engineering, Vol. 24, No. 7, July, 1998.
6. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
7. L. Laibinis, E. Troubitsyna. Refining fault tolerant control systems in B. In Proc. of SAFECOMP'2004. Potsdam, Germany, LNCS, Springer-Verlag.
8. L. Laibinis, E. Troubitsyna. Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. In Proc. of SEFM'2004. IEEE Computer Press. Beijing, China.
9. J.-C. Laprie. Dependability: Basic Concepts and Terminology. Springer-Verlag, Vienna, 1991.
10. N.G. Leveson. Safeware: System Safety and Computers, Addison-Wesley, 1995.
11. th International Symposium on Software Reliability Engineering. Boca Raton, Fl, November 1999.
12. MATISSE Handbook for Correct Systems Construction. EU-project MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering, IST-1999-11345, 2003. http://www.esil.univmrs.fr/̃spc/ matisse/Handbook!.
13. nd International B Conference. Lecture Notes in Computer Science 1393, pp. 182-197, Montpellier, France, 1998.
14. K. Sere and E. Troubitsyna. Safety Analysis in Formal Specification. In J. Wing, J. Woodcock, and J. Davies (Eds.), FM'99. Proc. of World Congress on Formal Methods in the Development of Computing Systems, LNCS 1709, pp. 1564-1583, Toulouse, France, 1999.
15. C. Snook and M. Butler. U2B - UML to B translation tool and Manual V4.4 available at http://www.ecs.soton.ac.uk/̃cfs/U2Bdownloads/U2Bdownloads.htm.
16. Steria, Aix-en-Provence, France. Atelier B, User and Reference Manuals, 2001. Available at http://www.atelierb.societe.com/index uk.html.
17. N. Storey. Safety-critical computer systems. Addison-Wesley, 1996.
18. E. Troubitsyna. Integrating Safety Analysis into Formal Specification of Dependable Systems. In Proc. of Annual IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems. Nice, France, April 2003.