Reliable Software Technologies – Ada-Europe 2006

Tele–operated service robots are used for extending human capabilities in hazardous and/or inaccessible environments. Their use is undergoing an exponential increase in our society, reason why it is of vital importance that their design, installation and operation follow the strictest possible process, so that the risk of accident could be minimised. However, there is no such process or methodology that guides the full process from identification, evaluation, proposal of solutions and reuse of safety requirements, although a hard work is being done, specially by the standardisation committees. It’s also very difficult to even find in the literature examples of safety requirements identification and use. This paper presents the engineering process we have followed to obtain the safety requirements in one of the robots of the EFTCoR1 project and the way this requirements have affected the architecture of the system, with a practical example: a crane robot for ship hull blasting.Financiado parcialmente por los programas programs CICYT, ANCLA (TIC2003-07804-C05-02), y parte de DYNAMICA (DYNamic and Aspect-Oriented Modeling for Integrated Component-based Architectures