-
1
-
-
0028413052
-
A theory of timed automata
-
Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
-
(1994)
Theor Comput Sci
, vol.126
, Issue.2
, pp. 183-235
-
-
Alur, R.1
Dill, D.L.2
-
3
-
-
0003892837
-
ARINC 653–1 avionics application software standard interface
-
ARINC (2003) ARINC 653–1 avionics application software standard interface. Technical report
-
(2003)
Technical report
-
-
-
4
-
-
84866463917
-
The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems
-
Baruah S, Bonifaci V, D’Angelo G, Li H, Marchetti-Spaccamela A, Van der Ster S, Stougie L (2012) The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. In: ECRTS, pp. 145–154
-
(2012)
ECRTS, pp 145–154
-
-
Baruah, S.1
Bonifaci, V.2
D’Angelo, G.3
Li, H.4
Marchetti-Spaccamela, A.5
Van der Ster, S.6
Stougie, L.7
-
5
-
-
84891422797
-
Mixed-criticality scheduling on multiprocessors
-
Baruah S, Chattopadhyay B, Li H, Shin I (2014) Mixed-criticality scheduling on multiprocessors. Real-Time Syst 50(1):142–177
-
(2014)
Real-Time Syst
, vol.50
, Issue.1
, pp. 142-177
-
-
Baruah, S.1
Chattopadhyay, B.2
Li, H.3
Shin, I.4
-
6
-
-
84856523326
-
Certification-cognizant time-triggered scheduling of mixed-criticality systems
-
Baruah S, Fohler G (2011) Certification-cognizant time-triggered scheduling of mixed-criticality systems. In: RTSS, pp. 3–12
-
(2011)
RTSS, pp 3–12
-
-
Baruah, S.1
Fohler, G.2
-
7
-
-
77953849202
-
Towards the design of certifiable mixed-criticality systems
-
Baruah S, Li H, Stougie L (2010) Towards the design of certifiable mixed-criticality systems. In: RTAS, pp. 13–22
-
(2010)
RTAS, pp 13–22
-
-
Baruah, S.1
Li, H.2
Stougie, L.3
-
8
-
-
84963671242
-
-
Burns A, Davis R (2013) Mixed criticality systems: a review
-
Burns A, Davis R (2013) Mixed criticality systems: a review. http://www-users.cs.york.ac.uk/burns/review.pdf
-
-
-
-
9
-
-
84963707603
-
D8.3—validation results
-
Certainty. D8.3—validation results. Technical report (2014)
-
(2014)
Technical report
-
-
-
11
-
-
0026000660
-
A calculus for network delay. I. Network elements in isolation
-
Cruz RL (1991) A calculus for network delay. I. Network elements in isolation. IEEE Trans Inf Theory 37(1):114–131
-
(1991)
IEEE Trans Inf Theory
, vol.37
, Issue.1
, pp. 114-131
-
-
Cruz, R.L.1
-
12
-
-
84893504564
-
A clustered manycore processor architecture for embedded and accelerated applications
-
de Dinechin B, Ayrignac R, Beaucamps P-E, Couvert P, Ganne B, de Massas P, Jacquet F, Jones S, Chaisemartin N, Riss F, Strudel T (2013) A clustered manycore processor architecture for embedded and accelerated applications. In: HPEC, pp. 1–6
-
(2013)
HPEC, pp 1–6
-
-
de Dinechin, B.1
Ayrignac, R.2
Beaucamps, P.-E.3
Couvert, P.4
Ganne, B.5
de Massas, P.6
Jacquet, F.7
Jones, S.8
Chaisemartin, N.9
Riss, F.10
Strudel, T.11
-
14
-
-
77955107429
-
Back suction: service guarantees for latency-sensitive on-chip networks
-
Diemer J, Ernst R (2010) Back suction: service guarantees for latency-sensitive on-chip networks. In: NOCS, pp. 155–162
-
(2010)
NOCS, pp 155–162
-
-
Diemer, J.1
Ernst, R.2
-
15
-
-
84963654569
-
-
European commission’s 7th framework programme: Certification of real-time applications designed for mixed criticality (certainty)
-
European commission’s 7th framework programme: Certification of real-time applications designed for mixed criticality (certainty). www.certainty-project.eu
-
-
-
-
16
-
-
84906705344
-
Dynamic budgeting for settling dram contention of co-running hard and soft real-time tasks
-
Flodin J, Lampka K, Yi W (2014) Dynamic budgeting for settling dram contention of co-running hard and soft real-time tasks. In: SIES, pp. 151–159
-
(2014)
SIES, pp 151–159
-
-
Flodin, J.1
Lampka, K.2
Yi, W.3
-
17
-
-
84869071944
-
Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems
-
Giannopoulou G, Lampka K, Stoimenov N, Thiele L (2012) Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. In: EMSOFT, pp. 63–72
-
(2012)
EMSOFT, pp 63–72
-
-
Giannopoulou, G.1
Lampka, K.2
Stoimenov, N.3
Thiele, L.4
-
18
-
-
84892630881
-
Thiele L (2013) Scheduling of mixed-criticality applications on resource-sharing multicore systems
-
Giannopoulou G, Stoimenov N, Huang P, Thiele L (2013) Scheduling of mixed-criticality applications on resource-sharing multicore systems. In: EMSOFT, pp. 17:1–17:15
-
In: EMSOFT, pp. 17
, vol.1-17
, pp. 15
-
-
Giannopoulou, G.1
Stoimenov, N.2
Huang, P.3
-
20
-
-
84885412564
-
Conservative open-page policy for mixed time-criticality memory controllers
-
Goossens S, Akesson B, Goossens K (2013) Conservative open-page policy for mixed time-criticality memory controllers. In: DATE, pp. 525–530
-
(2013)
DATE, pp 525–530
-
-
Goossens, S.1
Akesson, B.2
Goossens, K.3
-
22
-
-
84937545029
-
Bounding memory interference delay in cots-based multi-core systems
-
Kim H, de Niz D, Andersson B, Klein M, Mutlu O, Rajkumar RR (2014) Bounding memory interference delay in cots-based multi-core systems. In: RTAS, pp. 145–154
-
(2014)
RTAS, pp 145–154
-
-
Kim, H.1
de Niz, D.2
Andersson, B.3
Klein, M.4
Mutlu, O.5
Rajkumar, R.R.6
-
25
-
-
0004021859
-
Network calculus: a theory of deterministic queuing systems for the internet
-
Springer, New York
-
Le Boudec J-Y, Thiran P (2001) Network calculus: a theory of deterministic queuing systems for the internet, vol 2050. Springer, New York
-
(2001)
Vol 2050
-
-
Le Boudec, J.-Y.1
Thiran, P.2
-
26
-
-
84866461965
-
Global mixed-criticality scheduling on multiprocessors
-
Li H, Baruah S (2012) Global mixed-criticality scheduling on multiprocessors. In: ECRTS, pp. 166–175
-
(2012)
ECRTS, pp 166–175
-
-
Li, H.1
Baruah, S.2
-
27
-
-
84867504286
-
A software memory partition approach for eliminating bank-level interference in multicore systems
-
Liu L, Cui Z, Xing M, Bao Y, Chen M, Wu C (2012) A software memory partition approach for eliminating bank-level interference in multicore systems. In: PACT, pp. 367–376
-
(2012)
PACT, pp 367–376
-
-
Liu, L.1
Cui, Z.2
Xing, M.3
Bao, Y.4
Chen, M.5
Wu, C.6
-
28
-
-
70350053135
-
Flow regulation for on-chip communication
-
Lu Z, Millberg M, Jantsch A, Bruce A, van der Wolf P, Henriksson T (2009) Flow regulation for on-chip communication. In: DATE, pp. 578–581
-
(2009)
DATE, pp 578–581
-
-
Lu, Z.1
Millberg, M.2
Jantsch, A.3
Bruce, A.4
van der Wolf, P.5
Henriksson, T.6
-
29
-
-
84863545535
-
Platform 2012, a many-core computing accelerator for embedded socs: performance evaluation of visual analytics applications
-
Melpignano D, Benini L, Flamand E, Jego B, Lepley T, Haugou G, Clermidy F, Dutoit D (2012) Platform 2012, a many-core computing accelerator for embedded socs: performance evaluation of visual analytics applications. In: DAC, pp. 1137–1142
-
(2012)
DAC, pp 1137–1142
-
-
Melpignano, D.1
Benini, L.2
Flamand, E.3
Jego, B.4
Lepley, T.5
Haugou, G.6
Clermidy, F.7
Dutoit, D.8
-
30
-
-
78149271363
-
Software-hardware cooperative dram bank partitioning for chip multiprocessors. In: Network and parallel computing, vol 6289
-
Mi W, Feng X, Xue J, Jia Y (2010) Software-hardware cooperative dram bank partitioning for chip multiprocessors. In: Network and parallel computing, vol 6289. Lecture note on computer science, pp. 329–343
-
(2010)
Lecture note on computer science, pp 329–343
-
-
Mi, W.1
Feng, X.2
Xue, J.3
Jia, Y.4
-
31
-
-
78249256624
-
Mixed-criticality real-time scheduling for multicore systems
-
Mollison M, Erickson J, Anderson J, Baruah S, Scoredos J, et al (2010) Mixed-criticality real-time scheduling for multicore systems. In: ICCIT, pp. 1864–1871
-
(2010)
ICCIT, pp 1864–1871
-
-
Mollison, M.1
Erickson, J.2
Anderson, J.3
Baruah, S.4
Scoredos, J.5
-
32
-
-
70450235469
-
Hardware support for wcet analysis of hard real-time multicore systems
-
Paolieri M, Qui nones E, Cazorla FJ, Bernat G, Valero M (2009) Hardware support for wcet analysis of hard real-time multicore systems. In: ISCA, pp. 57–68
-
(2009)
ISCA, pp 57–68
-
-
Paolieri, M.1
Qui nones, E.2
Cazorla, F.J.3
Bernat, G.4
Valero, M.5
-
33
-
-
84866445320
-
Schedulability analysis of mixed-criticality systems on multiprocessors
-
Pathan R (2012) Schedulability analysis of mixed-criticality systems on multiprocessors. In: ECRTS, pp. 309–320
-
(2012)
ECRTS, pp 309–320
-
-
Pathan, R.1
-
35
-
-
84963679676
-
Analysis of communication delay bounds for network on chips
-
Qian Y, Lu Z, Dou W (2009) Analysis of communication delay bounds for network on chips. In: NOCS
-
(2009)
In: NOCS
-
-
Qian, Y.1
Lu, Z.2
Dou, W.3
-
36
-
-
77951675199
-
Analysis of worst-case delay bounds for on-chip packet-switching networks
-
Qian Y, Lu Z, Dou W (2010) Analysis of worst-case delay bounds for on-chip packet-switching networks. IEEE Trans Comput Aided Design Integr Circ Syst 29(5):802–815
-
(2010)
IEEE Trans Comput Aided Design Integr Circ Syst
, vol.29
, Issue.5
, pp. 802-815
-
-
Qian, Y.1
Lu, Z.2
Dou, W.3
-
37
-
-
81355132245
-
Pret dram controller: bank privatization for predictability and temporal isolation
-
Reineke J, Liu I, Patel HD, Kim S, Lee EA (2011) Pret dram controller: bank privatization for predictability and temporal isolation. In: CODES+ISSS, pp. 99–108
-
(2011)
CODES+ISSS, pp 99–108
-
-
Reineke, J.1
Liu, I.2
Patel, H.D.3
Kim, S.4
Lee, E.A.5
-
38
-
-
84963671231
-
-
RTCA/DO-178B (1992) Software considerations in airborne systems and equipment certification
-
RTCA/DO-178B (1992) Software considerations in airborne systems and equipment certification
-
-
-
-
39
-
-
84856509752
-
Design optimization of mixed-criticality real-time applications on cost-constrained partitioned architectures
-
Tamas-Selicean D, Pop P (2011) Design optimization of mixed-criticality real-time applications on cost-constrained partitioned architectures. In: RTSS, pp. 24–33
-
(2011)
RTSS, pp 24–33
-
-
Tamas-Selicean, D.1
Pop, P.2
-
41
-
-
84963707568
-
-
The dol-critical framework for mixed-criticality applications on multicores
-
The dol-critical framework for mixed-criticality applications on multicores. https://www.tik.ee.ethz.ch/certainty/download.html
-
-
-
-
42
-
-
72249105535
-
Modular performance analysis of cyclic dataflow graphs
-
Thiele L, Stoimenov N (2009) Modular performance analysis of cyclic dataflow graphs. In: EMSOFT, pp. 127–136
-
(2009)
EMSOFT, pp 127–136
-
-
Thiele, L.1
Stoimenov, N.2
-
44
-
-
48649103704
-
Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance
-
Vestal S (2007) Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: RTSS, pp. 239–243
-
(2007)
RTSS, pp 239–243
-
-
Vestal, S.1
-
45
-
-
34047168819
-
Performance analysis of greedy shapers in real-time systems
-
Munich, Germany
-
Wandeler E, Maxiaguine A, Thiele L (2006) Performance analysis of greedy shapers in real-time systems. In: DATE, pp. 444–449, Munich, Germany
-
(2006)
DATE
, pp. 444-449
-
-
Wandeler, E.1
Maxiaguine, A.2
Thiele, L.3
-
46
-
-
33750458973
-
System architecture evaluation using modular performance analysis—a case study
-
Wandeler E, Thiele L, Verhoef M, Lieverse P (2006) System architecture evaluation using modular performance analysis—a case study. Int J Softw Tools Technol Transf 8(6):649–667
-
(2006)
Int J Softw Tools Technol Transf
, vol.8
, Issue.6
, pp. 649-667
-
-
Wandeler, E.1
Thiele, L.2
Verhoef, M.3
Lieverse, P.4
-
47
-
-
67650862807
-
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems
-
Wilhelm R, Grund D, Reineke J, Schlickling M, Pister M, Ferdinand C (2009) Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems. IEEE Trans Comput Aided Design Integr Circ Syst 28(7):966–978
-
(2009)
IEEE Trans Comput Aided Design Integr Circ Syst
, vol.28
, Issue.7
, pp. 966-978
-
-
Wilhelm, R.1
Grund, D.2
Reineke, J.3
Schlickling, M.4
Pister, M.5
Ferdinand, C.6
-
48
-
-
84894373952
-
Worst case analysis of dram latency in multi-requestor systems
-
Wu ZP, Krish Y, Pellizzoni R (2013) Worst case analysis of dram latency in multi-requestor systems. In: RTSS, pp. 372–383
-
(2013)
RTSS, pp 372–383
-
-
Wu, Z.P.1
Krish, Y.2
Pellizzoni, R.3
-
49
-
-
84928040716
-
Palloc: dram bank-aware memory allocator for performance isolation on multicore platforms
-
Yun H, Mancuso R, Wu Z-P, Pellizzoni R (2014) Palloc: dram bank-aware memory allocator for performance isolation on multicore platforms. In: RTAS, pp. 155–166
-
(2014)
RTAS, pp 155–166
-
-
Yun, H.1
Mancuso, R.2
Wu, Z.-P.3
Pellizzoni, R.4
-
50
-
-
84866464961
-
Memory access control in multiprocessor for real-time systems with mixed criticality
-
Yun H, Yao G, Pellizzoni R, Caccamo M, Sha L (2012) Memory access control in multiprocessor for real-time systems with mixed criticality. In: ECRTS, pp. 299–308
-
(2012)
ECRTS, pp 299–308
-
-
Yun, H.1
Yao, G.2
Pellizzoni, R.3
Caccamo, M.4
Sha, L.5
-
51
-
-
84879847596
-
Designing energy-efficient noc for real-time embedded systems through slack optimization
-
Zhan J, Stoimenov N, Ouyang J, Thiele L, Narayanan V, Xie Y (2013) Designing energy-efficient noc for real-time embedded systems through slack optimization. In: DAC, pp. 1–6
-
(2013)
DAC, pp 1–6
-
-
Zhan, J.1
Stoimenov, N.2
Ouyang, J.3
Thiele, L.4
Narayanan, V.5
Xie, Y.6
|