SlideShare ist ein Scribd-Unternehmen logo
1 von 19
Downloaden Sie, um offline zu lesen
Aperiodic traffic in response time
    analyses with adjustable
           safety level
Dawood A. KHAN (INRIA / INPL)
Nicolas NAVET (INRIA / RTaW)
Bernard BAVOUX (PSA)
Jörn MIGGE (RTaW)




ETFA’2009, Palma
   24/09/2009
                            Complexity Mastered
Validation is a key activity in automotive systems design
                  Personal view on the developments
                                                               « correctness by construct » and
                                                                       optimal synthesis
                            Mostly ahead
                               of us!                               Probabilistic analysis
                                                                        system level

                                                         « Worst-case » deterministic analysis
                                                                    system level

                                               Probabilistic analysis (sub-system)

                                        « Worst-case » deterministic analysis (sub-system)

                                « Smart » monitoring tools

                        Simulation tools (co-simulation, HIL)


                1994                    1997                      2009
© 2009 RealTime-at-Work / INRIA – ETR’09 - 2
Probabilistic analysis is needed
              Systems are not designed for the worst-case
              (provided it is rare enough!)
              Reliability/Safety are naturally expressed and
              assessed in terms of probability (e.g. < 10^-9 per
              hour)
              Deterministic assumptions are sometimes
              unrealistic or too pessimistic, e.g.:
                     Worst-Case Execution Time on modern platforms,
                     Aperiodic activities: ISR, frame reception,
                     …
              Faults/errors are not deterministic (and better
              modeled probabilistically)


© 2009 RealTime-at-Work / INRIA – ETR’09 - 3
Accounting for the aperiodic traffic
              Transmission patterns can hardly be characterized:
              purely aperiodic, mixed periodic/aperiodic, etc
              Aperiodic frames do jeopardize RT constraints
              Few approaches in the litterature:
                     deterministic approaches, such as sporadic, generally lead to
                     unusable results (e.g., ρ>1)
                     Average case probabilistic approach not suited to
                     dependability-constrained systems
                     Probabilistic approaches with safety adjustable level, see
                     paper ref[6] and ref[7]




© 2009 RealTime-at-Work / INRIA – ETR’09 - 4
Approach advocated here

        1) Measurements / data cleaning

        2) Modeling aperiodic traffic arrival process

        3) Deriving aperiodic Work Arrival Process
           (WAF)

        4) Integrating aperiodic WAF into
           schedulability analysis


© 2009 RealTime-at-Work / INRIA – ETR’09 - 5
Data trace analysis
                       y: aperiodic interarrival times – x: index of interarrivals


              ZOOM +
                                                                           x : [0-1500]
                                                                           y : [0-25]


    Approximate
                                                                           x : [0-1500]
    because what
                                                                           y : [0-2.5]
   is seen on the
    bus is not the
    actual arrival
   process at ECU
    level! can be                                                          x : [0-250]
       handled                                                             y : [0-2]



© 2009 RealTime-at-Work / INRIA – ETR’09 - 6
Question: are interarrival times i.i.d. ?


                                               Use of BDS test for non-
                                                 linear dependencies

                                                               Periodic
                                                               frame?




© 2009 RealTime-at-Work / INRIA – ETR’09 - 7
Distribution fitting for aperiodic
                            interarrival : 3 candidates here
                                                         MLE adjusted
                                                          parameters


     Kolmo. Smi.
     and χ2 tests
       to confirm
         visual
      impression




© 2009 RealTime-at-Work / INRIA – ETR’09 - 8
Captured data trace VS random trace
                  generated with MLE-fitted Weibull
                                               Real data trace




                                               Simulated data trace




© 2009 RealTime-at-Work / INRIA – ETR’09 - 9
Deriving the aperiodic WAF
              S(t) : aperiodic WAF
              X(t) : stochastic process which counts the number of
              aperiodic frames in time interval t
              “smallest” S(t) such that the probability of X(t) being
              larger than or equal to S(t) is lower than a threshold α




                                                       Design choice:
             By simulation, numerical                    e.g., 10-9
             approximation or analysis
              (simplest cases such as exp.)

