214 search results - page 4 / 43 » Data-Flow Frameworks for Worst-Case Execution Time Analysis |
91
Voted
WCET
2007
14 years 11 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
96
Voted
ECRTS
2002
IEEE
15 years 3 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
101
Voted
SEUS
2005
IEEE
15 years 3 months ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
82
Voted
BIRTHDAY
2006
Springer
15 years 2 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
71
Voted
WCET
2010
14 years 8 months ago
2010
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the reali...