-
1
-
-
63449085857
-
-
http://www.mrtc.mdh.se/projects/wcet/benchmarks.html.
-
-
-
-
3
-
-
84937557946
-
Nusmv 2: An opensource tool for symbolic model checking
-
London, UK
-
A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. Nusmv 2: An opensource tool for symbolic model checking. In CAV'04: Proceedings of the 14th International Conference on Computer Aided Verification, pages 359-364, London, UK, 2002.
-
(2002)
CAV'04: Proceedings of the 14th International Conference on Computer Aided Verification
, pp. 359-364
-
-
Cimatti, A.1
Clarke, E.M.2
Giunchiglia, E.3
Giunchiglia, F.4
Pistore, M.5
Roveri, M.6
Sebastiani, R.7
Tacchella, A.8
-
5
-
-
34547263527
-
Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking
-
New York, NY, USA
-
Z. Gu, X. He, and M. Yuan. Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking. In DAC'07: Proceedings of the 44th annual conference on Design automation, pages 294-299, New York, NY, USA, 2007.
-
(2007)
DAC'07: Proceedings of the 44th annual conference on Design automation
, pp. 294-299
-
-
Gu, Z.1
He, X.2
Yuan, M.3
-
6
-
-
34548132399
-
Optimal static task scheduling on reconfigurable hardware devices using model-checking
-
Washington, DC, USA
-
Z. Gu, M. Yuan, and X. He. Optimal static task scheduling on reconfigurable hardware devices using model-checking. In RTAS '07: Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium, page 32C44, Washington, DC, USA, 2007.
-
(2007)
RTAS '07: Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
, Issue.C44
, pp. 32
-
-
Gu, Z.1
Yuan, M.2
He, X.3
-
7
-
-
18944390941
-
The model checker spin
-
G. J. Holzmann. The model checker spin. IEEE Trans. Softw. Eng., 23(5):279-295, 1997.
-
(1997)
IEEE Trans. Softw. Eng
, vol.23
, Issue.5
, pp. 279-295
-
-
Holzmann, G.J.1
-
8
-
-
57849111612
-
Chronos: A timing analyzer for embedded software
-
Technical report, National University of Singapore
-
X. Li, Y. Liang, T. Mitra, and A. Roychoudhury. Chronos: A timing analyzer for embedded software. Technical report, National University of Singapore, 2005.
-
(2005)
-
-
Li, X.1
Liang, Y.2
Mitra, T.3
Roychoudhury, A.4
-
9
-
-
33747319225
-
Modeling out-of-order processors for wcet analysis
-
X. Li, A. Roychoudhury, and T. Mitra. Modeling out-of-order processors for wcet analysis. Real-Time Syst., 34(3):195-227, 2006.
-
(2006)
Real-Time Syst
, vol.34
, Issue.3
, pp. 195-227
-
-
Li, X.1
Roychoudhury, A.2
Mitra, T.3
-
10
-
-
0003581143
-
-
Kluwer Academic Publishers, Norwell, MA, USA
-
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell, MA, USA, 1993.
-
(1993)
Symbolic Model Checking
-
-
McMillan, K.L.1
-
11
-
-
33745469024
-
Why model checking can improve wcet analysis
-
A. Metzner. Why model checking can improve wcet analysis. In CAV, pages 334-347, 2004.
-
(2004)
CAV
, pp. 334-347
-
-
Metzner, A.1
-
12
-
-
0000039023
-
Calculating the maximum execution time of real-time programs
-
P. Puschner and C. Koza. Calculating the maximum execution time of real-time programs. Real-Time Systems, pages 159-176, 1989.
-
(1989)
Real-Time Systems
, pp. 159-176
-
-
Puschner, P.1
Koza, C.2
-
13
-
-
0343368330
-
Computing maximum task execution times with linear programming techniques
-
Technical report, Technische Universität Wien, Institut fur Technische Informatik
-
P. Puschner and A. Schedl. Computing maximum task execution times with linear programming techniques. Technical report, Technische Universität Wien, Institut fur Technische Informatik, 1995.
-
(1995)
-
-
Puschner, P.1
Schedl, A.2
-
14
-
-
33847692450
-
Nusmv 2.4 user manual
-
Technical report, ITC-irst, Italy
-
C. A. J. G. K. E. O. M. P. M. R. Roberto Cavada, Alessandro Cimatti and A. Tchaltsev. Nusmv 2.4 user manual. Technical report, ITC-irst, Italy, 2005.
-
(2005)
-
-
Roberto Cavada, C.A.J.G.1
Cimatti, A.2
Tchaltsev, A.3
-
15
-
-
0032292381
-
Combining abstract interpretation and ilp for microarchitecture modelling and program path analysis
-
Dec
-
H. Theiling and C. Ferdinand. Combining abstract interpretation and ilp for microarchitecture modelling and program path analysis. Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE, pages 144-153, Dec 1998.
-
(1998)
Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE
, pp. 144-153
-
-
Theiling, H.1
Ferdinand, C.2
-
16
-
-
0033750056
-
Fast and precise wcet prediction by separated cache andpath analyses
-
H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise wcet prediction by separated cache andpath analyses. RealTime Systems, 18(2-3):157-179, 2000.
-
(2000)
RealTime Systems
, vol.18
, Issue.2-3
, pp. 157-179
-
-
Theiling, H.1
Ferdinand, C.2
Wilhelm, R.3
-
17
-
-
84944210284
-
Why ai + ilp is good for wcet, but mc is not, nor ilp alone
-
R. Wilhelm. Why ai + ilp is good for wcet, but mc is not, nor ilp alone. In VMCAI, pages 309-322, 2004.
-
(2004)
VMCAI
, pp. 309-322
-
-
Wilhelm, R.1
-
18
-
-
43949126892
-
-
R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström. The worst-case execution-time problem - overview of methods and survey of tools. Trans. on Embedded Computing Sys., 7(3):1-53, 2008.
-
R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström. The worst-case execution-time problem - overview of methods and survey of tools. Trans. on Embedded Computing Sys., 7(3):1-53, 2008.
-
-
-
-
19
-
-
0029233511
-
Performance analysis of embedded software using implicit path enumeration
-
S. M. Yau-Tsun Steven Li. Performance analysis of embedded software using implicit path enumeration. 32nd Conference on Design Automation, 1995., pages 456-461, 1995.
-
(1995)
32nd Conference on Design Automation
, pp. 456-461
-
-
Yau-Tsun, S.M.1
Steven, L.2
|