This HTML5 document contains 930 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://ma-graph.org/entity/
n21http://www.mrtc.mdh.se/projects/wcet/sweet/online/content/
n18http://drops.dagstuhl.de/opus/volltexte/2014/
n17http://drops.dagstuhl.de/opus/volltexte/2012/
dbpedia-jahttp://ja.dbpedia.org/resource/
n30http://www.es.mdh.se/publications/
n5http://
n26http://www.irisa.fr/alf/
dbpedia-dehttp://de.dbpedia.org/resource/
n31http://citeseerx.ist.psu.edu/viewdoc/
dcthttp://purl.org/dc/terms/
n10http://fr.dbpedia.org/resource/Modèle:
n16http://drops.dagstuhl.de/opus/volltexte/2008/
provhttp://www.w3.org/ns/prov#
dbpedia-fahttp://fa.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
n24https://www.researchgate.net/publication/228657061_Using_measurements_as_a_complement_to_static_worst-case_execution_time_analysis/file/
xsdhhttp://www.w3.org/2001/XMLSchema#
n34http://etr05.loria.fr/
foafhttp://xmlns.com/foaf/0.1/
n29http://g.co/kg/m/
n20http://www-users.cs.york.ac.uk/~jac/PublishedPapers/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n6http://www.inhandelectronics.com/wp-content/uploads/2013/03/
dbohttp://dbpedia.org/ontology/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n23http://fr.dbpedia.org/resource/Fichier:
owlhttp://www.w3.org/2002/07/owl#
n27https://tel.archives-ouvertes.fr/
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n9http://www.mrtc.mdh.se/projects/wcet/
dbpedia-frhttp://fr.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-ithttp://it.dbpedia.org/resource/
n8http://commons.wikimedia.org/wiki/Special:FilePath/

Statements

