A goal-oriented approach for safety requirements specification

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2006, Pages 319-326

  Navarro, Elena ^a   Sánchez, Pedro ^b   Letelier, Patricio ^c   Pastor, Juan A ^b   Ramos, Isidro ^c  

^a UCLM   (Spain)

^b UPCT   (Spain)

^c UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ROBOTIC SYSTEMS; SYSTEM ARCHITECTURE;

COMPUTER ARCHITECTURE; EXTRAPOLATION; INDUSTRIAL APPLICATIONS; REMOTE CONTROL; ROBOTICS; SPECIFICATIONS;

COMPUTER SYSTEM FIREWALLS;

EID: 33845214155     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2006.7     Document Type: Conference Paper

References (16)

1. ANSI/RIA R15.06-1999. American National Standard for Industrial Robots and Robot Systems, Safety Requirements. Robotic Industries Association, 1999.
2. B. P. Douglass, Real-Time Design Patterns. Robust Scalable Architecture for Real-Time Systems. Reading, Addison-Wesley. 2003.
3. EFTCoR, Requisites del Sistema. Anexo I: Resumen de Requisitos Funcionales de los sistemas robóticas. Subproyecto ANCLA, Abril 2004. http://dynamica.dsic.upv.es:8090/
4. EFTCOR: Environmental Friendly and cost-effective Technology for Coating Removal. (GROWTH O3RD-CT-00794) EU Project within the 5th Framework Program, 2003.
5. C. Fernández, J.A. Pastor, P. Sánchez, B. Álvarez, A. Iborra: "Co-operative Robots for Hull Blasting in European Ship repair Industry. Robotics and Automation Magazine (RAM)", special issue on Industrial Robotics Applications, September 2005.
6. E. Gamma, R. Helm, R. Johnson, J.Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison Wesley, 2003.
7. J. van Gurp, J. Bosch and M. Svahnberg "On the notion of variability in software product lines", Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA'01), 2001, pp 45-54.
8. K.M. Hansen, A.P. Ravn, V. Stavridou, "From Safety analysis to software requirements", IEEE Transactions on Software Engineering, 24 (7), Jul 1998, 573-584.
9. ISO/IEC Standard 9126-1 SE- Product Quality-Part1: Quality Model, ISO Co. Office, Geneva, June 2001.
10. S. Kelly, K. Lyytinen, M. Rossi: "METAEDIT+ A fully configurable Multi-User and Multi-tool CASE and CAME Environment". Proceedings of 8th International Conference on Advances Information System Engineering, LNCS1080, Springer-Verlag, 1996, 1-21.
11. A. van Lamsweerde and E. Letier, "Handling Obstacles in Goal-Oriented Requirements Engineering", IEEE Transactions on SE, Special Issue on Exception Handling, 26 (10), October 2000, 978-1005.
12. R. Lemos, A. T. Saeed, "Analyzing Safety Requirements for Process-Control Systems", IEEE Software, 12(3), 42-53, May 1995.
13. P. Letelier, E. Navarro, V. Anaya, "Customizing Traceability in a Software Development Process", 13th International Conference on Information System Development, Vilnius, Lithuania, September, 2004.
14. E. Letier and A. van Lamsweerde, "High Assurance Requires Goal Orientation", Proceedings of International Workshop on Requirements for High Assurance Systems, Essen, Septembre 2002.
15. N. Leveson. Safeware: System Safety & Computers, Addison-Wesley, 1995.
16. E. Navarro, P. Letelier, I. Ramos, "Goals and Quality Characteristics: Separating Concerns", Early Aspects 2004: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, Oct. 25, 2004, Vancouver.