ITEA-EVOLVE-profile-08
- 1. Project Profile Reliable, accurate, fast and low-cost validation and verification of software products is a cornerstone of modern high-tech industry. The EVOLVE project will enforce the creation of a methodological framework for early verification and validation of evolutionary software products through the accredited and certified integration of each component during every iteration in an incremental model-driven engineering (MDE) context. High quality software is a key driver underpinning the digital revolution and an integral part of most products from global high-tech companies. Reliable, accurate, fast and low-cost validation and verification of such products is one of the cornerstones in the modern high-tech industry. However, many software organisations clearly lack efficient verification and validation technologies that would support rapid and high quality software development in a volatile business environment. METHODOLOGICAL FRAMEWORK The goal of the EVOLVE project is to create a methodological framework for early verification and validation of evolutionary products through the accredited and certified integration of each component. EVOLVE will provide an iterative and incremental methodology. Moreover, it is oriented by the agile and model-driven engineering paradigms, fostering accredited and certified component reusability in a broad sense. The target domain is the construction of software for real-time embedded systems, which may be subject to legal certification or internal company accreditation. Attention is focused on validation of both functional and non-functional properties, from requirements evaluation of an early architecture design to final customer acceptance. To sustain the increase in the software content and reliance on software for safety-critical systems in industry, it is necessary to take the next step in process improvement. While many software- process-oriented projects focus on waterfall-like development processes, the real-life situation is different. In addition, industry needs to cope with evolutions during development as well as during the product life cycle. ENSURING EARLY VALIDATION EVOLVE will give an answer to these problems by tackling the aspects of early validation and looking to agile techniques for modular design verification and validation. Moreover, the project will improve the reusability paradigm by providing means to obtain internal company certification on components. The results of EVOLVE will: 1. Shorten time to market by supporting incremental design; 2. Improve quality by providing methodologies for early verification and validation; and 3. Reduce costs by encouraging component reuse. Illustrating the complemenarity of the EVOLVE workpackages by positioning them on the waterfall model Early V&V Iterative and Incremental V&VIncremental V&V Integration Testing System Spec’s System Requirements System Testing Validation Validation N e e d s Integration Testing System Spec’s System Requirements System Testing Validation Validation N e e d s Realization System Design Unit Testing Validation Realization System Design Unit Testing Validation Evolutionary Certification System Spec’s System Testing Validation N e e d s Integration Testing System Requirements System Design Unit Testing Validation Validation Realization Early V&V Iterative and Incremental V&VIncremental V&V Integration Testing System Spec’s System Requirements System Testing Validation Validation N e e d s Integration Testing System Spec’s System Requirements System Testing Validation Validation N e e d s Realization System Design Unit Testing Validation Realization System Design Unit Testing Validation Evolutionary Certification System Spec’s System Testing Validation N e e d s Integration Testing System Requirements System Design Unit Testing Validation Validation Realization Early V&V Iterative and Incremental V&VIncremental V&V Integration Testing System Spec’s System Requirements System Testing Validation Validation N e e d s Integration Testing System Spec’s System Requirements System Testing Validation Validation N e e d s Realization System Design Unit Testing Validation Realization System Design Unit Testing Validation Evolutionary Certification System Spec’s System Testing Validation N e e d s Integration Testing System Requirements System Design Unit Testing Validation Validation Realization Early V&V Iterative and Incremental V&VIncremental V&V Integration Testing System Spec’s System Requirements System Testing Validation Validation N e e d s Integration Testing System Spec’s System Requirements System Testing Validation Validation N e e d s Realization System Design Unit Testing Validation Realization System Design Unit Testing Validation Evolutionary Certification System Spec’s System Testing Validation N e e d s Integration Testing System Requirements System Design Unit Testing Validation Validation Realization Evolutionary validation, verification and certification Enabling iterative and incremental development of certified software ••••••••••••••••••••••••••••••••••••• EVOLVE (ITEA 2 ~ 07010) ••••••••••••••• n Partners Autoliv Barco n.v. Critical Software DS2 Elektrobit European Software Institute Fudeco I3B Ibermatica Ingeteam Jönköping University K.U.Leuven Lero Melexis Mondragon University Nokia Nokia Siemens Networks Open License Society Triphase Universidad de Cantabria VTT – Technical Research Centre of Finland n Countries involved Belgium Finland Ireland Portugal Spain Sweden n Project start April 2008 n Project end March 2011 n Contact Project Leader : Devos Johan R. Barco n.v. - Belgium Email : [email protected] Project website : www.evolve-itea.org
- 2. Project Profile To achieve its goal, EVOLVE will explore three tracks to add evolution and certification to model-driven engineering: n Early verification and validation during the first phases of a project, based on models and requirements; n Incremental and iterative model-driven development (MDD) – Agile MDD development; and n Evolutionary certification on two levels: 1 Informal internal certification and homologation, and 2 External official certification – e.g. for safety-critical applications. Industrial case studies are foreseen on all three tracks to validate the methodology in real-life industrial environments to ensure the usability. Dissemination and exploitation activities are planned at the same time to spread the knowledge and experiences to a wider public. IMPROVING THE SOFTWARE ENGINEERING PROCESS The major visible results expected for EVOLVE are: n Unified modelling techniques to describe all the relevant aspects of the system; and n Iterative and incremental validation and verification techniques to develop certified components and products, without impacting business and time schedules and costs: • Certification activities integrated in normal development process, instead of a separate and stand-alone after- the-fact procedure on a final product, and • Reuse of validation and verification, and certification results and artefacts for new and derived variants of component and products. The objective is to reduce development costs by early validation and verification, avoiding error propagation costs, while certification will not incur any additional costs. Users of EVOLVE results will include: n Industry, which will adopt the EVOLVE results in central methodology groups and disseminate them internally to their operational divisions, leading to products and services produced with higher productivity and less risks. n Tool providers, which will enhance existing products by integrating them within the EVOLVE methodology, as well as building new products from EVOLVE. n Universities and research institutes, which will integrate EVOLVE results in their software engineering courses, so placing the MDE and agile approach as a well-established method of software development for embedded systems in the education of Europe’s next generation of software engineers, and raise their profiles in the areas of software and systems modelling. This will impact the subjects of work in basic research, contributions in standards communities and technology transfer to industrial partners. Key actions n Verification and validation n Certification n Agile development n Product family - product line, portfolio... ‘2D/3D rotary position sensor product family variants: from joysticks for gaming to safety-critical gas-pedal application’ (and beyond, as also request for use in helicopter) ITEA 2 Office High Tech Campus 69 - 3 5656 AG Eindhoven The Netherlands Tel : +31 88 003 6136 Fax : +31 88 003 6130 Email : [email protected] Web : www.itea2.org Σ! 3674 n ITEA 2 – Information Technology for European Advancement – is Europe’s premier co-operative R&D programme driving pre-competitive research on embedded and distributed software-intensive systems and services. As a EUREKA strategic Cluster, we support co-ordinated national funding submissions and provide the link between those who provide finance, technology and software engineering. Our aim is to mobilise a total of 20,000 person- years over the full eight-year period of our programme from 2006 to 2013. n ITEA 2-labelled projects are industry-driven initiatives building vital middleware and preparing standards to lay the foundations for the next generation of products, systems, appliances and services. Our programme results in real product innovation that boosts European competitiveness in a wide range of industries. Specifically, we play a key role in crucial application domains where software dominates, such as aerospace, automotive, consumer electronics, healthcare/medical systems and telecommunications. n ITEA 2 projects involve complementary R&D from at least two companies in two countries. We issue annual Calls for Projects, evaluate projects and help bring research partners together. Our projects are open to partners from large industrial companies and small and medium- sized enterprises (SMEs) as well as public research institutes and universities. October 2008 EVOLVE (ITEA 2 ~ 07010)