VER ification-oriented & component-based model D riven E - PowerPoint PPT Presentation

VER ification-oriented & component-based model D riven E ngineering for real-time embedded systems VERDE: Cost Reduced and Accelerated Embedded Systems Development Alexander Viehl, FZI Forschungszentrum Informatik viehl@fzi.de Funded by: Grant No: 01IS09012 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Scope: Software-intensive Systems European leadership, high employment and added value • Strongly increasing complexity – system and design • Innovation mainly driven by software • – E.g. 80% of new functions in recent automotive products – Verification, validation and test have a share of up to 70% of development efforts  Comprehensive engineering needed 2 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Embedded Software Engineering • Approaches and methodologies (excerpt) – Model-driven, model-based, model-centric design and engineering – Component-based design – Platform-based design – Virtual prototyping – Early V&V through model-based testing and test-driven development – Formal techniques • Challenges – Hardware-dependencies, legacy components, limited resources – Real-time, power, safety and reliability – Solutions tailored for specific application domains and end-users – Different approaches and methodologies often not interconnected – Methodologies often not yet industrialized – Domain-specific tools – … 3 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Component-based design Component-based design • – Structured design, composition, deployment and parameterization of (embedded) software at platform-independent level – Comprehensive consideration of underlying hardware platform is still missing SWC SWC SWC Example AUTOSAR: • – Developed for automotive software systems engineering, supported by domain-specific tools – Very well specified methodology, heavy-weight to use and introduce – Not (directly) applicable to other industrial application domains SWC SWC SWC AUTOSAR Interfaces RTE Run-time Environment Virtual Functional Bus Standardized Interfaces AUTOSAR Interfaces Basic Software Device drivers Communication Services ECU Abstraktion Standardized Interfaces Complex (OS) Standardized Interface Standardized Interface µC Abstraction Automotive ECU Hardware 4 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

VERDE: Project objectives • Develop a solution for the iterative and incremental development and validation of RTE systems – Integrate MDE, Component-based infrastructures and Verification & Validation techniques – Enable rapid prototyping through projection and execution on component-based platforms – Enable model-based testing and test-driven development – Enable early validation of non-functional properties (performance, resource usage…) • Foster the industrialization of this solution – Through cross-domain business cases (software radio, space, automotive…) – With a strong focus on methodological aspects (how to) – dealing with component- based approach – Close cross-country collaboration between mature technology providers and industrials “A sound integration of standards to improve quality & productivity” 5 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

VERDE Overview: Countries Norway Germany France 6 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

VERDE Overview: Multi Domain Application Railway Space Energy Radio Com Automotive Techno providers and Research Labs 7 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

VERDE: Tool Infrastructure principle Iterative , Incremental, IVV Validation-Driven Methodology Eclipse UML Modelling Tool Testing Integrated Testing Tools MARTE Component design strategies models (structure, behaviour) Non-Functional Property Timing Software Component assembly Analysis Test scenario and deployment Analysis Tools modeling Software Power Analysis and test Design consumption scenarios Test case derivation Enhanced Component Models Generation Execution Reliability for execution measurements and trace Application Container Component Component and test Test cases Generators + Container Administration Tools Execution Platform Early validation of non-functional properties (performance, resource usage…) • Test generation for functional and non functional validation • Integration of model-based techniques for • iterative / incremental process 8 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Project outcomes Industrial requirements, use-cases and evaluation criteria; • Showcases for all domains – Evaluation of enhancements through VERDE Light-weight cross-domain component model • – Mappings to e.g. AUTOSAR, CCM, MyCCM, SCA defined Common methodology • – Cross domain – Process, methodological steps and patterns Eclipse-based tooling framework • – Integrates open-source and commercial tools – Tools developed during VERDE Standardization activities • Exploitation • Identification of future research needs • 9 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Coverage of user requirements • 237 end-user requirements at project start • 75% of them have been fully covered – Others partially covered or not relevant • Evaluation based on quantified evaluation criteria 100 % 90 % 80 % 70 % 60 % 50 % 40 % 30 % 20 % 10 % 0 % 1.2.1 TCF Software 1.3.1 TAS Space 1.3.1 AST Space 1.4.1 ALS Railway 1.5.1 BOS 1.7.1 WEG Energy Radio Automotive 10 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Automotive Showcase Aspect: Simulation Models for Hardware Classic System Development Hardware Requirements Software Product Faster and better with Virtual Hardware Requirements Hardware Benefit Product Virtual Hardware Software Virtual HW Virtual HW CY xxx CY xxx = e.g. early integration testing 11 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Automotive Showcase Summary – VERDE highlights Hand-coding of virtual hardware Generation of virtual hardware Seamless design flow with Decoupled development tools and VERDE Eclipse and a single multiple modeling languages VERDE modeling language Simulation models available Simulation models available after silicon before silicon More precise and very efficient Rough performance estimation estimation with model focused for multi-core software on timing 12 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Automotive Showcase Review Summary – Quantified Exploitation Perspective Up to 50% of virtual hardware code can be generated automatically VERDE Eclipse covers 100% of virtual hardware tool functions: Requirements, Modelling, Implementation, Verification, Visualisation Risk for redesign (at least 500k Euro and 3 months) due to incorrect concepts reduced Methodology for highly efficient multi-core software exploration ( Hundreds of experiments within minutes) developed 13 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Exploitation: Process for research projects From project output to programme outcome • Identification of needed Benefit realization 7 improvement 1 Post-Transition Pre-Transition Transition (ensure (prepare (implement 6 8 acceptance of improvements) improvements) improvements Outcome Wide adoption Improvement made available improved development 5 Ongoing development 4 3 Enabler Output project project project 2 project project Managing Successful Programmes (MSP™) from the UK Cabinet office 14 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

SME exploitation example of VERDE Eclipse based Requirements Tooling • Goal: Expand portfolio, address new markets. Commercial use of RMF Yakindu Requirements and Increasing Need for Eclipse Market Feedback Yakindu Crema as based requirements Evaluation Commercial Products engineering Yakindu CRemA Yakindu Requirements Eclipse RMF Release of CReMA Release of CReMA support for Eclipse variants RMF ITEA Amalthea BMBF IMES ITEA-VERDE ITEA-Safe BMBF SPES XT 2015 2014 2013 2009 2011 2012 2010 Managing Successful Programmes (MSP™) from the UK Cabinet office 15 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

Conclusion • Methodology and tooling framework for cost reduced and accelerated development of Embedded Systems • Cross-domain applicability along the design process • Enabled by bringing together industries and technology providers from across Europe • High exploitation potential for all participating entities – Establishing cross-domain collaboration – Creation of cross-border value chains – Widening the applicability of previously domain-specific tools 16 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world

17 2014-02-26 ITEA 3 Launch Event Germany 2014 - embedded world