WoPANets: Decision-support Tool for real-time
Description: WoPANets: Decision-support Tool for real-time Networks Design Ahlem Mifdaoui 09-06-2016 Innovation IT Day Context Motivations 2 Increasing complexity of real-time networks: Mixed-criticality data delivery Multi-hop real-time communication
Related Topics
Download Presentation
"WoPANets: Decision-support Tool for real-time" is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
slide1. WoPANets: Decision-support Tool for real-time Networks Design Ahlem Mifdaoui
09-06-2016
Innovation IT Day<br>
slide2. Context & Motivations 2 Increasing complexity of real-time networks:
Mixed-criticality data delivery
Multi-hop real-time communication
Heterogeneous architecture
Large-scale networks
Cyclic dependencies at the communication level
Deterministic guarantees of temporal and hardware constraints are of the utmost importance
Choosing the right network’s parameters respecting the system constraints becomes a difficult task for designer<br>
slide3. Context & Motivations 3 An accurate timing verification approach is needed to guarantee the network requirements, since the first steps of the design cycle
System-level performance analysis
The designer need to choose the right system’s parameters before investing too much time in detailed implementations
A new decision-support tool, WoPANets (Worst Case Performance Analysis of Embedded Networks)
Enhancing the design process time and costs of real-time networks<br>
slide4. Related Work Overview 4 The design space exploration approaches for real-time systems are mainly focused on the SW/HW Partitioning/ Mapping issues and generally:
Simplify the communication network by considering an arbitrary maximum delay bound
Ignore completely the communication issue
However,
Integrating the accurate design of the communication network with the SW/HW partitioning will clearly enhance the system performance<br>
slide5. Outline Introduction
Performance Analysis Methodology
Applications
Decision-support Tool
Conclusions & Key Perspectives 5<br>
slide6. 6 Timing Verification Approach Need an accurate verification approach to handle
Worst-case behavior to fulfill certification requirements
Scalability requirements
Simple to conduct
Tight results
Existing approaches
Simulation-based: simulating the entire system leads to high complexity and limited efficiency
Analytical-based: various existing approaches to analyze the worst-case behavior
The most relevant is Network Calculus used for the AFDX certification<br>
slide7. Methodology overview 7<br>
slide8. Outline Introduction
Performance Analysis Methodology
Applications
Decision-support Tool
Conclusions & Key Perspectives 8<br>
slide9. Real-Time Networks 9 AFDX standard for avionics
Most common Real-Time Ethernet profiles for automation and automotive
Spacewire for satellites
Network On Chip for the Many-core Architecture
…<br>
slide10. Outline Introduction
Performance Analysis Methodology
Applications
Decision-support Tool: WoPANets
Conclusions & Key Perspectives 10<br>
slide11. 11 Worst-case Performance Analysis of embedded Networks
Performs a system level performance evaluation based on NC
Certification requirements
Includes an optimization process for design space exploration
Enhance the design process time and costs
Compatibility with existent conception approaches (UML, AADL)
Easy to use within design cycle
Integrate high level models of the most common real-time networks
Easy to use by any designer without any specific knowledge of the used analytical formalism due to an ergonomic GUI
Modular and Easy to extend Decision-support tool WoPANets (1)<br>
slide12. Decision-support tool WoPANets (2) 12 Palette Flow/Node Properties Results Analysis & Optimization<br>
slide13. 13 Decision-support tool WoPANets (3) Related projects
ANR Emergence 2012 (WoPANets), Valorisation projects with Airbus Group and ESA (under submission)
Publications
Mifdaoui, Ahlem and Ayed, Hamdi “WOPANets: a tool for WOrst case performance analysis of embedded networks”. In: International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), 03-04 Dec 2010, Miami, United States.
Apvrille, Ludovic and Saqui-Sannes, Pierre de and Mifdaoui, Ahlem “A UML framework for the dimensioning and formal verification of embedded systems”. In: SAFA Annual Workshop on Formal Methods (SAFA 2009), 23 Sept 2009, Sophia-Antipolis, France.<br>
slide14. Conclusions 14 System level Worst case performance analysis becomes a necessity to avoid introducing errors at the first steps of the design cycle
Enhance the design process time and costs
A decision-support tool WoPANets is available to be used by industrial designers of real-time networks<br>
slide15. Thanks for your attention Questions?<br>
09-06-2016
Innovation IT Day<br>
slide2. Context & Motivations 2 Increasing complexity of real-time networks:
Mixed-criticality data delivery
Multi-hop real-time communication
Heterogeneous architecture
Large-scale networks
Cyclic dependencies at the communication level
Deterministic guarantees of temporal and hardware constraints are of the utmost importance
Choosing the right network’s parameters respecting the system constraints becomes a difficult task for designer<br>
slide3. Context & Motivations 3 An accurate timing verification approach is needed to guarantee the network requirements, since the first steps of the design cycle
System-level performance analysis
The designer need to choose the right system’s parameters before investing too much time in detailed implementations
A new decision-support tool, WoPANets (Worst Case Performance Analysis of Embedded Networks)
Enhancing the design process time and costs of real-time networks<br>
slide4. Related Work Overview 4 The design space exploration approaches for real-time systems are mainly focused on the SW/HW Partitioning/ Mapping issues and generally:
Simplify the communication network by considering an arbitrary maximum delay bound
Ignore completely the communication issue
However,
Integrating the accurate design of the communication network with the SW/HW partitioning will clearly enhance the system performance<br>
slide5. Outline Introduction
Performance Analysis Methodology
Applications
Decision-support Tool
Conclusions & Key Perspectives 5<br>
slide6. 6 Timing Verification Approach Need an accurate verification approach to handle
Worst-case behavior to fulfill certification requirements
Scalability requirements
Simple to conduct
Tight results
Existing approaches
Simulation-based: simulating the entire system leads to high complexity and limited efficiency
Analytical-based: various existing approaches to analyze the worst-case behavior
The most relevant is Network Calculus used for the AFDX certification<br>
slide7. Methodology overview 7<br>
slide8. Outline Introduction
Performance Analysis Methodology
Applications
Decision-support Tool
Conclusions & Key Perspectives 8<br>
slide9. Real-Time Networks 9 AFDX standard for avionics
Most common Real-Time Ethernet profiles for automation and automotive
Spacewire for satellites
Network On Chip for the Many-core Architecture
…<br>
slide10. Outline Introduction
Performance Analysis Methodology
Applications
Decision-support Tool: WoPANets
Conclusions & Key Perspectives 10<br>
slide11. 11 Worst-case Performance Analysis of embedded Networks
Performs a system level performance evaluation based on NC
Certification requirements
Includes an optimization process for design space exploration
Enhance the design process time and costs
Compatibility with existent conception approaches (UML, AADL)
Easy to use within design cycle
Integrate high level models of the most common real-time networks
Easy to use by any designer without any specific knowledge of the used analytical formalism due to an ergonomic GUI
Modular and Easy to extend Decision-support tool WoPANets (1)<br>
slide12. Decision-support tool WoPANets (2) 12 Palette Flow/Node Properties Results Analysis & Optimization<br>
slide13. 13 Decision-support tool WoPANets (3) Related projects
ANR Emergence 2012 (WoPANets), Valorisation projects with Airbus Group and ESA (under submission)
Publications
Mifdaoui, Ahlem and Ayed, Hamdi “WOPANets: a tool for WOrst case performance analysis of embedded networks”. In: International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), 03-04 Dec 2010, Miami, United States.
Apvrille, Ludovic and Saqui-Sannes, Pierre de and Mifdaoui, Ahlem “A UML framework for the dimensioning and formal verification of embedded systems”. In: SAFA Annual Workshop on Formal Methods (SAFA 2009), 23 Sept 2009, Sophia-Antipolis, France.<br>
slide14. Conclusions 14 System level Worst case performance analysis becomes a necessity to avoid introducing errors at the first steps of the design cycle
Enhance the design process time and costs
A decision-support tool WoPANets is available to be used by industrial designers of real-time networks<br>
slide15. Thanks for your attention Questions?<br>