Subject Item
dbpedia-fr:Worst_Case_Execution_Time
rdfs:label
Worst Case Execution Time Maximale Laufzeit Worst-case execution time 最悪実行時間
rdfs:comment
Le WCET ou Worst Case Execution Time, en français pire cas de temps d’exécution, équivaut au plus long temps d’exécution d’un programme informatique. Aujourd’hui, cette information est indispensable pour l’intégrité des systèmes embarqués voués à la sécurité comme un ABS ou un coussin gonflable de sécurité (« airbag ») dans une voiture, les systèmes de contrôle aérien et tout autre système informatique critique. Ces systèmes doivent réagir en temps réel de manière fiable, ce qui implique à la fois d’être sûr du résultat produit par le programme mais aussi de connaître absolument le temps qu’il prendra pour s’exécuter. Pour garantir cela, le plus long temps d’exécution a besoin d’être connu le plus précisément possible. Toutefois, un programme ne se comporte pas toujours de manière identiqu
owl:sameAs
dbpedia-ja:最悪実行時間 n19:200130814 wikidata:Q362858 dbpedia-it:Worst-case_execution_time dbpedia-de:Maximale_Laufzeit n29:03_p2m dbr:Worst-case_execution_time dbpedia-fa:بدترین_زمان_اجرا
dbo:wikiPageID
5621132
dbo:wikiPageRevisionID
186422555
dbo:wikiPageWikiLink
dbpedia-fr:Programmation_informatique dbpedia-fr:Programmation_impérative dbpedia-fr:Programmation_modulaire dbpedia-fr:Licence_publique_générale_GNU dbpedia-fr:Instruction_informatique dbpedia-fr:Licence_publique_générale_limitée_GNU dbpedia-fr:Commission_européenne dbpedia-fr:Interprétation_abstraite dbpedia-fr:Routine_(informatique) dbpedia-fr:ARM_(entreprise) dbpedia-fr:Mémoire_cache dbpedia-fr:Architecture_matérielle dbpedia-fr:Graphe_de_flot_de_contrôle dbpedia-fr:Ordonnancement_de_travaux_informatiques dbpedia-fr:Ordonnancement_multicœur_soucieux_des_caches_et_équilibrage_de_charge dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:PowerPC dbpedia-fr:Système_de_contrôle_automatisé_du_trafic_aérien dbpedia-fr:Analyse_dynamique_de_programmes dbpedia-fr:Invariant dbpedia-fr:Opérande dbpedia-fr:Analyse_statique_de_programmes dbpedia-fr:Paradigme dbpedia-fr:Décidabilité n23:Graphe_de_flot_simple.jpeg n23:Illustration_des_temps_requis_pour_une_tâche_temps_réel.JPG dbpedia-fr:Langage_de_programmation_de_bas_niveau dbpedia-fr:Langage_de_programmation_de_haut_niveau dbpedia-fr:Développeur dbpedia-fr:Lois_de_Kirchhoff n23:Anomalie_causée_par_spéculation_(cache).jpeg n23:Anomalie_causée_par_ordonancement_(pipeline).jpeg n23:Arbre_syntaxique_simple.jpeg dbpedia-fr:Compilateur dbpedia-fr:Bloc_de_base dbpedia-fr:Pipeline_(architecture_des_processeurs) n23:Composants_de_l'analyse_WCET.jpeg dbpedia-fr:Système_anti-blocage_des_roues dbpedia-fr:Algorithme_génétique dbpedia-fr:Système_binaire category-fr:Système_embarqué dbpedia-fr:Algorithme_évolutionniste dbpedia-fr:Algorithmique dbpedia-fr:Microarchitecture dbpedia-fr:Abstraction_(informatique) dbpedia-fr:Sémantique dbpedia-fr:Freescale_68HC11 dbpedia-fr:Architecture_de_processeur dbpedia-fr:Clonage_(programmation) n23:Algorythme_évolutionniste.JPG n23:Analyse_temporelle_basée_sur_la_mesure.JPG dbpedia-fr:Processeur dbpedia-fr:Logiciel dbpedia-fr:Code_source dbpedia-fr:Airbag dbpedia-fr:Coût_de_production dbpedia-fr:Microprocesseur_multi-cœur dbpedia-fr:Optimisation_(mathématiques) dbpedia-fr:Architecture_SPARC dbpedia-fr:Chronomètre dbpedia-fr:Programme_informatique dbpedia-fr:Optimisation_linéaire_en_nombres_entiers dbpedia-fr:Théorie_des_graphes dbpedia-fr:Produit_scalaire dbpedia-fr:Heuristique_(mathématiques) dbpedia-fr:Système_temps_réel dbpedia-fr:Structure_de_contrôle dbpedia-fr:Arbre_de_la_syntaxe_abstraite dbpedia-fr:Prédiction_de_branchement dbpedia-fr:Système_embarqué dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Arbre_syntaxique dbpedia-fr:Itération
dbo:wikiPageExternalLink
n5:www.proartis-project.eu n5:www.pwcet.com n6:Measuring-Real-Time-Performance.pdf n21:index.php n9:home.html n26:index.php%3Foption=com_content&view=article&id=29&Itemid=&lang=fr n24:d912f50b8dfc2a49c0.pdf n31:download%3Fdoi=10.1.1.100.9889&rep=rep1&type=pdf n18:4608 n18:4600 n18:4605 n16:1663 n17:3561 n27:tel-00685866 n30:2175- n20:TheWayForwardJan1998.pdf n34:actes_ETR05.pdf
dbo:wikiPageLength
102476
dct:subject
category-fr:Système_embarqué
prop-fr:wikiPageUsesTemplate
n10:4e n10:Article_connexe n10:Article n10:Article_détaillé n10:Portail n10:Références n10:,
prov:wasDerivedFrom
wikipedia-fr:Worst_Case_Execution_Time?oldid=186422555&ns=0
foaf:depiction
n8:Analyse_temporelle_basée_sur_la_mesure.jpg n8:Arbre_syntaxique_simple.jpeg n8:Anomalie_causée_par_ordonancement_(pipeline).jpeg n8:Anomalie_causée_par_spéculation_(cache).jpeg n8:Graphe_de_flot_simple.jpeg n8:Algorythme_évolutionniste.jpg n8:Composants_de_l'analyse_WCET.jpeg n8:Illustration_des_temps_requis_pour_une_tâche_temps_réel.jpg
prop-fr:année
1977 2014 2012 2013 2010 2011 2008 2009 2006 2007 2004 2005 2002 2003 2000 2001 1998 1999 1997 1988 1989 1986
prop-fr:conférence
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation'
prop-fr:doi
10.1016 10.1109 10.7873 10.1 10.423 OASIcs.WCET.2012.103 10.1007 10.1023 10.1145
prop-fr:id
feautrier_88 Bunte_2011 hardware_2009 complicated_loops_2011 Healy_99 pwcet_2003 Mueller_1998 computations_take_times_2014 sweet_2014 Lundqvist_Stenstrom_1999 automotive_05 otawa_2010 Latiu_2012 framework_multicoeurs_2014 Kligerman_1986 Wenzel_2008 blocdebase_2000 Ferdinand2008 Fan_Ni_2012 Bygde2009 Overview2008 data_hybrid_dynamic_method_2005 opti_tdma semi_dynamic_method_2002 driven_branch_prediction_2011 Srikant_2012 Marref2012 method_wcet_datacaching_99 Kirner2008 malik_1997 Kirner_2005 tree_based_1989 Gustafsson_2006 Kelter_2014 tree_based_2010 register_allocation_2009 squeezing_2013 abstract_interpretion_2014 shaw_89 cloning_2007 lustre principes_analyse_99 static_analyser_2003 Puaut_2005 mibench Coen-Porisini_2001 program_semantics Stewart_2006 model-driven_08 Benhamamouch_2011 annotation_bis Wilhelm_2011 Păsăreanu_2009 Ferdinand_99 Raymond_ipet_14 defaut_cache_2013 Nélis_2014 Mueller_00 Zolda_2011 Wenzel_2005 loop_unswitching_2009 Falk_2011 semiauto_derivation_2010 Lundqvist_1999 Metzlaff_2012 Theiling_2000 evolut_tdma merasa_2010 Holsti_2008 Kirner_2004 Marref_2012 tree_based_2001 Tracey_1998 Gustafsson2008 Zwirchmayr_2014 annotation_2001 Wegener_1997 stappert_2000 static_locked_cache_2012 langenbach_2002 principes_analyse_77 partial_cache_locking_2012 Puschner_2000 proartis_2013 Puaut_2014 rtubound Axer_2014 Guan_2013 mrtc_url
prop-fr:isbn
978 3540654100 0 1 3
prop-fr:issn
963 922 2190 1865 98
prop-fr:jour
30 16 9 14 6 7
prop-fr:langue
en fr
prop-fr:lieu
Nancy Agios Konstantinos Denver Cheju Island Seattle Beijing Norwell Paris New York Pise Boston Los Alamitos Londres Grenoble Madrid Orlando, FL Heslington, York Bucharest Washington Liverpool Berlin New-York Newport Beach Paphos Porto Porto Sani Vasteras York
prop-fr:mois
Juin Décembre Octobre Septembre Mars Mai Février aout Novembre Fevrier Juillet Janvier Avril Decembre
prop-fr:nom
Cuenot Burns Clark Cousot Falk Cordes Mander Von Hanxleden Wandeler Bünte Roychoudhury Mitra Steven Li Srikant Amerasinghe Sotin Metzlaff Sebastian Bertogna Ferdinand Pichardie Benhamamouch Guthaus Sainrat A. Gustafsson Pinho Jones Lokuciejewski Guliashvili Gerdes Ermedahl Stappert Yomsi Walley Blazy Merriam Santinelli Kirner Zwirchmayr Thesing Holsti Borghorst Engblom Jonsson Puaut C. Kleinsorge Păsăreanu Lencevicius Stewart Hankin Lisper Wegener Chu Rochange Barreto Vardanega Paolieri Martonosi Quinones Ballabriga Metz Prantl Reineke Vargas Raymond Shaw Schlickling Girault Rival Cruz Cassé Chong Jaffar Chen Gao Maiza Ravindar Plazar Feautrier Maxim Pezzè Bonenfant Nielson Wenzel Fonseca Kelter Wartel Marongiu Bernat Grund Abella Uhrig Ringenberg Kluge Berger Schmitz Theiling Cucu Cordeiro Valero Whalley Claraz Thiele Blanchet Harmon Stenström Puschner Sthamer Wilhelm Ernst Gonzalez Cret Austin Casse Schmoll Stoyenko Long Guan Triquet Ermedhal Wolf Marwedel Brown Bourgade Ungerer Yang Ni Mueller Wan Mok Kadlec Mudge Tantisirivat Kleinsorge Gedikli Kosmidis Hamann Lv de Michiel Ghezzi Vacariu Halbwachs Feret Mauborgne Heckmann Langenbach von Hanxleden Maroneze Colin Staschulat Lo Pister Mische Marref Houston Tracey Malik Coen-Porisini Petrov Schwarzer Eyres Denaro Koza Asavoae Kligerman Tautschnig Liang Knoop Hardy Miné Schordan Chattopadhyay Healy Axer Seinrat Petters Cazorla Nélis Rieder Latiu Arnold Visser Monniaux Kovacs Lundqvist Ploedereder Altenbernd Bydge Zolda Ding Quiñones Byhlin
prop-fr:numéro
9 2
prop-fr:pages
875 941 103 99 126 127 66 67 72 74 81 93 94 37 32 35 44 53 63 57 7 1 3 13 11 23 238 233 243 255 249 196 204 217 165 161 169 183 131 142 137 144 147 157 159 333 340 339 346 294 296 308 319 312 279 482 459 479 430 435 412 1442 726
prop-fr:prénom
Fan Han Marko Ximping Peter A. Adrian Ernesto Lothar Armelle T.M. Daniel Henrik Mingsong José Carlos Markus Sascha Norman Emery Floria Claire Bryan F. Jens Hanne R. Leonidas Andrea Marco Hugues Yau-Tsun Jan Keith David Michael Marion G. Theo Philip Christine Andre Wang Yi Robert D. Maurice Luís Miguel Huping Sandrine Fatih Martin Alain Corina S. Liliana Milhail A.C. Mickael R. Florian Benoit Antoine Bjorn Bengt Mateo Raimondas Duc-Hiep Rolf Sven Franck Francisco Jérome J.S. Frank Jorg R.B. Joachim P. Bruno O. A. Irakli Chris Niklas Joxan Bilel Christian Heiko Marianne Zlatko Edu N. Carlo Margaret Xiaopeng H. C. Alan Reinhold J. Laurent Ingomar Christopher A. Harmen Per David E. Lee Kee Abhik Patrick Archana Vincent Stefan M. Erhard Roman Pascal Francisco J. Eduardo Jaume Xavier T. B. Thomas Damien Stefan Marc Bernhard Giovanni Yun Raimundo julian Amine Paul John Friedhelm Raimund Sudipta Jakob Code Mike Tulika Mauro Laura Nicholas Luca M.R. David b. K. Fabiano S. Lucas Tullio M. Willem Clément Flemming Dorin Reinhard Denis Roberto Radhia Andreas David B. Nigel Isabelle Stephan Philippe Alberto Albrecht Sharad Y.N. Nan F. E Marref L. Alexander David Teofilo F. G. I. Xiang D. Guillem
prop-fr:périodique
Real-Time Systems , 2011 23rd Euromicro Conference on Real-Time Systems WWC '01 Proceedings of the Workload Characterization, 2001. WWC-4. 2001 IEEE International Workshop Design, Automation and Test in Europe, 2005. Proceedings These DAC '97 Proceedings of the 34th annual Design Automation Conference In Proc. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation DAC '09 Proceedings of the 46th Annual Design Automation Conference IEEE 9th International Conference on Embedded Software and Systems Real-Time Systems Research Group University of York. England, UK, Techical Report YCS-2003-353 Object/Component/Service-Oriented Real-Time Distributed Computing , 2011 14th IEEE International Symposium on DAC '12 Proceedings of the 49th Annual Design Automation Conference Parallel and Distributed Computing, Applications and Technologies , 2012 13th International Conference on Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Volume 30 Issue 5 IEEE Real-Time Systems Newsletter, Volume 5 Issue 2-3 ACM Transactions on Embedded Computing Systems , Volume 13 Issue 4, Article No. 82 Engineering of distributed control systems proceedings of the WCET Workshop 2008 RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications Software Technologies for Future Embedded and Ubiquitous Systems, 2005. SEUS 2005. Third IEEE Workshop on SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems Real-Time Computing Systems and Applications, 2000. Proceedings. ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference Intelligent Systems at the Service of Mankind Software Engineering, IEEE Transactions on Industrial Embedded Systems , 6th IEEE International Symposium on Proceedings of the 21st International conference on Real-Time Networks and Systems Embedded Computer Systems: Architectures, Modeling, and Simulation , 2014 International Conference on 12 13 14 6 Journal Real-Time Systems, Volume 45, Issue 1-2 RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium CGO '12 Proceedings of the Tenth International Symposium on Code Generation and Optimization 4.0 RAIRO Recherche Operationnelle, volume 22, no. 3 Design, Automation & Test in Europe Conference & Exhibition Journal of Systems Architecture: the EUROMICRO Journal - Special issue on real-time systems 200811 Ecole d'été Temps Réel 2005 - edition Real-Time Systems, Volume 17 Issue 2-3 ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems Magazine "Communications of the ACM", Volume 57 Issue 2 Proceedings of the 2008 ACM symposium on Applied computing Journal IEEE Micro Volume 30 Issue 5 IEEE Transactions on Computers archive, Volume 48 Issue 1 Journal ACM Transactions on Embedded Computing Systems , Volume 7, Issue 3 Real-Time Systems - Special issue on worst-case execution-time analysis, Volume 18 Issue 2/3 MEMOCODE '05 Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design 2.0 Proc. IEEE Workshop on Software Tech. for Future Embedded and Ubiquitous Systs Automatic Test Data Generation for Software Path Testing Using Evolutionary Algorithms Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems Newsletter ACM SIGPLAN Notices, Volume 38, Issue 5 Proceedings of the 36th annual international symposium on Computer architecture International Workshop on Dependable Computing and Its Applications Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on EMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software Real-Time Technology and Applications Symposium, 1998. Proceedings. Fourth IEEE Book Principles of Program Analysis EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software IEEE International Conference on CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering International Journal on Software Tools for Technology Transfer Embedded Systems Conference ACM SIGPLAN Notices - LCTES '10 Volume 45 Issue 4 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science , Article No. 2 Real-Time Systems, 2005. . Proceedings. 17th Euromicro Conference on Real-Time Technology and Applications Symposium.. Fourth IEEE Procs 11th Int Workshop on Worst-Case Execution Time Analysis Proceedings of the 14th International Conference on Embedded Software, Article No. 8 Journal Real-Time Systems, Volume 1, Issue 2 LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages Software Quality Journal Internet Site "The Worst-Case Execution Time analysis project" SAS '02 Proceedings of the 9th International Symposium on Static Analysis
prop-fr:titre
Emerging Intelligent Data and Web Technologies Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints Efficient and Precise Cache Behavior Prediction for Real-TimeSystems Automatic derivation of path and loop annotations in object-oriented real-time programs WCET Tool Challenge 2011 : Report Pipeline Modeling for Timing Analysis Real-Time Euclid: A language for reliable real-time systems WCET-centric partial instruction cache locking Static Timing Analysis of Embedded Software Mälardalen Real-Time Research Center Hardware support for WCET analysis of hard real-time multicore systems A synchronous language at work: the story of Lustre PROARTIS: Probabilistically Analyzable Real-Time Systems A survey of new trends in symbolic execution for software testing and analysis Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective Calculating the maximum, execution time of real-time programs Performance data collection using a hybrid approach The worst-case execution-time problem—overview of methods and survey of tools An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution Calcul du pire temps d’exécution : Méthode d’analyse formelle s’adaptant à la sophistication croissante des architectures matérielles OTAWA: an open toolbox for adaptive WCET analysis 8 The way forward for unifying dynamic test case generation: The optimisation-based approach TDMA time slot and turn optimization with evolutionary search techniques SWEET – a Tool for WCET Flow Analysis Bounding Pipeline and Instruction Cache Performance WCET-aware scheduling optimizations for multi-core real-time systems Parametric Integer Programming Building timing predictable embedded systems A Unified WCET analysis framework for multicore platforms Influence of procedure cloning on WCET prediction Using Basic Block Based Instruction Prefetching to Optimize WCET Analysis for Real-Time Applications An Efficient Algorithm for Parametric WCET Calculation Abstract interpretation: past, present and future pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems A Review of Worst-Case Execution-Time Analysis A Modular & Retargetable Framework for Tree-Based WCET Analysis Timing Analysis for Instruction Caches Transforming flow information during code optimization for timing analysis Using Measurements as a Complement to Static Worst-Case Execution Time Analysis Worst-Case Execution Time - A Tool Provider's Perspective Measurement-based timing analysis The Challenge of Time-Predictability in Modern Many-Core Architectures A Method to Improve the Estimated Worst-Case Performance of Data Caching Usability Aspects of WCET Analysis Symbolic simulation on complicated loops for WCET path analysis A comparison of static analysis and evolutionary testing for the verification of timing constraints WCET-aware register allocation based on graph coloring A static analyzer for large safety-critical software WCET-aware static locking of instruction caches Extracting safe and precise control flow from binaries Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds Let's get less optimistic in measurement-based timing analysis Identifying Relevant Parameters to Improve WCET Analysis Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis MiBench: A free, commercially representative embedded benchmark suite A Formally Verified WCET Estimation Tool Méthodes de calcul de WCET Etat de l’art Complete worst-case execution time analysis of straight-line hard real-time programs The Worst Case Execution Time Tool Challenge 2006 Applying static WCET analysis to automotive communication software WCET-aware Register Allocation Based on Integer-Linear Programming Optimal TDMA time slot and cycle length allocation for hard real-time systems A general approach for expressing infeasibility in implicit path enumeration technique r-TuBound: loop bounds for WCET analysis Measurement-based worst-case execution time analysis using automatic test-data generation Static probabilistic worst case execution time estimation for architectures with faulty instruction caches Fast and Precise WCET Prediction by Separated Cache andPath Analyses Principles of Program Analysis FIFO cache analysis for WCET estimation: A quantitative approach Testing real-time systems using genetic algorithms Measurement-based worst-case execution time analysis Accelerating WCET-driven optimizations by the invariant path paradigm: a case study of loop unswitching WCET Analysis of Probabilistic Hard Real-Time Systems Reasoning about time in higher-level language software Impact of Instruction Cache and Different Instruction Scratchpads on the WCET Estimate Evolutionary Techniques for Parametric WCET Analysis Semi-automatic derivation of timing models for WCET analysis Improving the Confidence in Measurement-Based Timing Analysis Obstacles in Worst-Case Execution Time Analysis Using Symbolic Execution for Verifying Safety-Critical Systems Evaluating tight execution time bounds of programs by annotations Measuring Execution Time and Real-Time Performance WCET-driven branch prediction aware code positioning Computation takes time, but how much? Towards a model-driven engineering approach for developing embedded hard real-time software
prop-fr:url
n6:Measuring-Real-Time-Performance.pdf n9:home.html n16:1663 n17:3561 n18:4600 n18:4605 n18:4608 n5:www.pwcet.com n20:TheWayForwardJan1998.pdf n5:www.proartis-project.eu n24:d912f50b8dfc2a49c0.pdf n26:index.php%3Foption=com_content&view=article&id=29&Itemid=&lang=fr n21:index.php n27:tel-00685866 n30:2175- n34:actes_ETR05.pdf n31:download%3Fdoi=10.1.1.100.9889&rep=rep1&type=pdf
prop-fr:volume
12 6 2 23 17 Volume 18 Volume 11
dbo:thumbnail
n8:Illustration_des_temps_requis_pour_une_tâche_temps_réel.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Worst_Case_Execution_Time
dbo:abstract
Le WCET ou Worst Case Execution Time, en français pire cas de temps d’exécution, équivaut au plus long temps d’exécution d’un programme informatique. Aujourd’hui, cette information est indispensable pour l’intégrité des systèmes embarqués voués à la sécurité comme un ABS ou un coussin gonflable de sécurité (« airbag ») dans une voiture, les systèmes de contrôle aérien et tout autre système informatique critique. Ces systèmes doivent réagir en temps réel de manière fiable, ce qui implique à la fois d’être sûr du résultat produit par le programme mais aussi de connaître absolument le temps qu’il prendra pour s’exécuter. Pour garantir cela, le plus long temps d’exécution a besoin d’être connu le plus précisément possible. Toutefois, un programme ne se comporte pas toujours de manière identique, son temps d’exécution peut varier en fonction du type de tâche à réaliser mais aussi du type de l’appareil sur lequel il s’exécute. Par conséquent, les caractéristiques du code du programme et les caractéristiques matérielles ont besoin d’être considérées. Pour déterminer le WCET, plusieurs pratiques existent. La première, utilisée couramment dans l’industrie, s’appuie sur les mesures: c’est la . Cette méthode a pour principe d’exécuter un certain nombre de fois le programme avec des données d’entrées différentes considérées comme celles provoquant la durée d’exécution la plus longue. Toutefois, les mesures ne donnent pas toutes les garanties que le plus long temps ait été rencontré, ce qui entraîne des erreurs. Une deuxième méthode fonctionne par analyse du programme sans même l’exécuter: c’est la . Cette technique alternative dérive par abstraction les propriétés que le programme aurait pour toutes ses exécutions possibles. Son résultat donne un temps qui est garanti pour être plus large que le (ou égal au) plus long temps d’exécution du programme. Elle a donc tendance à surestimer le WCET. Pour réduire ce phénomène, l’analyse a besoin d’être effectuée tant au niveau haut du code qu’au niveau bas. La prise en compte des données micro architecturales telles que les comportements processeurs et mémoires est de plus en plus importante surtout depuis le développement des usages de processeurs à plusieurs cœurs dans les systèmes embarqués. Une troisième méthode tente d’améliorer les calculs du WCET en combinant les techniques dynamiques et statiques: c’est la . Ces différentes méthodes sont disponibles sous forme d’outils issus à la fois du monde universitaire, industriel et commercial.