Property |
Value |
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. (fr)
- 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. (fr)
|
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 102476 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1977 (xsd:integer)
- 1986 (xsd:integer)
- 1988 (xsd:integer)
- 1989 (xsd:integer)
- 1997 (xsd:integer)
- 1998 (xsd:integer)
- 1999 (xsd:integer)
- 2000 (xsd:integer)
- 2001 (xsd:integer)
- 2002 (xsd:integer)
- 2003 (xsd:integer)
- 2004 (xsd:integer)
- 2005 (xsd:integer)
- 2006 (xsd:integer)
- 2007 (xsd:integer)
- 2008 (xsd:integer)
- 2009 (xsd:integer)
- 2010 (xsd:integer)
- 2011 (xsd:integer)
- 2012 (xsd:integer)
- 2013 (xsd:integer)
- 2014 (xsd:integer)
|
prop-fr:conférence
|
- PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation' (fr)
- PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation' (fr)
|
prop-fr:doi
|
- 10.100000 (xsd:double)
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
- 10.102300 (xsd:double)
- 10.110900 (xsd:double)
- 10.114500 (xsd:double)
- 10.423000 (xsd:double)
- 10.787300 (xsd:double)
- OASIcs.WCET.2012.103 (fr)
|
prop-fr:id
|
- lustre (fr)
- Latiu_2012 (fr)
- Axer_2014 (fr)
- Benhamamouch_2011 (fr)
- Bunte_2011 (fr)
- Bygde2009 (fr)
- Coen-Porisini_2001 (fr)
- Falk_2011 (fr)
- Fan_Ni_2012 (fr)
- Ferdinand2008 (fr)
- Ferdinand_99 (fr)
- Guan_2013 (fr)
- Gustafsson2008 (fr)
- Gustafsson_2006 (fr)
- Healy_99 (fr)
- Holsti_2008 (fr)
- Kelter_2014 (fr)
- Kirner2008 (fr)
- Kirner_2004 (fr)
- Kirner_2005 (fr)
- Kligerman_1986 (fr)
- Lundqvist_1999 (fr)
- Lundqvist_Stenstrom_1999 (fr)
- Marref2012 (fr)
- Marref_2012 (fr)
- Metzlaff_2012 (fr)
- Mueller_00 (fr)
- Mueller_1998 (fr)
- Nélis_2014 (fr)
- Overview2008 (fr)
- Puaut_2005 (fr)
- Puaut_2014 (fr)
- Puschner_2000 (fr)
- Păsăreanu_2009 (fr)
- Raymond_ipet_14 (fr)
- Srikant_2012 (fr)
- Stewart_2006 (fr)
- Theiling_2000 (fr)
- Tracey_1998 (fr)
- Wegener_1997 (fr)
- Wenzel_2005 (fr)
- Wenzel_2008 (fr)
- Wilhelm_2011 (fr)
- Zolda_2011 (fr)
- Zwirchmayr_2014 (fr)
- abstract_interpretion_2014 (fr)
- annotation_2001 (fr)
- annotation_bis (fr)
- automotive_05 (fr)
- blocdebase_2000 (fr)
- cloning_2007 (fr)
- complicated_loops_2011 (fr)
- computations_take_times_2014 (fr)
- data_hybrid_dynamic_method_2005 (fr)
- defaut_cache_2013 (fr)
- driven_branch_prediction_2011 (fr)
- evolut_tdma (fr)
- feautrier_88 (fr)
- framework_multicoeurs_2014 (fr)
- hardware_2009 (fr)
- langenbach_2002 (fr)
- loop_unswitching_2009 (fr)
- malik_1997 (fr)
- merasa_2010 (fr)
- method_wcet_datacaching_99 (fr)
- mibench (fr)
- model-driven_08 (fr)
- mrtc_url (fr)
- opti_tdma (fr)
- otawa_2010 (fr)
- partial_cache_locking_2012 (fr)
- principes_analyse_77 (fr)
- principes_analyse_99 (fr)
- proartis_2013 (fr)
- program_semantics (fr)
- pwcet_2003 (fr)
- register_allocation_2009 (fr)
- rtubound (fr)
- semi_dynamic_method_2002 (fr)
- semiauto_derivation_2010 (fr)
- shaw_89 (fr)
- squeezing_2013 (fr)
- stappert_2000 (fr)
- static_analyser_2003 (fr)
- static_locked_cache_2012 (fr)
- sweet_2014 (fr)
- tree_based_1989 (fr)
- tree_based_2001 (fr)
- tree_based_2010 (fr)
- lustre (fr)
- Latiu_2012 (fr)
- Axer_2014 (fr)
- Benhamamouch_2011 (fr)
- Bunte_2011 (fr)
- Bygde2009 (fr)
- Coen-Porisini_2001 (fr)
- Falk_2011 (fr)
- Fan_Ni_2012 (fr)
- Ferdinand2008 (fr)
- Ferdinand_99 (fr)
- Guan_2013 (fr)
- Gustafsson2008 (fr)
- Gustafsson_2006 (fr)
- Healy_99 (fr)
- Holsti_2008 (fr)
- Kelter_2014 (fr)
- Kirner2008 (fr)
- Kirner_2004 (fr)
- Kirner_2005 (fr)
- Kligerman_1986 (fr)
- Lundqvist_1999 (fr)
- Lundqvist_Stenstrom_1999 (fr)
- Marref2012 (fr)
- Marref_2012 (fr)
- Metzlaff_2012 (fr)
- Mueller_00 (fr)
- Mueller_1998 (fr)
- Nélis_2014 (fr)
- Overview2008 (fr)
- Puaut_2005 (fr)
- Puaut_2014 (fr)
- Puschner_2000 (fr)
- Păsăreanu_2009 (fr)
- Raymond_ipet_14 (fr)
- Srikant_2012 (fr)
- Stewart_2006 (fr)
- Theiling_2000 (fr)
- Tracey_1998 (fr)
- Wegener_1997 (fr)
- Wenzel_2005 (fr)
- Wenzel_2008 (fr)
- Wilhelm_2011 (fr)
- Zolda_2011 (fr)
- Zwirchmayr_2014 (fr)
- abstract_interpretion_2014 (fr)
- annotation_2001 (fr)
- annotation_bis (fr)
- automotive_05 (fr)
- blocdebase_2000 (fr)
- cloning_2007 (fr)
- complicated_loops_2011 (fr)
- computations_take_times_2014 (fr)
- data_hybrid_dynamic_method_2005 (fr)
- defaut_cache_2013 (fr)
- driven_branch_prediction_2011 (fr)
- evolut_tdma (fr)
- feautrier_88 (fr)
- framework_multicoeurs_2014 (fr)
- hardware_2009 (fr)
- langenbach_2002 (fr)
- loop_unswitching_2009 (fr)
- malik_1997 (fr)
- merasa_2010 (fr)
- method_wcet_datacaching_99 (fr)
- mibench (fr)
- model-driven_08 (fr)
- mrtc_url (fr)
- opti_tdma (fr)
- otawa_2010 (fr)
- partial_cache_locking_2012 (fr)
- principes_analyse_77 (fr)
- principes_analyse_99 (fr)
- proartis_2013 (fr)
- program_semantics (fr)
- pwcet_2003 (fr)
- register_allocation_2009 (fr)
- rtubound (fr)
- semi_dynamic_method_2002 (fr)
- semiauto_derivation_2010 (fr)
- shaw_89 (fr)
- squeezing_2013 (fr)
- stappert_2000 (fr)
- static_analyser_2003 (fr)
- static_locked_cache_2012 (fr)
- sweet_2014 (fr)
- tree_based_1989 (fr)
- tree_based_2001 (fr)
- tree_based_2010 (fr)
|
prop-fr:isbn
|
- 0 (xsd:integer)
- 1 (xsd:integer)
- 3 (xsd:integer)
- 978 (xsd:integer)
- 3540654100 (xsd:decimal)
|
prop-fr:issn
|
- 98 (xsd:integer)
- 922 (xsd:integer)
- 963 (xsd:integer)
- 1865 (xsd:integer)
- 2190 (xsd:integer)
|
prop-fr:jour
|
- 6 (xsd:integer)
- 7 (xsd:integer)
- 9 (xsd:integer)
- 14 (xsd:integer)
- 16 (xsd:integer)
- 30 (xsd:integer)
|
prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
prop-fr:lieu
|
- Berlin (fr)
- Boston (fr)
- Denver (fr)
- Grenoble (fr)
- Liverpool (fr)
- Londres (fr)
- Madrid (fr)
- Nancy (fr)
- New York (fr)
- Newport Beach (fr)
- Paris (fr)
- Pise (fr)
- Porto (fr)
- Seattle (fr)
- York (fr)
- Washington (fr)
- New-York (fr)
- Beijing (fr)
- Paphos (fr)
- Agios Konstantinos (fr)
- Bucharest (fr)
- Orlando, FL (fr)
- Los Alamitos (fr)
- Cheju Island (fr)
- Heslington, York (fr)
- Norwell (fr)
- Porto Sani (fr)
- Vasteras (fr)
- Berlin (fr)
- Boston (fr)
- Denver (fr)
- Grenoble (fr)
- Liverpool (fr)
- Londres (fr)
- Madrid (fr)
- Nancy (fr)
- New York (fr)
- Newport Beach (fr)
- Paris (fr)
- Pise (fr)
- Porto (fr)
- Seattle (fr)
- York (fr)
- Washington (fr)
- New-York (fr)
- Beijing (fr)
- Paphos (fr)
- Agios Konstantinos (fr)
- Bucharest (fr)
- Orlando, FL (fr)
- Los Alamitos (fr)
- Cheju Island (fr)
- Heslington, York (fr)
- Norwell (fr)
- Porto Sani (fr)
- Vasteras (fr)
|
prop-fr:mois
|
- Avril (fr)
- Décembre (fr)
- Février (fr)
- Janvier (fr)
- Juillet (fr)
- Juin (fr)
- Mai (fr)
- Mars (fr)
- Novembre (fr)
- Octobre (fr)
- Septembre (fr)
- Fevrier (fr)
- aout (fr)
- Decembre (fr)
- Avril (fr)
- Décembre (fr)
- Février (fr)
- Janvier (fr)
- Juillet (fr)
- Juin (fr)
- Mai (fr)
- Mars (fr)
- Novembre (fr)
- Octobre (fr)
- Septembre (fr)
- Fevrier (fr)
- aout (fr)
- Decembre (fr)
|
prop-fr:nom
|
- Berger (fr)
- Houston (fr)
- Metz (fr)
- A. (fr)
- Brown (fr)
- Heckmann (fr)
- Chen (fr)
- Schmitz (fr)
- Wolf (fr)
- Jones (fr)
- Long (fr)
- Raymond (fr)
- Shaw (fr)
- Austin (fr)
- Clark (fr)
- Colin (fr)
- Hardy (fr)
- Mueller (fr)
- Stewart (fr)
- Chu (fr)
- Cordes (fr)
- Cruz (fr)
- Fonseca (fr)
- Gonzalez (fr)
- Kovacs (fr)
- Liang (fr)
- Lundqvist (fr)
- Maxim (fr)
- Ni (fr)
- Pister (fr)
- Sebastian (fr)
- Yang (fr)
- Ernst (fr)
- Ferdinand (fr)
- Girault (fr)
- Healy (fr)
- Lo (fr)
- Wilhelm (fr)
- Bourgade (fr)
- Gao (fr)
- Thiele (fr)
- Arnold (fr)
- Burns (fr)
- Hamann (fr)
- Malik (fr)
- Abella (fr)
- Kluge (fr)
- Wegener (fr)
- Blanchet (fr)
- Whalley (fr)
- Falk (fr)
- Tracey (fr)
- Mok (fr)
- Vargas (fr)
- Harmon (fr)
- Valero (fr)
- Barreto (fr)
- Lv (fr)
- Prantl (fr)
- Rival (fr)
- Chong (fr)
- Marongiu (fr)
- Kadlec (fr)
- Rieder (fr)
- Denaro (fr)
- Hankin (fr)
- Gedikli (fr)
- Merriam (fr)
- Pinho (fr)
- Bernat (fr)
- Reineke (fr)
- Halbwachs (fr)
- Marwedel (fr)
- Visser (fr)
- Jonsson (fr)
- Bonenfant (fr)
- Mauborgne (fr)
- Cazorla (fr)
- Feret (fr)
- Schmoll (fr)
- Cassé (fr)
- Mander (fr)
- Casse (fr)
- Wenzel (fr)
- Quiñones (fr)
- Gustafsson (fr)
- Schwarzer (fr)
- Wan (fr)
- Claraz (fr)
- Gerdes (fr)
- Ding (fr)
- Grund (fr)
- Guan (fr)
- Petrov (fr)
- Jaffar (fr)
- Kelter (fr)
- Cucu (fr)
- Miné (fr)
- Mitra (fr)
- Cordeiro (fr)
- Chattopadhyay (fr)
- Holsti (fr)
- Blazy (fr)
- Ungerer (fr)
- Amerasinghe (fr)
- Koza (fr)
- Langenbach (fr)
- Ringenberg (fr)
- Walley (fr)
- Nielson (fr)
- Mudge (fr)
- Knoop (fr)
- Cousot (fr)
- Puschner (fr)
- Maiza (fr)
- Coen-Porisini (fr)
- Cret (fr)
- Latiu (fr)
- Vacariu (fr)
- Triquet (fr)
- Sotin (fr)
- Monniaux (fr)
- Altenbernd (fr)
- Asavoae (fr)
- Axer (fr)
- Ballabriga (fr)
- Benhamamouch (fr)
- Bertogna (fr)
- Borghorst (fr)
- Bydge (fr)
- Byhlin (fr)
- Bünte (fr)
- C. Kleinsorge (fr)
- Cuenot (fr)
- Engblom (fr)
- Ermedahl (fr)
- Ermedhal (fr)
- Eyres (fr)
- Feautrier (fr)
- Ghezzi (fr)
- Guliashvili (fr)
- Guthaus (fr)
- Kirner (fr)
- Kleinsorge (fr)
- Kligerman (fr)
- Kosmidis (fr)
- Lencevicius (fr)
- Lisper (fr)
- Lokuciejewski (fr)
- Maroneze (fr)
- Marref (fr)
- Martonosi (fr)
- Metzlaff (fr)
- Mische (fr)
- Nélis (fr)
- Paolieri (fr)
- Petters (fr)
- Pezzè (fr)
- Pichardie (fr)
- Plazar (fr)
- Ploedereder (fr)
- Puaut (fr)
- Păsăreanu (fr)
- Quinones (fr)
- Ravindar (fr)
- Rochange (fr)
- Roychoudhury (fr)
- Sainrat (fr)
- Santinelli (fr)
- Schlickling (fr)
- Schordan (fr)
- Seinrat (fr)
- Srikant (fr)
- Stappert (fr)
- Staschulat (fr)
- Stenström (fr)
- Steven Li (fr)
- Sthamer (fr)
- Stoyenko (fr)
- Tantisirivat (fr)
- Tautschnig (fr)
- Theiling (fr)
- Thesing (fr)
- Uhrig (fr)
- Vardanega (fr)
- Von Hanxleden (fr)
- Wandeler (fr)
- Wartel (fr)
- Yomsi (fr)
- Zolda (fr)
- Zwirchmayr (fr)
- de Michiel (fr)
- von Hanxleden (fr)
- Berger (fr)
- Houston (fr)
- Metz (fr)
- A. (fr)
- Brown (fr)
- Heckmann (fr)
- Chen (fr)
- Schmitz (fr)
- Wolf (fr)
- Jones (fr)
- Long (fr)
- Raymond (fr)
- Shaw (fr)
- Austin (fr)
- Clark (fr)
- Colin (fr)
- Hardy (fr)
- Mueller (fr)
- Stewart (fr)
- Chu (fr)
- Cordes (fr)
- Cruz (fr)
- Fonseca (fr)
- Gonzalez (fr)
- Kovacs (fr)
- Liang (fr)
- Lundqvist (fr)
- Maxim (fr)
- Ni (fr)
- Pister (fr)
- Sebastian (fr)
- Yang (fr)
- Ernst (fr)
- Ferdinand (fr)
- Girault (fr)
- Healy (fr)
- Lo (fr)
- Wilhelm (fr)
- Bourgade (fr)
- Gao (fr)
- Thiele (fr)
- Arnold (fr)
- Burns (fr)
- Hamann (fr)
- Malik (fr)
- Abella (fr)
- Kluge (fr)
- Wegener (fr)
- Blanchet (fr)
- Whalley (fr)
- Falk (fr)
- Tracey (fr)
- Mok (fr)
- Vargas (fr)
- Harmon (fr)
- Valero (fr)
- Barreto (fr)
- Lv (fr)
- Prantl (fr)
- Rival (fr)
- Chong (fr)
- Marongiu (fr)
- Kadlec (fr)
- Rieder (fr)
- Denaro (fr)
- Hankin (fr)
- Gedikli (fr)
- Merriam (fr)
- Pinho (fr)
- Bernat (fr)
- Reineke (fr)
- Halbwachs (fr)
- Marwedel (fr)
- Visser (fr)
- Jonsson (fr)
- Bonenfant (fr)
- Mauborgne (fr)
- Cazorla (fr)
- Feret (fr)
- Schmoll (fr)
- Cassé (fr)
- Mander (fr)
- Casse (fr)
- Wenzel (fr)
- Quiñones (fr)
- Gustafsson (fr)
- Schwarzer (fr)
- Wan (fr)
- Claraz (fr)
- Gerdes (fr)
- Ding (fr)
- Grund (fr)
- Guan (fr)
- Petrov (fr)
- Jaffar (fr)
- Kelter (fr)
- Cucu (fr)
- Miné (fr)
- Mitra (fr)
- Cordeiro (fr)
|
prop-fr:numéro
|
- 2 (xsd:integer)
- 9 (xsd:integer)
|
prop-fr:pages
|
- 1 (xsd:integer)
- 3 (xsd:integer)
- 7 (xsd:integer)
- 11 (xsd:integer)
- 13 (xsd:integer)
- 23 (xsd:integer)
- 32 (xsd:integer)
- 35 (xsd:integer)
- 37 (xsd:integer)
- 44 (xsd:integer)
- 53 (xsd:integer)
- 57 (xsd:integer)
- 63 (xsd:integer)
- 66 (xsd:integer)
- 67 (xsd:integer)
- 72 (xsd:integer)
- 74 (xsd:integer)
- 81 (xsd:integer)
- 93 (xsd:integer)
- 94 (xsd:integer)
- 99 (xsd:integer)
- 103 (xsd:integer)
- 126 (xsd:integer)
- 127 (xsd:integer)
- 131 (xsd:integer)
- 137 (xsd:integer)
- 142 (xsd:integer)
- 144 (xsd:integer)
- 147 (xsd:integer)
- 157 (xsd:integer)
- 159 (xsd:integer)
- 161 (xsd:integer)
- 165 (xsd:integer)
- 169 (xsd:integer)
- 183 (xsd:integer)
- 196 (xsd:integer)
- 204 (xsd:integer)
- 217 (xsd:integer)
- 233 (xsd:integer)
- 238 (xsd:integer)
- 243 (xsd:integer)
- 249 (xsd:integer)
- 255 (xsd:integer)
- 279 (xsd:integer)
- 294 (xsd:integer)
- 296 (xsd:integer)
- 308 (xsd:integer)
- 312 (xsd:integer)
- 319 (xsd:integer)
- 333 (xsd:integer)
- 339 (xsd:integer)
- 340 (xsd:integer)
- 346 (xsd:integer)
- 412 (xsd:integer)
- 430 (xsd:integer)
- 435 (xsd:integer)
- 459 (xsd:integer)
- 479 (xsd:integer)
- 482 (xsd:integer)
- 726 (xsd:integer)
- 875 (xsd:integer)
- 941 (xsd:integer)
- 1442 (xsd:integer)
|
prop-fr:prénom
|
- Alain (fr)
- Amine (fr)
- Andrea (fr)
- Code (fr)
- E (fr)
- Fan (fr)
- Han (fr)
- Marianne (fr)
- Maurice (fr)
- Roman (fr)
- A. (fr)
- Alan (fr)
- B. (fr)
- Chris (fr)
- Denis (fr)
- Emery (fr)
- H. (fr)
- J. (fr)
- K. (fr)
- L. (fr)
- Laurent (fr)
- M. (fr)
- Marc (fr)
- Michael (fr)
- Nicholas (fr)
- P. (fr)
- Pascal (fr)
- Paul (fr)
- R. (fr)
- Irakli (fr)
- Jens (fr)
- Peter (fr)
- Sandrine (fr)
- C. (fr)
- Laura (fr)
- Adrian (fr)
- Andreas (fr)
- Christian (fr)
- D. (fr)
- Damien (fr)
- Daniel (fr)
- David (fr)
- Florian (fr)
- Frank (fr)
- Jakob (fr)
- Jan (fr)
- John (fr)
- Luca (fr)
- Lucas (fr)
- Marco (fr)
- Markus (fr)
- Niklas (fr)
- Philippe (fr)
- Stefan (fr)
- Vincent (fr)
- Alberto (fr)
- Andre (fr)
- Bernhard (fr)
- Carlo (fr)
- Claire (fr)
- Giovanni (fr)
- Isabelle (fr)
- Joachim (fr)
- Martin (fr)
- N. (fr)
- Nigel (fr)
- Norman (fr)
- Patrick (fr)
- Philip (fr)
- Roberto (fr)
- S. (fr)
- Thomas (fr)
- Alexander David (fr)
- Armelle (fr)
- Bruno (fr)
- Christine (fr)
- Clément (fr)
- Mike (fr)
- David E. (fr)
- Edu (fr)
- Franck (fr)
- Heiko (fr)
- Hugues (fr)
- Keith (fr)
- Lothar (fr)
- Marko (fr)
- Per (fr)
- Rolf (fr)
- T. (fr)
- Xavier (fr)
- Albrecht (fr)
- Antoine (fr)
- Benoit (fr)
- F. (fr)
- José Carlos (fr)
- Liliana (fr)
- Reinhard (fr)
- Theo (fr)
- Bengt (fr)
- Eduardo (fr)
- Friedhelm (fr)
- Margaret (fr)
- Robert D. (fr)
- Christopher A. (fr)
- David B. (fr)
- Francisco (fr)
- Stephan (fr)
- T.M. (fr)
- Mauro (fr)
- Flemming (fr)
- Jaume (fr)
- Reinhold (fr)
- Jérome (fr)
- Mateo (fr)
- O. A. (fr)
- Willem (fr)
- G. I. (fr)
- Ernesto (fr)
- Sascha (fr)
- Raimund (fr)
- Fabiano (fr)
- R.B. (fr)
- Xiang (fr)
- Stefan M. (fr)
- J.S. (fr)
- Bilel (fr)
- Leonidas (fr)
- Archana (fr)
- A.C. (fr)
- Francisco J. (fr)
- Sharad (fr)
- Sven (fr)
- Wang Yi (fr)
- Erhard (fr)
- Abhik (fr)
- Henrik (fr)
- Nan (fr)
- Guillem (fr)
- Mickael (fr)
- M.R. (fr)
- Fatih (fr)
- Yun (fr)
- Raimundo (fr)
- Mingsong (fr)
- Radhia (fr)
- Zlatko (fr)
- Dorin (fr)
- Tullio (fr)
- Jorg (fr)
- Bjorn (fr)
- Luís Miguel (fr)
- Floria (fr)
- Sudipta (fr)
- Harmen (fr)
- Bryan F. (fr)
- Corina S. (fr)
- David b. (fr)
- Duc-Hiep (fr)
- Hanne R. (fr)
- Huping (fr)
- Ingomar (fr)
- Joxan (fr)
- Lee Kee (fr)
- Marion G. (fr)
- Marref (fr)
- Milhail (fr)
- Raimondas (fr)
- Teofilo F. (fr)
- Tulika (fr)
- Xiaopeng (fr)
- Ximping (fr)
- Y.N. (fr)
- Yau-Tsun (fr)
- julian (fr)
- Alain (fr)
- Amine (fr)
- Andrea (fr)
- Code (fr)
- E (fr)
- Fan (fr)
- Han (fr)
- Marianne (fr)
- Maurice (fr)
- Roman (fr)
- A. (fr)
- Alan (fr)
- B. (fr)
- Chris (fr)
- Denis (fr)
- Emery (fr)
- H. (fr)
- J. (fr)
- K. (fr)
- L. (fr)
- Laurent (fr)
- M. (fr)
- Marc (fr)
- Michael (fr)
- Nicholas (fr)
- P. (fr)
- Pascal (fr)
- Paul (fr)
- R. (fr)
- Irakli (fr)
- Jens (fr)
- Peter (fr)
- Sandrine (fr)
- C. (fr)
- Laura (fr)
- Adrian (fr)
- Andreas (fr)
- Christian (fr)
- D. (fr)
- Damien (fr)
- Daniel (fr)
- David (fr)
- Florian (fr)
- Frank (fr)
- Jakob (fr)
- Jan (fr)
- John (fr)
- Luca (fr)
- Lucas (fr)
- Marco (fr)
- Markus (fr)
- Niklas (fr)
- Philippe (fr)
- Stefan (fr)
- Vincent (fr)
- Alberto (fr)
- Andre (fr)
- Bernhard (fr)
- Carlo (fr)
- Claire (fr)
- Giovanni (fr)
- Isabelle (fr)
- Joachim (fr)
- Martin (fr)
- N. (fr)
- Nigel (fr)
- Norman (fr)
- Patrick (fr)
- Philip (fr)
- Roberto (fr)
- S. (fr)
- Thomas (fr)
- Alexander David (fr)
- Armelle (fr)
- Bruno (fr)
- Christine (fr)
- Clément (fr)
- Mike (fr)
- David E. (fr)
- Edu (fr)
- Franck (fr)
- Heiko (fr)
- Hugues (fr)
- Keith (fr)
- Lothar (fr)
- Marko (fr)
- Per (fr)
- Rolf (fr)
- T. (fr)
- Xavier (fr)
- Albrecht (fr)
- Antoine (fr)
- Benoit (fr)
- F. (fr)
- José Carlos (fr)
- Liliana (fr)
- Reinhard (fr)
- Theo (fr)
- Bengt (fr)
- Eduardo (fr)
|
prop-fr:périodique
|
- 6 (xsd:integer)
- 12 (xsd:integer)
- 13 (xsd:integer)
- 14 (xsd:integer)
- 200811 (xsd:integer)
- 2.0
- 4.0
- DAC '12 Proceedings of the 49th Annual Design Automation Conference (fr)
- Real-Time Systems, 2005. . Proceedings. 17th Euromicro Conference on (fr)
- Design, Automation & Test in Europe Conference & Exhibition (fr)
- Automatic Test Data Generation for Software Path Testing Using Evolutionary Algorithms (fr)
- IEEE Real-Time Systems Newsletter, Volume 5 Issue 2-3 (fr)
- Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on (fr)
- CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis (fr)
- IEEE 9th International Conference on Embedded Software and Systems (fr)
- Parallel and Distributed Computing, Applications and Technologies , 2012 13th International Conference on (fr)
- Real-Time Computing Systems and Applications, 2000. Proceedings. (fr)
- Design, Automation and Test in Europe, 2005. Proceedings (fr)
- Proceedings of the 36th annual international symposium on Computer architecture (fr)
- MEMOCODE '05 Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design (fr)
- Real-Time Systems Research Group University of York. England, UK, Techical Report YCS-2003-353 (fr)
- EMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software (fr)
- EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software (fr)
- ACM SIGPLAN Notices - LCTES '10 Volume 45 Issue 4 (fr)
- Book Principles of Program Analysis (fr)
- Ecole d'été Temps Réel 2005 - edition (fr)
- Embedded Systems Conference (fr)
- Engineering of distributed control systems (fr)
- IEEE International Conference on (fr)
- Intelligent Systems at the Service of Mankind (fr)
- Journal IEEE Micro Volume 30 Issue 5 (fr)
- Journal Real-Time Systems, Volume 1, Issue 2 (fr)
- Journal Real-Time Systems, Volume 45, Issue 1-2 (fr)
- Newsletter ACM SIGPLAN Notices, Volume 38, Issue 5 (fr)
- Real-Time Systems , 2011 23rd Euromicro Conference on (fr)
- RAIRO Recherche Operationnelle, volume 22, no. 3 (fr)
- Real-Time Systems (fr)
- Real-Time Systems, Volume 17 Issue 2-3 (fr)
- Software Engineering, IEEE Transactions on (fr)
- Software Quality Journal (fr)
- These (fr)
- Object/Component/Service-Oriented Real-Time Distributed Computing , 2011 14th IEEE International Symposium on (fr)
- Proceedings of the 2008 ACM symposium on Applied computing (fr)
- Magazine "Communications of the ACM", Volume 57 Issue 2 (fr)
- 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 (fr)
- Journal ACM Transactions on Embedded Computing Systems , Volume 7, Issue 3 (fr)
- Real-Time Technology and Applications Symposium.. Fourth IEEE (fr)
- Procs 11th Int Workshop on Worst-Case Execution Time Analysis (fr)
- POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (fr)
- CGO '12 Proceedings of the Tenth International Symposium on Code Generation and Optimization (fr)
- proceedings of the WCET Workshop 2008 (fr)
- International Journal on Software Tools for Technology Transfer (fr)
- 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 (fr)
- ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems (fr)
- Proc. IEEE Workshop on Software Tech. for Future Embedded and Ubiquitous Systs (fr)
- DAC '09 Proceedings of the 46th Annual Design Automation Conference (fr)
- ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference (fr)
- Internet Site "The Worst-Case Execution Time analysis project" (fr)
- In Proc. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (fr)
- CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems (fr)
- WWC '01 Proceedings of the Workload Characterization, 2001. WWC-4. 2001 IEEE International Workshop (fr)
- International Workshop on Dependable Computing and Its Applications (fr)
- Industrial Embedded Systems , 6th IEEE International Symposium on (fr)
- IEEE Transactions on Computers archive, Volume 48 Issue 1 (fr)
- Real-Time Systems - Special issue on worst-case execution-time analysis, Volume 18 Issue 2/3 (fr)
- Software Technologies for Future Embedded and Ubiquitous Systems, 2005. SEUS 2005. Third IEEE Workshop on (fr)
- SAS '02 Proceedings of the 9th International Symposium on Static Analysis (fr)
- SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems (fr)
- Proceedings of the 21st International conference on Real-Time Networks and Systems (fr)
- Embedded Computer Systems: Architectures, Modeling, and Simulation , 2014 International Conference on (fr)
- LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning (fr)
- DAC '97 Proceedings of the 34th annual Design Automation Conference (fr)
- Journal of Systems Architecture: the EUROMICRO Journal - Special issue on real-time systems (fr)
- Real-Time Technology and Applications Symposium, 1998. Proceedings. Fourth IEEE (fr)
- Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (fr)
- Proceedings of the 14th International Conference on Embedded Software, Article No. 8 (fr)
- Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems (fr)
- ACM Transactions on Embedded Computing Systems , Volume 13 Issue 4, Article No. 82 (fr)
- RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications (fr)
- RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium (fr)
|
prop-fr:titre
|
- 8 (xsd:integer)
- A static analyzer for large safety-critical software (fr)
- Emerging Intelligent Data and Web Technologies (fr)
- Extracting safe and precise control flow from binaries (fr)
- Impact of Instruction Cache and Different Instruction Scratchpads on the WCET Estimate (fr)
- Efficient and Precise Cache Behavior Prediction for Real-TimeSystems (fr)
- Automatic derivation of path and loop annotations in object-oriented real-time programs (fr)
- WCET-aware Register Allocation Based on Integer-Linear Programming (fr)
- Calcul du pire temps d’exécution : Méthode d’analyse formelle s’adaptant à la sophistication croissante des architectures matérielles (fr)
- A general approach for expressing infeasibility in implicit path enumeration technique (fr)
- A synchronous language at work: the story of Lustre (fr)
- The way forward for unifying dynamic test case generation: The optimisation-based approach (fr)
- Using Symbolic Execution for Verifying Safety-Critical Systems (fr)
- Semi-automatic derivation of timing models for WCET analysis (fr)
- WCET-aware register allocation based on graph coloring (fr)
- pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems (fr)
- PROARTIS: Probabilistically Analyzable Real-Time Systems (fr)
- A survey of new trends in symbolic execution for software testing and analysis (fr)
- Let's get less optimistic in measurement-based timing analysis (fr)
- Real-Time Euclid: A language for reliable real-time systems (fr)
- An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution (fr)
- Using Measurements as a Complement to Static Worst-Case Execution Time Analysis (fr)
- Fast and Precise WCET Prediction by Separated Cache andPath Analyses (fr)
- WCET-aware scheduling optimizations for multi-core real-time systems (fr)
- A Formally Verified WCET Estimation Tool (fr)
- A Review of Worst-Case Execution-Time Analysis (fr)
- Abstract interpretation: past, present and future (fr)
- Building timing predictable embedded systems (fr)
- Computation takes time, but how much? (fr)
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (fr)
- Measurement-based worst-case execution time analysis (fr)
- Influence of procedure cloning on WCET prediction (fr)
- Measurement-based timing analysis (fr)
- Measuring Execution Time and Real-Time Performance (fr)
- Mälardalen Real-Time Research Center (fr)
- Méthodes de calcul de WCET Etat de l’art (fr)
- Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis (fr)
- OTAWA: an open toolbox for adaptive WCET analysis (fr)
- Obstacles in Worst-Case Execution Time Analysis (fr)
- Parametric Integer Programming (fr)
- Pipeline Modeling for Timing Analysis (fr)
- Principles of Program Analysis (fr)
- Calculating the maximum, execution time of real-time programs (fr)
- SWEET – a Tool for WCET Flow Analysis (fr)
- Static Timing Analysis of Embedded Software (fr)
- A Unified WCET analysis framework for multicore platforms (fr)
- Testing real-time systems using genetic algorithms (fr)
- The Worst Case Execution Time Tool Challenge 2006 (fr)
- Timing Analysis for Instruction Caches (fr)
- Usability Aspects of WCET Analysis (fr)
- WCET Tool Challenge 2011 : Report (fr)
- WCET-aware static locking of instruction caches (fr)
- WCET-centric partial instruction cache locking (fr)
- Evolutionary Techniques for Parametric WCET Analysis (fr)
- WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds (fr)
- Performance data collection using a hybrid approach (fr)
- Applying static WCET analysis to automotive communication software (fr)
- Improving the Confidence in Measurement-Based Timing Analysis (fr)
- WCET Analysis of Probabilistic Hard Real-Time Systems (fr)
- r-TuBound: loop bounds for WCET analysis (fr)
- Towards a model-driven engineering approach for developing embedded hard real-time software (fr)
- Evaluating tight execution time bounds of programs by annotations (fr)
- A Modular & Retargetable Framework for Tree-Based WCET Analysis (fr)
- Transforming flow information during code optimization for timing analysis (fr)
- Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective (fr)
- A Method to Improve the Estimated Worst-Case Performance of Data Caching (fr)
- Worst-Case Execution Time - A Tool Provider's Perspective (fr)
- The Challenge of Time-Predictability in Modern Many-Core Architectures (fr)
- WCET-driven branch prediction aware code positioning (fr)
- Measurement-based worst-case execution time analysis using automatic test-data generation (fr)
- Reasoning about time in higher-level language software (fr)
- Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability (fr)
- Hardware support for WCET analysis of hard real-time multicore systems (fr)
- TDMA time slot and turn optimization with evolutionary search techniques (fr)
- MiBench: A free, commercially representative embedded benchmark suite (fr)
- A comparison of static analysis and evolutionary testing for the verification of timing constraints (fr)
- Using Basic Block Based Instruction Prefetching to Optimize WCET Analysis for Real-Time Applications (fr)
- FIFO cache analysis for WCET estimation: A quantitative approach (fr)
- Accelerating WCET-driven optimizations by the invariant path paradigm: a case study of loop unswitching (fr)
- Complete worst-case execution time analysis of straight-line hard real-time programs (fr)
- Static probabilistic worst case execution time estimation for architectures with faulty instruction caches (fr)
- Bounding Pipeline and Instruction Cache Performance (fr)
- An Efficient Algorithm for Parametric WCET Calculation (fr)
- Optimal TDMA time slot and cycle length allocation for hard real-time systems (fr)
- The worst-case execution-time problem—overview of methods and survey of tools (fr)
- Symbolic simulation on complicated loops for WCET path analysis (fr)
- Identifying Relevant Parameters to Improve WCET Analysis (fr)
|
prop-fr:url
| |
prop-fr:volume
|
- 2 (xsd:integer)
- 6 (xsd:integer)
- 12 (xsd:integer)
- 17 (xsd:integer)
- 23 (xsd:integer)
- Volume 18 (fr)
- Volume 11 (fr)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
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 (fr)
- 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 (fr)
|
rdfs:label
|
- Maximale Laufzeit (de)
- Worst Case Execution Time (fr)
- Worst-case execution time (en)
- 最悪実行時間 (ja)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |