Filters








1,106 Hits in 10.1 sec

WCET Analysis of Component-Based Systems Using Timing Traces

Adam Betts, Amine Marref
2011 2011 16th IEEE International Conference on Engineering of Complex Computer Systems  
This paper shows how to obtain a safer WCET estimate of a RTS composed of components using time-stamped traces of program execution.  ...  Construction of a Real-Time System (RTS) out of a number of pre-fabricated pieces of software, otherwise known as components, is a pervasive area of interest.  ...  ACKNOWLEDGEMENTS This work is supported by the Swedish Foundation for Strategic Research (SSF) through the Research Centre for Predictable Embedded Software Systems (PROGRESS).  ... 
doi:10.1109/iceccs.2011.9 dblp:conf/iceccs/BettsM11 fatcat:b3wiyjkdtrhubnunwkdpr3nm5a

Measurement-based real-time analysis of robotic software architectures

Nicolas Gobillot, Fabrice Guet, David Doose, Christophe Grand, Charles Lesire, Luca Santinelli
2016 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)  
, we rely on component-based models using the MAUVE language [11] , and on a schedulability analysis that takes such models into account [12] . • We estimate WCET of tasks from actual measurements, then  ...  traces, and then check the real-time constraints of each component.  ...  Related works Best practices towards real-time analysis of robotic systems have relied on model-based approaches.  ... 
doi:10.1109/iros.2016.7759509 dblp:conf/iros/GobillotGDGLS16 fatcat:q56cio57evdx5oils42tlwyvrq

A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems

Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
2011 ETFA2011  
This paper describes the tool support for a framework for performing statistical WCET analysis of realtime embedded systems by using bootstrapping sampling and Extreme Value Theory (EVT).  ...  Next, our proposed statistical inference uses EVT to analyze such timing traces, and computes a WCET estimate of the target program, pertaining to a given predictable probability.  ...  of the program under analysis based around analyzing timing traces, by using EVT.  ... 
doi:10.1109/etfa.2011.6059190 dblp:conf/etfa/LuNBC11 fatcat:5aewc6n2mrcpvfru4tlaeslxsq

Survey : Various Methods for WCET Estimate Calculation

Manjiri K., J.S. Umale
2016 International Journal of Computer Applications  
To use the GPUs in real time systems it is required to have time predictable behavior. However, it is hard to give an estimation of the WCET of a GPU program.  ...  In this paper , we focused on comparative analysis of various WCET estimate techniques with their results evaluations as well as observations.  ...  WCET estimate.  ... 
doi:10.5120/ijca2016908152 fatcat:zungibiou5gjtiqbsbcidqqyoe

Mixed Feelings About Mixed Criticality (Invited Paper)

Reinhard Wilhelm, Michael Wagner
2018 Worst-Case Execution Time Analysis  
ACM Subject Classification Software and its engineering → Real-time systems software Keywords and phrases WCET analysis, mixed criticality systems, multi-core platforms, scheduling, schedulability Digital  ...  , show that the MCS model heavily used by the scheduling community is fraught, and clarify why the traditional abstract interface between WCET analysis and schedulability analysis is obsolete.  ...  For a test case we perform both static WCET analysis and measurement to obtain base data for trace validation. A graph search then determines whether the measured trace  ... 
doi:10.4230/oasics.wcet.2018.1 dblp:conf/wcet/Wilhelm18 fatcat:jy5i4vqc6rca7kmakscdmg7kzu

A Framework for the Derivation of WCET Analyses for Multi-core Processors

Michael Jacobs, Sebastian Hahn, Sebastian Hack
2016 2016 28th Euromicro Conference on Real-Time Systems (ECRTS)  
This makes a precise worst-case execution time (WCET) analysis for multi-core processors challenging.  ...  More precise interference bounds for the concrete system are subsequently lifted to the approximation of the analysis.  ...  DFG as part of the Excellence Initiative of the German Federal and State Governments.  ... 
doi:10.1109/ecrts.2016.19 dblp:conf/ecrts/00020H16 fatcat:nanrhcgepfe27edssh26qztbge

Testing Implementation Soundness of a WCET Analysis Tool [chapter]

Reinhard Wilhelm, Markus Pister, Gernot Gebhard, Daniel Kästner
2020 A Journey of Embedded and Cyber-Physical Systems  
Huge sets of test traces in qualification suites are used at tool-qualification time to cover the sets of paths through the execution platform. Note the difference to measurement-based WCET analyses.  ...  Tool Qualification WCET analysis is applied to time-critical and safety-critical embedded-system software in problem-aware parts of the embedded-systems industry.  ...  Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation,  ... 
doi:10.1007/978-3-030-47487-4_2 fatcat:qvnt6ltauzcjjpmtgro7r3tpa4

Measurement based WCET Analysis for Multi-core Architectures

Hardik Shah, Andrew Coombes, Andreas Raabe, Kai Huang, Alois Knoll
2014 Proceedings of the 22nd International Conference on Real-Time Networks and Systems - RTNS '14  
In this paper, we present a technique to measure the Wcet of applications on multi-core architectures using existing measurement based timing analysis tools.  ...  Thus, our technique does not impact performance of the Cots chips by any ways. The technique is demonstrated by measuring Wcet of benchmark applications using the RapiTime timing analysis tool.  ...  Hybrid Measurement Based WCET analysis The hybrid measurement based Wcet analysis combines static code analysis and execution time measurements.  ... 
doi:10.1145/2659787.2659819 dblp:conf/rtns/ShahCRHK14 fatcat:tts73wn36rh4tgpl3tckyc5uze

Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures

Vincent Nelis, Patrick Meumeu Yomsi, Luis Miguel Pinho
2015 2015 Euromicro Conference on Digital System Design  
After discussing the pros and cons of all different methodologies for WCET analysis, we introduce a new approach that is developed within the P-SOCRATES project.  ...  After discussing the pros and cons of all different methodologies for WCET analysis, we introduce a new approach that is developed within the P-SOCRATES project.  ...  WCET analysis can be performed in a number of ways using different tools, but the main methodologies employed can be broadly classified in four categories: (1) Static analysis techniques, (2) Measurement-based  ... 
doi:10.1109/dsd.2015.105 dblp:conf/dsd/NelisYP15 fatcat:e3swrmvesnewzeranon3e7c7uy

Analysis of WCET in an experimental satellite software development

Jorge Garrido, Daniel Brosnan, Juan A. De La Puente, Alejandro Alonso, Juan Zamorano, Marc Herbstritt
2012 Worst-Case Execution Time Analysis  
This paper describes a case study in WCET analysis of an on-board spacecraft software system.  ...  The attitude control system of UPMSat-2, an experimental micro-satellite which is scheduled to be launched in 2013, is used for an experiment on analysing the worst-case execution time of code automatically  ...  Acknowledgements The authors wish to acknowledge the collaboration of the rest of the UPMSat-2 team, especially Assal Farrahi and Javier Cubas from the "Ignacio Da Riva" institute (IDR/UPM).  ... 
doi:10.4230/oasics.wcet.2012.81 dblp:conf/wcet/GarridoBPAZ12 fatcat:btp5warjavc6rixnam353xwo5e

Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code

Amine Marref, Adam Betts
2011 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing  
Estimating the worst-case execution time (WCET) of real-time embedded systems is compulsory for the verification of their correct functioning.  ...  In this paper we show that we can obtain WCET estimates for programs based on runtime-generated or owner-provided time-stamped execution traces and without the need to access the source code or reverse-engineer  ...  ACKNOWLEDGEMENTS This work is supported by the Swedish Foundation for Strategic Research (SSF) through the Research Centre for Predictable Embedded Software Systems (PROGRESS).  ... 
doi:10.1109/isorc.2011.25 dblp:conf/isorc/MarrefB11 fatcat:mupklbuuxng4tp3mpadl3rs7rm

Context-Sensitivity in IPET for Measurement-Based Timing Analysis [chapter]

Michael Zolda, Sven Bünte, Raimund Kirner
2010 Lecture Notes in Computer Science  
In the case of measurement-based execution time analysis, however, contexts must be derived from timed execution traces.  ...  The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-critical software components.  ...  Forschung) within the research project "Formal Timing Analysis Suite of Real-Time Systems" (FORTAS-RT) under contract P19230-N13. global WCET is reduced to the problem of maximizing the cost-weighted  ... 
doi:10.1007/978-3-642-16561-0_45 fatcat:jumg3baxajdn3biznyojpsswgm

Sampling-based Decentralized Monitoring for Networked Embedded Systems

Ezio Bartocci
2013 Electronic Proceedings in Theoretical Computer Science  
Decentralized monitoring (DM) refers to a monitoring technique, where each component must infer, based on a set of partial observations if the global property is satisfied.  ...  However, their work is based on the main assumption that neither the computation nor communication take time, hence it does not take into account how to set a sampling time among the components such that  ...  Acknowledgement We would like to thank the students Stephan Brugger, Dominik Macher and Daniel Schachinger that contribute in the implementation of the case study.  ... 
doi:10.4204/eptcs.124.9 fatcat:oqeefqhnpvaqzgp75m4zko4tou

On the Use of Context Information for Precise Measurement-Based Execution Time Estimation

Stefan Stattelmann, Florian Martin, Marc Herbstritt
2010 Worst-Case Execution Time Analysis  
A new approach to timing analysis is presented which was designed to overcome the problems of existing static and dynamic methods.  ...  After an adequate number of measurements have been taken, this information can be used to precisely estimate the Worst-Case Execution Time of a program without being overly pessimistic.  ...  Acknowledgements The authors would like to thank Christian Ferdinand for fruitful discussions about the content of this paper.  ... 
doi:10.4230/oasics.wcet.2010.64 dblp:conf/wcet/StattelmannM10 fatcat:u7xen636d5gw7ot3ovtchqx4o4

Experiences from Applying WCET Analysis in Industrial Settings

Jan Gustafsson, Andreas Ermedahl
2007 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)  
A critical timing measure is the worst-case execution time (WCET) of a program. Recently, tools for deriving WCET estimates, mostly based on static program analysis, have reached the market.  ...  Today, measurement-based timing analysis tools such as in-circuit emulators, logic analyzers and oscilloscopes, are used in industry.  ...  Basically, only if each hard real-time component of such a system fulfills its timing requirements, the whole system could be shown to meet its timing requirements.  ... 
doi:10.1109/isorc.2007.36 dblp:conf/isorc/GustafssonE07 fatcat:vrdgam7vfrgt5krxtcjcqsgqda
« Previous Showing results 1 — 15 out of 1,106 results