© 2009 RealTime-at-Work / INRIA – ETR’09 - 10
Aperiodic WAF depends on the underlying
                  interarrival distribution


                                  Same average
                                  intensity and α




© 2009 RealTime-at-Work / INRIA – ETR’09 - 11
Case-study on a typical body network

              Body network benchmark generated using GPL-
              licensed Netcarbench
              Characteristics:
                     125kbps, 16 ECUs, 105 CAN frames with deadlines equal to
                     periods and 1 to 8 bytes of data.
                     Total periodic load is equal to 41%
              NETCAR-Analyzer for WCRT computation
              3% aperiodic traffic
              7 byte aperiodic frames
              α = 10-4


© 2009 RealTime-at-Work / INRIA – ETR’09 - 12
Worst-case response times with/out
                          aperiodic traffic (3%)


                                                                    Id96:
                                                             - with aperiodic
                                            13 frames with   traffic: 116.3
                                            T=100ms add      ms
                                                delays       - without: 96ms




© 2009 RealTime-at-Work / INRIA – ETR’09 - 13
On a more loaded network…




                                                WCRT are more
                                                  than 30%
                                                 higher with
                                                   aperiodic
                                                    frames




© 2009 RealTime-at-Work / INRIA – ETR’09 - 14
Observations
             In this context where the periodic load is relatively small and
             the aperiodic traffic is limited (3%) one observes:
             aperiodic traffic significantly impacts the worst-case response
             times of the periodic frames (more than +30% sometimes).
             the exact model of the aperiodic traffic plays some role
             depends on the priority of the aperiodic frames (working on
             this)
             Measured arrival time on bus at which the frames started to
             be transmitted can be different than time at which the
             transmission requests were issued




© 2009 RealTime-at-Work / INRIA – ETR’09 - 15
Conclusion
              Chosen dependability requirements are
              met while pessimism kept to minimum:
                     Practical approach
                     Real data are required
                     Can be extended to the non i.i.d. case (not needed
                     here)
              What is needed now is a system level
              approach that
                     Can handle arbitrary activation processes
                     goes beyond the i.i.d. case (for dependability
                     assessment)

© 2009 RealTime-at-Work / INRIA – ETR’09 - 16
References




© 2009 RealTime-at-Work / INRIA – ETR’09 - 17
References (1/2)
                                        Automotive Embedded Systems - General
                                        [1] N. Navet, F. Simonot-Lion, editors, The Automotive Embedded Systems
                                                Handbook, Industrial Information Technology series, CRC Press / Taylor
                                                and Francis, ISBN 978-0849380266, December 2008.
                                        [2] P. Wallin, Axelsson, A Case Study of Issues Related to Automotive E/E System
                                                Architecture Development, IEEE International Conference and Workshop
                                                on the Engineering of Computer Based Systems, 2008.
                                        [3] H. Hansson, M. Nolin, T. Nolte, Beating the Automotive Code Complexity
                                                Challenge: Components, Models and Tools, National Workshop on High-
                                                Confidence Automotive Cyber-Physical Systems, 2008.
                                        Dependability / probabilistic framework
                                        [4] N. Navet, H. Perrault, “Mécanismes de protection dans AUTOSAR OS”, RTS
                                                Embedded Systems 2009 (RTS’09), Paris, April 2009.
                                        [5] D. Khan, N. Navet, B. Bavoux, J. Migge, “Aperiodic Traffic in Response Time
                                                Analyses with Adjustable Safety Level“, IEEE ETFA2009, Mallorca, Spain,
                                                September 2009.
                                        [6] N. Navet, Y-Q. Song, F. Simonot, “Worst-Case Deadline Failure Probability in
                                                Real-Time Applications Distributed over CAN (Controller Area Network)“,
                                                Journal of Systems Architecture, Elsevier Science, vol. 46, n°7, 2000.
                                        [7] A. Burns, G. Bernat, I. Broster, A probabilistic framework for schedulability
                                                analysi, Third International Conference on Embedded Software (EMSOFT
                                                2003), 2003.




© 2009 RealTime-at-Work / INRIA – ETR’09 - 18
Questions / feedback ?




                                              Please get in touch at:
                                        nicolas.navet@realtimeatwork.com
                                           http://www.realtimeatwork.com


© 2009 RealTime-at-Work / INRIA – ETR’09 - 19

Weitere ähnliche Inhalte

Andere mochten auch

Virtualization in Automotive Embedded Systems : an Outlook
Virtualization in Automotive Embedded Systems : an OutlookVirtualization in Automotive Embedded Systems : an Outlook
Virtualization in Automotive Embedded Systems : an OutlookNicolas Navet
 
In-Vehicle Networking : a Survey and Look Forward
In-Vehicle Networking : a Survey and Look ForwardIn-Vehicle Networking : a Survey and Look Forward
In-Vehicle Networking : a Survey and Look ForwardNicolas Navet
 
Cief2007 nn shc_slides
Cief2007 nn shc_slidesCief2007 nn shc_slides
Cief2007 nn shc_slidesNicolas Navet
 
Battery Aware Dynamic Scheduling for Periodic Task Graphs
Battery Aware Dynamic Scheduling for Periodic Task GraphsBattery Aware Dynamic Scheduling for Periodic Task Graphs
Battery Aware Dynamic Scheduling for Periodic Task GraphsNicolas Navet
 
Automating the Configuration of the FlexRay Communication Cycle
Automating the Configuration of the FlexRay Communication CycleAutomating the Configuration of the FlexRay Communication Cycle
Automating the Configuration of the FlexRay Communication CycleNicolas Navet
 
Configuring the communication on FlexRay: the case of the static segment
Configuring the communication on FlexRay: the case of the static segmentConfiguring the communication on FlexRay: the case of the static segment
Configuring the communication on FlexRay: the case of the static segmentNicolas Navet
 

Andere mochten auch (7)

Virtualization in Automotive Embedded Systems : an Outlook
Virtualization in Automotive Embedded Systems : an OutlookVirtualization in Automotive Embedded Systems : an Outlook
Virtualization in Automotive Embedded Systems : an Outlook
 
In-Vehicle Networking : a Survey and Look Forward
In-Vehicle Networking : a Survey and Look ForwardIn-Vehicle Networking : a Survey and Look Forward
In-Vehicle Networking : a Survey and Look Forward
 
Cief2007 nn shc_slides
Cief2007 nn shc_slidesCief2007 nn shc_slides
Cief2007 nn shc_slides
 
Battery Aware Dynamic Scheduling for Periodic Task Graphs
Battery Aware Dynamic Scheduling for Periodic Task GraphsBattery Aware Dynamic Scheduling for Periodic Task Graphs
Battery Aware Dynamic Scheduling for Periodic Task Graphs
 
Automating the Configuration of the FlexRay Communication Cycle
Automating the Configuration of the FlexRay Communication CycleAutomating the Configuration of the FlexRay Communication Cycle
Automating the Configuration of the FlexRay Communication Cycle
 
Configuring the communication on FlexRay: the case of the static segment
Configuring the communication on FlexRay: the case of the static segmentConfiguring the communication on FlexRay: the case of the static segment
Configuring the communication on FlexRay: the case of the static segment
 
Programació RAC1 2012-13
Programació RAC1 2012-13Programació RAC1 2012-13
Programació RAC1 2012-13
 

Ähnlich wie Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level

Systèmes embarqués critiques
Systèmes embarqués critiquesSystèmes embarqués critiques
Systèmes embarqués critiquesMarc Daumas
 
2012 8 29 TAR Webinar Part 2 Sigler
2012 8 29 TAR Webinar Part 2 Sigler2012 8 29 TAR Webinar Part 2 Sigler
2012 8 29 TAR Webinar Part 2 SiglerSonya Sigler
 
C:\Documents And Settings\User\桌面\Sciece Talk投影片\Science Talk 100111 陸行
C:\Documents And Settings\User\桌面\Sciece Talk投影片\Science Talk 100111 陸行C:\Documents And Settings\User\桌面\Sciece Talk投影片\Science Talk 100111 陸行
C:\Documents And Settings\User\桌面\Sciece Talk投影片\Science Talk 100111 陸行guestf4730f1
 
Science Talk-100111-陸行
Science Talk-100111-陸行Science Talk-100111-陸行
Science Talk-100111-陸行nccuscience
 
Designing safe cars - meeting ISO-26262 functionas safety requirements
Designing safe cars - meeting ISO-26262 functionas safety requirementsDesigning safe cars - meeting ISO-26262 functionas safety requirements
Designing safe cars - meeting ISO-26262 functionas safety requirementsAmir Rahat
 
Automotive communication systems: from dependability to security
Automotive communication systems: from dependability to securityAutomotive communication systems: from dependability to security
Automotive communication systems: from dependability to securityRealTime-at-Work (RTaW)
 
Model-Based Approaches for Railway Safety, Reliability and Security: The Expe...
Model-Based Approaches for Railway Safety, Reliability and Security: The Expe...Model-Based Approaches for Railway Safety, Reliability and Security: The Expe...
Model-Based Approaches for Railway Safety, Reliability and Security: The Expe...Francesco Flammini
 
Timing verification of automotive communication architecture using quantile ...
Timing verification of automotive communication  architecture using quantile ...Timing verification of automotive communication  architecture using quantile ...
Timing verification of automotive communication architecture using quantile ...RealTime-at-Work (RTaW)
 
Application_of_numerical_distance_relay.pdf
Application_of_numerical_distance_relay.pdfApplication_of_numerical_distance_relay.pdf
Application_of_numerical_distance_relay.pdfrukmagoud shakkari
 
B210917
B210917B210917
B210917irjes
 
Anomaly Detection of Human Movements in Pedestrian walkway
Anomaly Detection of Human Movements in Pedestrian walkwayAnomaly Detection of Human Movements in Pedestrian walkway
Anomaly Detection of Human Movements in Pedestrian walkwayGokul Nathan
 
S4x16 europe krotofil_granular_dataflowsics
S4x16 europe krotofil_granular_dataflowsicsS4x16 europe krotofil_granular_dataflowsics
S4x16 europe krotofil_granular_dataflowsicsMarina Krotofil
 
Adaptive fault tolerance_in_real_time_cloud_computing
Adaptive fault tolerance_in_real_time_cloud_computingAdaptive fault tolerance_in_real_time_cloud_computing
Adaptive fault tolerance_in_real_time_cloud_computingwww.pixelsolutionbd.com
 
Opal Rt Giroux Scrpting In Emtp Works
Opal Rt Giroux Scrpting In Emtp WorksOpal Rt Giroux Scrpting In Emtp Works
Opal Rt Giroux Scrpting In Emtp Workscorinne rocherieux
 
iros2021_jiaming.pdf
iros2021_jiaming.pdfiros2021_jiaming.pdf
iros2021_jiaming.pdfmokamojah
 
Congestion Control Technique with Safety Transmission of Messages in Vehicula...
Congestion Control Technique with Safety Transmission of Messages in Vehicula...Congestion Control Technique with Safety Transmission of Messages in Vehicula...
Congestion Control Technique with Safety Transmission of Messages in Vehicula...IRJET Journal
 
Frame latency evaluation: when simulation and analysis alone are not enough
Frame latency evaluation: when simulation and analysis alone are not enoughFrame latency evaluation: when simulation and analysis alone are not enough
Frame latency evaluation: when simulation and analysis alone are not enoughRealTime-at-Work (RTaW)
 

Ähnlich wie Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level (20)

Systèmes embarqués critiques
Systèmes embarqués critiquesSystèmes embarqués critiques
Systèmes embarqués critiques
 
2012 8 29 TAR Webinar Part 2 Sigler
2012 8 29 TAR Webinar Part 2 Sigler2012 8 29 TAR Webinar Part 2 Sigler
2012 8 29 TAR Webinar Part 2 Sigler
 
C:\Documents And Settings\User\桌面\Sciece Talk投影片\Science Talk 100111 陸行
C:\Documents And Settings\User\桌面\Sciece Talk投影片\Science Talk 100111 陸行C:\Documents And Settings\User\桌面\Sciece Talk投影片\Science Talk 100111 陸行
C:\Documents And Settings\User\桌面\Sciece Talk投影片\Science Talk 100111 陸行
 
