Dell / Weighted Pushdown Systems / ATMEL / MIT Press / Embedded Computing Systems / Embedded Software / Intel / /
Country
United States / Denmark / /
Event
Man-Made Disaster / /
Facility
Assembly Pipeline / Pipeline Models / Modelling Pipelines A pipeline / Aalborg University / Pipeline Effects / ARM9TDMI pipeline / M¨alardalen Real-Time Research Centre / Pipeline Behavior Prediction / /
IndustryTerm
typical processor / given processor / http /
MarketIndex
WCET / TA / /
OperatingSystem
GNU / /
Organization
Aalborg University / MIT / Department of Computer Science / M¨alardalen Real-Time Research Centre / /
Person
Kim G. Larsen / Joost-Pieter Katoen / Alexander Metzner / Bengt Jonsson / Stephan Wilhelm / Jan Staschulat / Christian Ferdinand / Reinhard Wilhelm / Alexandre David / Flavio Corradini / Tulika Mitra / Giorgio Levi / Thomas Reps / Andreas Ermedahl / Nick Kidd / Friedhelm Stappert / Reinhold Heckmann / David Whalley / Marc Langenbach / Frank Mueller / Reinhold Hechmann / Peter P. Puschner / Stephan Thesing / Gerd Behrmann / Akash Lal / Jakob Engblom / Florian Martin / Per Stenstr¨om / Schneider Ferdinand / Christel Baier / Isabelle Puaut / /
Position
UPPAAL model for the pipeline / model editor / SFM-RT / /
Product
ARM920T / /
ProgrammingLanguage
C / /
ProvinceOrState
New York / /
TVStation
WCET / /
Technology
RAM / given processor / ARM7TDMI processor / ARM9TDMI processor / typical processor / Xeon processors / scheduling algorithms / adpcm / 2 Duo processor / Superscalar Processors / caching / model checker technology / simulation / ARM920T processor / improving the model checker technology / /
METAMOC: MODULAR EXECUTION TIME ANALYSIS USING MODEL CHECKING Andreas E. Dalsgaard1, Mads Chr. Olesen1, Martin Toft1, Ren´e R. Hansen1, Kim G. Larsen1 Abstract Safe and tight worst-case execution times (WCETs) are impor