Velero de competición capacitado para la regata alrededor del mundo “Volvo Ocean Race.”

TIPO DE BUQUE: Velero de competición capacitado para la regata alrededor del mundo “Volvo Ocean Race.” REGLAMENTOS: Reglas de la clase: Volvo Ocean 60 rule 2000 + changes CLASIFICACIÓN: ABS Guide for Building and Classing Offshore Racing Yachts 1994 incorporating Notice #1 DESPLAZAMIENTO MÁXIMO: 15000 KG CALADO MÁXIMO: 3.75 m ESLORA MÁXIMA: 23.5 m CONSTRUCCIÓN: Casco: Materiales compuestos. Mástil: materiales compuestos sin núcleo o aluminio. INSTALACIÓN ELÉCTRICA: 24V DC con un motor auxiliar y al menos dos alternadores independientes. SISTEMA DE PROPULSIÓN: Vela, aparejo tipo Sloop. Motor propulsivo de emergencia con hélice plegable de dos palas capaz de dar 7 nudos en condiciones de mar en calma ALOJAMIENTO: para 12 tripulantes REQUERIMIENTOS: Desaladora-potabilizadora, radar, GPS, GMDSS, comunicaciones por satélite Inmarsat B y C, sistema de gobierno de emergencia, calefacción, bombas de lastre, sistema de corrección de escora mediante tanques de lastre liquido.

Languages for safety-certification related propertis

The Safety Certification of Software-Intensive Systems with Reusable Components project, in short SafeCer (www.safecer.eu),is targeting increased efficiency and reduced time-to-market by composable safety certification of safety- relevant embedded systems. The industrial domains targeted are within automotive and construction equipment, avionics, and rail. Some of the companies involved are: Volvo Tech- nology, Thales, TTTech, and Intecs among others. SafeCer includes more than 30 partners in six different countries and has a budget of e25.7 millions. A primary objective is to provide support for system safety arguments based on arguments and properties of system components as well as to provide support for generation of corresponding evidence in a similar compositional way. By providing support for efficient reuse of certification and stronger links between certification and development, compo- nent reuse will be facilitated, and by providing support for reuse across domains the amount of components available for reuse will increase dramatically. The resulting efficiency and reduced time to market will, together with increased quality and reduced risk, increase competitiveness and pave the way for a cross-domain market for software components qualified for certification.