Science Talk-100111-陸行
Science Talk-100111-陸行Science Talk-100111-陸行
Science Talk-100111-陸行
 
Designing safe cars - meeting ISO-26262 functionas safety requirements
Designing safe cars - meeting ISO-26262 functionas safety requirementsDesigning safe cars - meeting ISO-26262 functionas safety requirements
Designing safe cars - meeting ISO-26262 functionas safety requirements
 
Automotive communication systems: from dependability to security
Automotive communication systems: from dependability to securityAutomotive communication systems: from dependability to security
Automotive communication systems: from dependability to security
 
Model-Based Approaches for Railway Safety, Reliability and Security: The Expe...
Model-Based Approaches for Railway Safety, Reliability and Security: The Expe...Model-Based Approaches for Railway Safety, Reliability and Security: The Expe...
Model-Based Approaches for Railway Safety, Reliability and Security: The Expe...
 
S4x16_Europe_Krotofil
S4x16_Europe_KrotofilS4x16_Europe_Krotofil
S4x16_Europe_Krotofil
 
Gene's law
Gene's lawGene's law
Gene's law
 
Timing verification of automotive communication architecture using quantile ...
Timing verification of automotive communication  architecture using quantile ...Timing verification of automotive communication  architecture using quantile ...
Timing verification of automotive communication architecture using quantile ...
 
TESCO AMI Risk Mitigation & Quality
TESCO AMI Risk Mitigation & QualityTESCO AMI Risk Mitigation & Quality
TESCO AMI Risk Mitigation & Quality
 
Application_of_numerical_distance_relay.pdf
Application_of_numerical_distance_relay.pdfApplication_of_numerical_distance_relay.pdf
Application_of_numerical_distance_relay.pdf
 
B210917
B210917B210917
B210917
 
Anomaly Detection of Human Movements in Pedestrian walkway
Anomaly Detection of Human Movements in Pedestrian walkwayAnomaly Detection of Human Movements in Pedestrian walkway
Anomaly Detection of Human Movements in Pedestrian walkway
 
S4x16 europe krotofil_granular_dataflowsics
S4x16 europe krotofil_granular_dataflowsicsS4x16 europe krotofil_granular_dataflowsics
S4x16 europe krotofil_granular_dataflowsics
 
Adaptive fault tolerance_in_real_time_cloud_computing
Adaptive fault tolerance_in_real_time_cloud_computingAdaptive fault tolerance_in_real_time_cloud_computing
Adaptive fault tolerance_in_real_time_cloud_computing
 
Opal Rt Giroux Scrpting In Emtp Works
Opal Rt Giroux Scrpting In Emtp WorksOpal Rt Giroux Scrpting In Emtp Works
Opal Rt Giroux Scrpting In Emtp Works
 
iros2021_jiaming.pdf
iros2021_jiaming.pdfiros2021_jiaming.pdf
iros2021_jiaming.pdf
 
Congestion Control Technique with Safety Transmission of Messages in Vehicula...
Congestion Control Technique with Safety Transmission of Messages in Vehicula...Congestion Control Technique with Safety Transmission of Messages in Vehicula...
Congestion Control Technique with Safety Transmission of Messages in Vehicula...
 
Frame latency evaluation: when simulation and analysis alone are not enough
Frame latency evaluation: when simulation and analysis alone are not enoughFrame latency evaluation: when simulation and analysis alone are not enough
Frame latency evaluation: when simulation and analysis alone are not enough
 

Kürzlich hochgeladen

08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Servicegiselly40
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonAnna Loughnan Colquhoun
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slidevu2urc
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountPuma Security, LLC
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxMalak Abu Hammad
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEarley Information Science
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘RTylerCroy
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...Neo4j
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slidespraypatel2
 
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Miguel Araújo
 
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc
 
Developing An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of BrazilDeveloping An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of BrazilV3cube
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes
 
