Descripción del proyecto Service and Software Architectures, Infrastructures and EngineeringThis project will develop software engineering approaches to improve reliability in future service-oriented networks.In order to improve reliability and functionality in Pervasive and Trusted Network and Service Infrastructures, PROTEST will develop software engineering approaches based on specified properties of the system which will support fault-finding and diagnosis. This will be achieved by building automated tools that will generate and run tests, observe and control execution during runtime and register occurrences for analysis. Testing in Service-oriented Networks Volumes of automated tests and logging code are written which use properties as objects for testing software. Such property-based testing will both reduce costs which will deliver economic benefits to the European software industry and improve effectiveness. It is a powerful new mechanism that will assure that a given programme is free of specific generic flaws. In case properties fail, the tools will search for simplest failing cases and analyse trace and coverage information to assist speedy diagnosis. In order to face a major challenge of concurrency, model-checking will be integrated into the tools. Today, specialists and researchers are not used to formulating general properties, which is why PROTEST will investigate possibilities of deriving them from two different sources: * Unified Modeling Language (UML) models, or UML-like models. * By refactoring existing test suites. Making an impact by combining different skills of different actorsThe combination of skills coming from universities, SMEs and larger industrial enterprises will optimise the chances of delivering results. * Academics will bring expertise in refactoring, model-checking and testing. They thereby act as real tool vendors. * Industrial expertise will be needed in telecoms in order to bring insights into what practical tools are required, what properties will need to be checked and strategies to maximise industrial impact. The initial implementation vehicle will be Erlang/OTP (Open Telecom Platform) developed by Ericsson in the early nineties. It is an open-source concurrent functional language aimed at telecoms and internet services and represents a common instrument for our research that simplifies the transfer of theory into industrial practice. Because of its good interoperability, robustness and reliability, Erlang enables PROTEST's tools to detect faults in various systems. The results of PROTEST will improve the tool vendor's products. Thus, they will be adopted by partners such as Ericsson and Lambda-stream and disseminated by ETC to their customers throughout the European telecoms sector. This three-pronged strategy will guarantee real impact. Mostrar el objetivo del proyecto Ocultar el objetivo del proyecto This project will develop software engineering approaches to improve reliability in Pervasive and Trusted Network and Service Infrastructures (ICT-2007.1.2). This is achieved today by extensive testing, combined with monitoring and logging in the field. Volumes of automated tests and logging code are written, failures must be analysed and diagnosed--and this accounts typically for half the cost of software. Even so, residual errors impose high costs on users.We aim to automate much fault-finding and diagnosis, reducing its cost and improving effectiveness, based on properties of the system (specified by developers) which should always hold. Automated tools will generate and run tests, monitor execution at run-time, and log events for post-mortem analysis. When properties fail, the tools will search for simplest failing cases, and analyse trace and coverage information, to assist speedy diagnosis. Concurrency is a major challenge, which will be addressed in part by integrating model-checking into our tools.Today's developers are not used to formulating general properties, so we will investigate ways of deriving them from two sources: UML (or UML-like) models, and by refactoring existing test suites.We combine academic expertise in refactoring, model-checking and testing; a tool vendor; and industrial expertise in telecoms. Three partners are SMEs, Ericsson is a leading telecoms supplier. All use Erlang, an open-source concurrent functional language aimed at telecoms and internet servers, which will be a common vehicle for our research--easing the transfer of theory into industrial practice. Erlang's good interoperability will enable our tools to find faults in all kinds of systems.Our results will improve our tool vendor's products, be adopted by our partners within Ericsson and Lambda-stream, and be disseminated by ETC to their customers throughout Europe's telecoms sector. This three-pronged strategy will guarantee real impact. Ámbito científico natural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencesinternet Programa(s) FP7-ICT - Specific Programme "Cooperation": Information and communication technologies Tema(s) ICT-2007.1.2 - Service and software architectures, infrastructures and engineering Convocatoria de propuestas FP7-ICT-2007-1 Consulte otros proyectos de esta convocatoria Régimen de financiación CP - Collaborative project (generic) Coordinador THE UNIVERSITY OF SHEFFIELD Aportación de la UE € 408 513,00 Dirección FIRTH COURT WESTERN BANK S10 2TN Sheffield Reino Unido Ver en el mapa Región Yorkshire and the Humber South Yorkshire Sheffield Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Coste total Sin datos Participantes (9) Ordenar alfabéticamente Ordenar por aportación de la UE Ampliar todo Contraer todo LAMBDASTREAM SERVICIOS INTERACTIVOS SL España Aportación de la UE € 132 612,00 Dirección CAMPUS DE ELVINA S/N, EDIFICIO SERVICIOS DE INVESTIGACION 15071 A CORUNA Ver en el mapa Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Coste total Sin datos UNIVERSIDAD POLITECNICA DE MADRID España Aportación de la UE € 318 788,00 Dirección CALLE RAMIRO DE MAEZTU 7 EDIFICIO RECTORADO 28040 Madrid Ver en el mapa Región Comunidad de Madrid Comunidad de Madrid Madrid Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Coste total Sin datos GOETEBORGS UNIVERSITET La participación finalizó Suecia Aportación de la UE € 150 538,00 Dirección VASAPARKEN 405 30 Goeteborg Ver en el mapa Región Södra Sverige Västsverige Västra Götalands län Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Coste total Sin datos QUVIQ AB Suecia Aportación de la UE € 299 438,00 Dirección BERGSHAMRAVAGEN 4 433 60 SAVEDALEN Ver en el mapa Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Coste total Sin datos ERICSSON AB Suecia Aportación de la UE € 132 014,00 Dirección TORSHAMNSGATAN 23 164 80 Stockholm Ver en el mapa Región Östra Sverige Stockholm Stockholms län Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Coste total Sin datos CHALMERS TEKNISKA HOGSKOLA AB Suecia Aportación de la UE € 640 704,00 Dirección - 412 96 GOTEBORG Ver en el mapa Región Södra Sverige Västsverige Västra Götalands län Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Coste total Sin datos ERLANG SOLUTIONS LIMITED Reino Unido Aportación de la UE € 263 676,00 Dirección THE LOOM 14 GOWERS WALK LOOM HOUSE E1 8PY London Ver en el mapa Región London Inner London — East Tower Hamlets Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Coste total Sin datos UNIVERSITY OF KENT Reino Unido Aportación de la UE € 363 538,00 Dirección THE REGISTRY CANTERBURY CT2 7NZ Canterbury, Kent Ver en el mapa Región South East (England) Kent East Kent Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Coste total Sin datos INTEROUD INNOVATION SL España Aportación de la UE € 0,00 Dirección AVENIDA DE ALFONSO MOLINA 5 3B 15006 CORUNA Ver en el mapa Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Coste total Sin datos