Kalyanpur ) Call Girls in Lucknow Finest Escorts Service 🍸 8923113531 🎰 Avail...
Kalyanpur ) Call Girls in Lucknow Finest Escorts Service 🍸 8923113531 🎰 Avail...Kalyanpur ) Call Girls in Lucknow Finest Escorts Service 🍸 8923113531 🎰 Avail...
Kalyanpur ) Call Girls in Lucknow Finest Escorts Service 🍸 8923113531 🎰 Avail...gurkirankumar98700
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j
 
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityBoost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityPrincipled Technologies
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processorsdebabhi2
 

Kürzlich hochgeladen (20)

08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Service
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slides
 
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
 
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
 
Developing An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of BrazilDeveloping An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of Brazil
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Kalyanpur ) Call Girls in Lucknow Finest Escorts Service 🍸 8923113531 🎰 Avail...
Kalyanpur ) Call Girls in Lucknow Finest Escorts Service 🍸 8923113531 🎰 Avail...Kalyanpur ) Call Girls in Lucknow Finest Escorts Service 🍸 8923113531 🎰 Avail...
Kalyanpur ) Call Girls in Lucknow Finest Escorts Service 🍸 8923113531 🎰 Avail...
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
 
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityBoost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
 

Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level

  • 1. Aperiodic traffic in response time analyses with adjustable safety level Dawood A. KHAN (INRIA / INPL) Nicolas NAVET (INRIA / RTaW) Bernard BAVOUX (PSA) Jörn MIGGE (RTaW) ETFA’2009, Palma 24/09/2009 Complexity Mastered
  • 2. Validation is a key activity in automotive systems design Personal view on the developments « correctness by construct » and optimal synthesis Mostly ahead of us! Probabilistic analysis system level « Worst-case » deterministic analysis system level Probabilistic analysis (sub-system) « Worst-case » deterministic analysis (sub-system) « Smart » monitoring tools Simulation tools (co-simulation, HIL) 1994 1997 2009 © 2009 RealTime-at-Work / INRIA – ETR’09 - 2
  • 3. Probabilistic analysis is needed Systems are not designed for the worst-case (provided it is rare enough!) Reliability/Safety are naturally expressed and assessed in terms of probability (e.g. < 10^-9 per hour) Deterministic assumptions are sometimes unrealistic or too pessimistic, e.g.: Worst-Case Execution Time on modern platforms, Aperiodic activities: ISR, frame reception, … Faults/errors are not deterministic (and better modeled probabilistically) © 2009 RealTime-at-Work / INRIA – ETR’09 - 3
  • 4. Accounting for the aperiodic traffic Transmission patterns can hardly be characterized: purely aperiodic, mixed periodic/aperiodic, etc Aperiodic frames do jeopardize RT constraints Few approaches in the litterature: deterministic approaches, such as sporadic, generally lead to unusable results (e.g., ρ>1) Average case probabilistic approach not suited to dependability-constrained systems Probabilistic approaches with safety adjustable level, see paper ref[6] and ref[7] © 2009 RealTime-at-Work / INRIA – ETR’09 - 4
  • 5. Approach advocated here 1) Measurements / data cleaning 2) Modeling aperiodic traffic arrival process 3) Deriving aperiodic Work Arrival Process (WAF) 4) Integrating aperiodic WAF into schedulability analysis © 2009 RealTime-at-Work / INRIA – ETR’09 - 5
  • 6. Data trace analysis y: aperiodic interarrival times – x: index of interarrivals ZOOM + x : [0-1500] y : [0-25] Approximate x : [0-1500] because what y : [0-2.5] is seen on the bus is not the actual arrival process at ECU level! can be x : [0-250] handled y : [0-2] © 2009 RealTime-at-Work / INRIA – ETR’09 - 6
  • 7. Question: are interarrival times i.i.d. ? Use of BDS test for non- linear dependencies Periodic frame? © 2009 RealTime-at-Work / INRIA – ETR’09 - 7
  • 8. Distribution fitting for aperiodic interarrival : 3 candidates here MLE adjusted parameters Kolmo. Smi. and χ2 tests to confirm visual impression © 2009 RealTime-at-Work / INRIA – ETR’09 - 8
  • 9. Captured data trace VS random trace generated with MLE-fitted Weibull Real data trace Simulated data trace © 2009 RealTime-at-Work / INRIA – ETR’09 - 9
  • 10. Deriving the aperiodic WAF S(t) : aperiodic WAF X(t) : stochastic process which counts the number of aperiodic frames in time interval t “smallest” S(t) such that the probability of X(t) being larger than or equal to S(t) is lower than a threshold α Design choice: By simulation, numerical e.g., 10-9 approximation or analysis (simplest cases such as exp.) © 2009 RealTime-at-Work / INRIA – ETR’09 - 10
  • 11. Aperiodic WAF depends on the underlying interarrival distribution Same average intensity and α © 2009 RealTime-at-Work / INRIA – ETR’09 - 11
  • 12. Case-study on a typical body network Body network benchmark generated using GPL- licensed Netcarbench Characteristics: 125kbps, 16 ECUs, 105 CAN frames with deadlines equal to periods and 1 to 8 bytes of data. Total periodic load is equal to 41% NETCAR-Analyzer for WCRT computation 3% aperiodic traffic 7 byte aperiodic frames α = 10-4 © 2009 RealTime-at-Work / INRIA – ETR’09 - 12
  • 13. Worst-case response times with/out aperiodic traffic (3%) Id96: - with aperiodic 13 frames with traffic: 116.3 T=100ms add ms delays - without: 96ms © 2009 RealTime-at-Work / INRIA – ETR’09 - 13
  • 14. On a more loaded network… WCRT are more than 30% higher with aperiodic frames © 2009 RealTime-at-Work / INRIA – ETR’09 - 14
  • 15. Observations In this context where the periodic load is relatively small and the aperiodic traffic is limited (3%) one observes: aperiodic traffic significantly impacts the worst-case response times of the periodic frames (more than +30% sometimes). the exact model of the aperiodic traffic plays some role depends on the priority of the aperiodic frames (working on this) Measured arrival time on bus at which the frames started to be transmitted can be different than time at which the transmission requests were issued © 2009 RealTime-at-Work / INRIA – ETR’09 - 15
  • 16. Conclusion Chosen dependability requirements are met while pessimism kept to minimum: Practical approach Real data are required Can be extended to the non i.i.d. case (not needed here) What is needed now is a system level approach that Can handle arbitrary activation processes goes beyond the i.i.d. case (for dependability assessment) © 2009 RealTime-at-Work / INRIA – ETR’09 - 16
  • 17. References © 2009 RealTime-at-Work / INRIA – ETR’09 - 17
  • 18. References (1/2) Automotive Embedded Systems - General [1] N. Navet, F. Simonot-Lion, editors, The Automotive Embedded Systems Handbook, Industrial Information Technology series, CRC Press / Taylor and Francis, ISBN 978-0849380266, December 2008. [2] P. Wallin, Axelsson, A Case Study of Issues Related to Automotive E/E System Architecture Development, IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2008. [3] H. Hansson, M. Nolin, T. Nolte, Beating the Automotive Code Complexity Challenge: Components, Models and Tools, National Workshop on High- Confidence Automotive Cyber-Physical Systems, 2008. Dependability / probabilistic framework [4] N. Navet, H. Perrault, “Mécanismes de protection dans AUTOSAR OS”, RTS Embedded Systems 2009 (RTS’09), Paris, April 2009. [5] D. Khan, N. Navet, B. Bavoux, J. Migge, “Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level“, IEEE ETFA2009, Mallorca, Spain, September 2009. [6] N. Navet, Y-Q. Song, F. Simonot, “Worst-Case Deadline Failure Probability in Real-Time Applications Distributed over CAN (Controller Area Network)“, Journal of Systems Architecture, Elsevier Science, vol. 46, n°7, 2000. [7] A. Burns, G. Bernat, I. Broster, A probabilistic framework for schedulability analysi, Third International Conference on Embedded Software (EMSOFT 2003), 2003. © 2009 RealTime-at-Work / INRIA – ETR’09 - 18
  • 19. Questions / feedback ? Please get in touch at: nicolas.navet@realtimeatwork.com http://www.realtimeatwork.com © 2009 RealTime-at-Work / INRIA – ETR’09 - 19