CCS:
Real-time systems

Keywords:
real-time systems

Primary CCS:
Real-time systems

Full Text:
... DescriptorsC.3 [SPECIAL-PURPOSE AND APPLICATION-BASEDSYSTEMS]: Real-time and Embedded Systems.General TermsDesign, Verification.KeywordsEmbedded, real- -time systems, , 1. INTRODUCTIONPost-PC embedded systems use an architecture platformvery different ...

CCS:
Real-time systems

Keywords:
real-time systems

Primary CCS:
Real-time systems

References:
A. Choquet-Geniet and E. Grolleau. Minimal schedulability interval for real-time systems of periodic tasks with offsets. Theoretical Computer Science, 310:117--134, 2004.
R. Mall. Real-Time Systems: Theory and Practice. Dorling Kindersley, 2007.

Full Text:
... where the proposedcoprocessor is modelled in VDL.A challenging issue for real- -time systems would be to pro-pose a methodology to implement scheduling strategies ...
... adopt the classical modelling of tasks. We consider pe-riodic hard real- -time systems: : for all i, ?i is periodic andcharacterized by the ...
... We plan toaddress static scheduling, that is classically used for real- -time systems. . Dynamic scheduling may also be planed [14].The next step ... June 2012[3] A. Choquet-Geniet and E. Grolleau. Minimalschedulability interval for real- -time systems of periodictasks with o?sets. Theoretical Computer Science,310:117?134, 2004.[4] A. Colin, ... Theory ofError-Correcting Codes, volume 1. North-HollandMathematical Library, 1977.[13] R. Mall. Real- -Time Systems: : Theory and Practice.Dorling Kindersley, 2007.[14] T. Megel, D. Chabrol, ...

CCS:
Real-time systems

Keywords:
real-time systems

Primary CCS:
Real-time systems

References:
Sanjoy K. Baruah, Alan Burns, and Robert I. Davis. 2011. Response-time analysis for mixed criticality systems. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS). 34--43.

Full Text:
... Response-time analysis for mixed criticalitysystems. In Proceedings of the IEEE Real- -Time Systems Symposium (RTSS). 34?43.Huang-Ming Huang, Christopher Gill, and Chenyang Lu. 2014. ...

CCS:
Real-time systems

Keywords:
Real-time systems

Title:
Minimizing CPU energy in real-time systems with discrete speed management

Primary CCS:
Real-time systems

References:
Aydin, H., Devadas, V., and Zhu, D. 2006. System-level energy management for periodic real-time tasks. In Proceedings of the 27th IEEE International Real-Time Systems Symposium. IEEE, Los Alamitos, 313--322.
Bini, E. 2004. The design domain of real-time system. Ph.D. Thesis, Scuola Superiore Sant'Anna, Pisa, Italy. http://retis.sssup.it/~bini/thesis/
Bini, E., Buttazzo, G., and Lipari, G. 2005. Speed modulation in energy-aware real-time systems. In Proceedings of the 17th Euromicro Conference on Real-Time Systems. IEEE, Los Alamitos, CA, 3--10.
Feng, X. and Mok, A. K. 2002. A model of hierarchical real-time virtual resources. In Proceedings of the 23rd IEEE Real-Time Systems Symposium. IEEE, Los Alamitos, CA, 26--35.
Gresser, K. 1993. An event model for deadline verification of hard real-time systems. In Proceedings of the 5th Euromicro Workshop on Real-Time Systems. IEEE, Los Alamitos, CA, 118--123.
Hong, I., Qu, G., Potkonjak, M., and Srivastava, M. B. 1998. Synthesis techniques for low-power hard real-time systems on variable voltage processors. In Proceedings of the 19th IEEE Real-Time Systems Symposium. IEEE, Los Alamitos, CA, 178--187.
Lee, S. and Sakurai, T. 2000. Run-time voltage hopping for low-power real-time systems. In Proceedings of the 37th Design Automation Conference. IEEE, Los Alamitos, CA, 806--809.
Lehoczky, J. P., Sha, L., and Ding, Y. 1989. The rate-monotonic scheduling algorithm: Exact characterization and average case behavior. In Proceedings of the 10th IEEE Real-Time Systems Symposium. IEEE, Los Alamitos, CA, 166--171.
Lipari, G. and Bini, E. 2003. Resource partitioning among real-time applications. In Proceedings of the 15th Euromicro Conference on Real-Time Systems. IEEE, Los Alamitos, CA, 151--158.
Liu, Y. and Mok, A. K. 2003. An integrated approach for applying dynamic voltage scaling to hard real-time systems. In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE, Los Alamitos, CA, 116--123.
Qadi, A., Goddard, S., and Farritor, S. 2003. A dynamic voltage scaling algorithm for sporadic tasks. In Proceedings of the 24th Real-Time Systems Symposium. 52--62.
Quan, G., Niu, L., Hu, X. S., and Mochocki, B. 2004. Fixed priority-based real-time scheduling for reducing energy on variable voltage processors. In Proceedings of the 25th IEEE Real-Time Systems Symposium. 309--318.
Seth, K., Anantaraman, A., Mueller, F., and Rotenberg, E. 2003. FAST: Frequency-aware static timing analysis. In Proceedings of the 24th IEEE Real-Time Systems Symposium. IEEE, Los Alamitos, CA, 40--51.
Shin, I. and Lee, I. 2003. Periodic resource model for compositional real-time guarantees. In Proceedings of the 24th Real-Time Systems Symposium. 2--13.

Full Text:
... timeGeneral Terms: Algorithms, Design, Performance, TheoryAdditional Key Words and Phrases: Real- -time systems, , CPU energyACM Reference Format:Bini, E., Buttazzo, G., and Lipari, ... Buttazzo, G., and Lipari, G. 2009. Minimizing CPU energy in real- -time systems withdiscrete speed management. ACM Trans. Embedd. Comput. Syst. 8, 4, ...
... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:3is also periodic and can be stored in a ...
... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:5Tasks are fully preemptive and do not perform blocking ...
... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:73.2 FP AnalysisWhen using a fixed priority assignment, the ...
... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:9Table I. An Example of Processor Operating Modesk 1 ...
... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:11Fig. 3. The least consuming pair as a function ...
... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:13Fig. 4. The supply function Z (t).?H . The ... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:15Eq. (17) allows to prove that a task set ...
... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:17Fig. 5. Schedulability region (white area) in the Q-Space.In ...
... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:19Table IV. Results of findPairs, When ?opt = 55.83MHzmodeL ...
... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:21Fig. 8. Applying the PWM-mode to a dynamic scheme.cycles ... for periodic real-timetasks. In Proceedings of the 27th IEEE International Real- -Time Systems Symposium. IEEE, LosAlamitos, 313?322.AYDIN, H., MELHEM, R., MOSSE , D., AND ... Real-Time Syst. 2, 301?324.BINI, E. 2004. The design domain of real- -time system. . Ph.D. Thesis, Scuola Superiore Sant?Anna,Pisa, Italy. http://retis.sssup.it/?bini/thesis/BINI, E., BUTTAZZO, ... energy-aware real-time systems.In Proceedings of the 17th Euromicro Conference on Real- -Time Systems. . IEEE, Los Alamitos, CA,3?10.ACM Transactions on Embedded Computing Systems, ... of hierarchical real-time virtual resources. In Proceedingsof the 23rd IEEE Real- -Time Systems Symposium. IEEE, Los Alamitos, CA, 26?35.GRESSER, K. 1993. An event ... K. 1993. An event model for deadline verification of hard real- -time systems. . In Proceed-ings of the 5th Euromicro Workshop on Real- -Time Systems. . IEEE, Los Alamitos, CA, 118?123.HONG, I., QU, G., POTKONJAK, ... M., AND SRIVASTAVA, M. B. 1998. Synthesis techniques for low-powerhard real- -time systems
... S. AND SAKURAI, T. 2000. Run-time voltage hopping for low-power real- -time systems. . InProceedings of the 37th Design Automation Conference. IEEE, Los ... among real-time applications. In Proceedingsof the 15th Euromicro Conference on Real- -Time Systems. . IEEE, Los Alamitos, CA, 151?158.LIU, C. L. AND LAYLAND, ... 2003. An integrated approach for applying dynamic voltage scaling tohard real- -time systems. . In Proceedings of the 9th IEEE Real-Time and Embedded ... voltage scaling algorithm for sporadictasks. In Proceedings of the 24th Real- -Time Systems Symposium. 52?62.QUAN, G., NIU, L., HU, X. S., AND MOCHOCKI, ... FAST: Frequency-aware statictiming analysis. In Proceedings of the 24th IEEE Real- -Time Systems Symposium. IEEE, LosAlamitos, CA, 40?51.ACM Transactions on Embedded Computing Systems, ... 4, Article 31, Publication date: July 2009.Minimizing CPU Energy in Real- -Time Systems ? 31:23SHIN, I. AND LEE, I. 2003. Periodic resource model ... resource model for compositional real-time guarantees. InProceedings of the 24th Real- -Time Systems Symposium. 2?13.TAL, J. AND PERSON, E. K. 1978. Pulsewidth modulated ...

CCS:
Real-time systems

Keywords:
real-time systems

Abstract:
... has been done to examine the suitability of Android for real- -time systems. . Existing work only provides solutions to traditional problems, including ...

Primary CCS:
Real-time systems

References:
Jian-Jia Chen and Chin-Fu Kuo. Energy-efficient scheduling for real-time systems on dynamic voltage scaling (dvs) platforms. In Embedded and Real-Time Computing Systems and Applications, 2007. RTCSA 2007. 13th IEEE International Conference on, pages 28--38, 2007.
Clíudio Maia, Lués Nogueira, and Luis Miguel Pinho. Evaluating android os for embedded real-time systems. In Proceedings of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Brussels, Belgium, pages 63--70, 2010.
Clíudio Maia, Luís Nogueira, and Luis Miguel Pinho. Evaluating Android OS for embedded real-time systems. In Proceedings of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Brussels, Belgium, OSPERT '10, pages 63--70, 2010.

Full Text:
... has been done to examine the suitability of An-droid for real- -time systems. . Existing work only provides solutionsto traditional problems, including real-time ...
... best practices, this de-ployment should only be used for soft real- -time systems. . Inthis profile, deadlines can be missed due to jitter ...
... NY, USA,2013. ACM.285[9] Jian-Jia Chen and Chin-Fu Kuo. Energy-efficient schedulingfor real- -time systems on dynamic voltage scaling (dvs)platforms. In Embedded and Real-Time Computing ...
... Lu? s Nogueira, and Luis Miguel Pinho.Evaluating Android OS for embedded real- -time systems. . InProceedings of the 6th International Workshop on OperatingSystems Platforms ...

CCS:
Real-time systems software

Keywords:
real-time systems

Abstract:
<p>Nanosatellite on-board software is a real- -time system that schedules and executes control actions over the platform and ...

References:
A. Viana, O. R. Polo, O. López, M. Knoblauch, S. Sánchez, and D. Meziat. EDROOM: A free tool for the uml2 component based design and automatic code generation of tiny embedded real time systems. In Proceedings of the 3rd European Congress on Embedded Real-Time Software ERTS, 2006.

Full Text:
... Alcalangarcia@aut.uah.esSebastian SanchezSpace Research GroupUniversity of Alcalassp@aut.uah.esABSTRACTNanosatellite on-board software is a real- -time system thatschedules and executes control actions over the platform andthe payload ... Engineering]: Design Tools and Tech-niques; D.4.7 [Operating Systems]: Organization and De-sign?Real- -time systems and embedded systemsKeywordsReal-time Systems, Software Engineering?This work was supported by ...
... is a component based modelling and automaticcode generation tool for real- -time systems. . It provides agraphical editor for the whole system component ... develop-ment where it gave evidence of its capability for developingcomplex real- -time systems. . Nanosat01 was launched on De-cember 04. After five years ...
... uml2 component based design and automatic codegeneration of tiny embedded real time systems. . InProceedings of the 3rd European Congress on EmbeddedReal-Time Software ...

CCS:
Real-time systems

Keywords:
real-time systems

Abstract:
<p>This paper presents Roberts, a Reconfigurable platfOrm for BEnchmarking Real- -Time Systems. . Roberts is the first platform which can be customised ...

Title:
Roberts: reconfigurable platform for benchmarking real-time systems

Full Text:
... College London, UKp.cheung@imperial.ac.ukABSTRACTThis paper presents Roberts, a Recon?gurable platfOrm forBEnchmarking Real- -Time Systems. . Roberts is the ?rst plat-form which can be customised ... as the interval timer on processors.KeywordsFPGA, benchmarking, real-time systems1. INTRODUCTIONA real- -time system must respond to events within explicitdeadlines or the system may ... robotics, assembly lines andnuclear plant control. There are important requirementsthat real- -time systems must meet to support critical appli-cations.? Timeliness? Functional correctnessFor decades, ... due to hardware, software or algorithms.This paper presents Roberts, a real- -time system bench-marking platform using FPGA technology. The platformtests the timeliness, functional ... of this paper include:? Roberts, a benchmarking platform for deployed real- -time system. . The platform can be customised for agiven system-under-test to ...
... using Robertsas a platform to benchmark timing and functional behaviourof real- -time systems. . Much of the existing work on run-timetesting [6?12] does ... There are two novel aspects which address the re-quirements of real- -time system as mentioned in Section 1:? Roberts is a benchmarking platform ...
... thebenchmarking unit and the SUT.In step A, test vectors of real- -time systems should incor-porate timing properties T , such as duration and ...
... di?erence image sizes6. CONCLUSIONThis paper presents a benchmarking platform for real- -time systems. . The recon?gurability of FPGA allows a cus-tomisable benchmarking unit. ... design a setof benchmark programs that target Roberts for evaluationof real- -time systems. . Further research includes test vectorcompression, dynamic test vector selection ...

CCS:
Real-time systems

Keywords:
real-time system

Abstract:
... investigate the problem of inter-task cache interference in preemptive multi-tasking real- -time systems. . A prioritized cache is used to reduce cache conflicts ...

Primary CCS:
Real-time systems

References:
J. Busquets-Mataix, J. Serrano, R. Ors, P. Gil, and A. Wellings. Adding instruction cache effect to schedulability analysis of preemptive real-time systems. In Real-Time Technology and Applications Symposium, pages 204--212, June 1996.
S. Dropso. Comparing caching techniques for multitasking real-time systems. Technical report, University of Massachusetts, Amherst, UM-CS-1997-065, November 1997.
D. Kirk. Smart (strategic memory allocation for real-time) cache design. In Proceedings of the Real-Time Systems Symposium, pages 229--237, December 1989.
C. Lee, J. Hahn, Y. Seo, S. Min, R. Ha, S. Hong, C. Park, M. Lee, and C. Kim. Enhanced analysis of cache-related preemption delay in fixed-priority preemptive scheduling. In Proceedings of IEEE Real-Time Systems Symposium, pages 187--198, December 1997.
F. Muller. Compiler support for software-based cache partitioning. In Proceedings of ACM SIGPLAN Workshop on Languages, Compliers and Tools for Real-Time Systems, pages 125--133, June 1995.
Y. Tan and V. Mooney. A prioritized cache for multi-tasking real-time systems. In Proceedings of the 11th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI'03), pages 168--175, April 2003.
Y. Tan and V. Mooney. Timing analysis for preemptive multi-tasking real-time systems. In Proceedings of Design, Automation and Test in Europe (DATE'04), pages 1034--1039, February 2004.
Y. Tan and V. Mooney. Integrate inter- and intra- cache eviction anlaysis for preemptive multi-tasking real-time systems. In Proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES'04), pages 200--206, September 2004.
K. Tindell, A. Burns, and A. Wellings. An extendible approach for analyzing fixed priority hard real-time tasks. Real-Time Systems, 6(2):133--151, March 1994.
H. Tomiyama and N. Dutt. Program path analysis to bound cache-related preemption delay in preemptive real-time systems. In Proceedings of the Eighth International Workshop on Hardware/software Codesign, pages 67--71, May 2000.

Full Text:
... investigate the problem of inter-task cache in-terference in preemptive multi-tasking real- -time systems. . A priori-tized cache is used to reduce cache conflicts ... [Computer Systems Or-ganization]: Special-Purpose and Application-Based SystemsGeneral Terms Algorithms, ReliabilityKeywords Real- -time System, , Cache Design, Timing Analysis1. IntroductionIn real- -time systems, , we have to know in advance if each task ... if each task canmeet its time constraint. Especially for hard real- -time systems, , dis-astrous results may occur if tasks miss their deadlines. ... results may occur if tasks miss their deadlines. Usually,in a real- -time system where there are no preemptions, we can usethe Worst Case ... cus-tomized caches formally in order to safely apply customized cachesto real- -time systems. . This paper explains an approach to evaluatesome key trade-offs ... WCET/WCRT estimate allows a program-mer to utilize computing resources in real- -time systems more ef-ficiently. For example, more tasks may be able to ...
... with different localities compete for thesame cache resources.In a multi-tasking real time system, , a set of tasks has to becompleted before the ... task is affected by cache behavior. In a preemp-tive multi-tasking real- -time system, , each task usually has a priority.Low priority tasks can ...
... respectively. We use a prioritizedcache in such a preemptive multi-tasking real- -time system. . In orderto know if Task Ti can meet its ...
... to estimate the WCRT ofeach task in a preemptive multi-tasking real- -time system. . The taskshave properties as stated in Section 2. Our ...
... whichallows us to safely use a prioritized cache in a real- -time system. .5. Previous WorkInter-task cache conflict complicates WCET/WCRT analysis be-cause of ... rate). However, lack ofworst case analysis is not acceptable in real- -time systems. . Bench-mark applications cannot cover all situations. Average performancecannot guarantee ... the worst case. Thus, inorder to apply customized cache in real- -time systems safely, weneed to analyze task WCET/WCRT formally.Much work has been ...
... in order to satisfy the necessary condition ofschedulability of a real- -time system (i.e., the total CPU utilizationof all tasks must be less ...
... the Worst Case Response Timesof tasks in a preemptive multi-tasking real- -time system. . As best wecan tell, we are the first authors ... A. Wellings. Addinginstruction cache effect to schedulability analysis of preemptive real- -time systems. . In Real-Time Technology and Applications Symposium,pages 204?212, June 1996.[2] ... (strategic memory allocation for real-time) cachedesign. In Proceedings of the Real- -Time Systems Symposium, pages229 ?237, December 1989.[4] C. Lee, J. Hahn, Y. ... Proceedings of ACM SIGPLAN Workshop on Languages, Compliersand Tools for Real- -Time Systems, , pages 125?133, June 1995.[12] H. Negi, T. Mitra, and ... Y. Tan and V. Mooney. A prioritized cache for multi-tasking real- -time systems. . In Proceedings of the 11th Workshop on Synthesis AndSystem ... Mooney. Integrate inter- and intra- cache evictionanlaysis for preemptive multi-tasking real- -time systems. . In Proceedingsof the 8th International Workshop on Software and ... Wellings. An extendible approachfor analyzing fixed priority hard real-time tasks. Real- -Time Systems, ,6(2):133?151, March 1994.[21] H. Tomiyama and N. Dutt. Program path ... Program path analysis to bound cache-related preemption delay in preemptive real- -time systems. . In Pro-ceedings of the Eighth International Workshop on Hardware/softwareCodesign, ...

CCS:
Real-time systems

Keywords:
real-time systems

Primary CCS:
Real-time systems

References:
T. Pop, P. Pop, P. Eles, Z. Peng, and A. Andrei. Timing analysis of the FlexRay communication protocol. Real-Time Systems, 39:205--235, 2008.

Full Text:
... been ef-forts to capture the sustainability and extensibility of schedulesin real- -time systems, , the derived metrics can not be applied toFlexRay. For ... applied toFlexRay. For example, sustainability was discussed in the contextof real- -time systems in [2] and various papers focused on extensi-bility of distributed ...
... Peng, and A. Andrei. Timing analysis of the FlexRaycommunication protocol. Real- -Time Systems, , 39:205?235, 2008.[8] E.G. Schmidt and K. Schmidt. Schedulability analysis ...

CCS:
Real-time systems

Keywords:
real-time systems

Primary CCS:
Real-time systems

References:
S. Baruah, A. Burns, and R. Davis. Response-time analysis for mixed criticality systems. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), pages 34--43, 2011.
S. Baruah and S. Vestal. Schedulability analysis of sporadic tasks with multiple criticality specifications. In Proceedings of Euromicro Conference on Real-Time Systems (ECRTS), pages 147--155, July 2008.
I. Bate, A. Burns, and R. I. Davis. A bailout protocol for mixed criticality systems. In Proceedings 27th Euromicro Conference on Real-Time Systems (ECRTS) 2015, pages 259--268, 2015.
G. Bernat, A. Burns, and A. Liamosi. Weakly hard real-time systems. IEEE Transactions on Computers, 50(4):308--321, Apr 2001.
G. Bernat and R. Cayssials. Guaranteed on-line weakly-hard real-time systems. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), Dec 2001.
E. Bini and G. C. Buttazzo. Measuring the performance of schedulability tests. Real-Time Systems, 30(1-2):129--154, May 2005.
A. Burns and R. Davis. Adaptive mixed criticality scheduling with deferred preemption. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), pages 21--30, 2014.
R. Davis and M. Bertogna. Optimal fixed priority scheduling with deferred pre-emption. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), pages 39--50, 2012.
R. Davis and A. Burns. Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Real-Time Systems, 47(1):1--40, 2011.
F. Dorin, P. Richard, M. Richard, and J. Goossens. Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities. Real-Time Systems, 46(3):305--331, 2010.
T. Fleming and A. Burns. Extending mixed criticality scheduling. In Proceedings of Workshop on Mixed Criticality, IEEE Real-Time Systems Symposium (RTSS), pages 7--12, 2013.
T. Fleming and A. Burns. Incorporating the notion of importance into mixed criticality systems. In Proceedings of Workshop on Mixed Criticality, IEEE Real-Time Systems Symposium (RTSS), pages 33--38, 2014.
G. Frehse, A. Hamann, S. Quinton, and M. Woehrle. Formal analysis of timing effects on closed-loop properties of control software. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), pages 53--62, 2014.
X. Gu, A. Easwaran, K.-M. Phan, and I. Shin. Resource efficient isolation mechanisms in mixed-criticality scheduling. In 27th Euromicro Conference on Real-Time Systems (ECRTS), pages 13--24, July 2015.
M. Jan, L. Zaourar, and M. Pitel. Maximizing the execution rate of low-criticality tasks in mixed criticality system. In Proceedings of Workshop on Mixed Criticality, IEEE Real-Time Systems Symposium (RTSS), pages 43--48, 2013.
M. Joseph and P. Pandya. Finding response times in a real-time system. The Computer Journal, 29(5):390--395, 1986.
G. Koren and D. Shasha. Skip-over: algorithms and complexity for overloaded systems that allow skips. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), pages 110--117, Dec 1995.
F. Santy, L. George, P. Thierry, and J. Goossens. Relaxing mixed-criticality scheduling strictness for task sets scheduled with fp. In Proceedings of Euromicro Conference on Real-Time Systems (ECRTS), pages 155--165, July 2012.
S. Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), pages 239--243, 2007.

Full Text:
... Real-time and embedded systemsGeneral TermsAlgorithms, Performance, Design, Theory, VerificationKeywordsMixed Criticality, Real- -Time Systems, , Scheduling Theory1. INTRODUCTIONMixed Criticality Systems (MCS) contain components ofat ...
... the level of ser-vice provided. For traditional (single criticality level) real- -time systems there is a concept called weakly-hard that couldhelp provide stronger ... is assigned a uniquepriority, Pi, according to some policy.In traditional real- -time systems, , each task has a numberof attributes associated with it ...
... Priority Preemptive Scheduling (FPPS) is an estab-lished scheduling policy for real- -time systems. . Formal anal-ysis was first developed by Liu and Layland ... is clear that the standard approach to scheduling fixedpriority preemptive real- -time systems, , with no run-time mon-itoring support, does not suit MCS ...
... R. Davis. Response-timeanalysis for mixed criticality systems. In Proceedingsof IEEE Real- -Time Systems Symposium (RTSS),pages 34?43, 2011.[4] S. Baruah and S. Vestal. Schedulability ... bailout protocolfor mixed criticality systems. In Proceedings 27thEuromicro Conference on Real- -Time Systems( (ECRTS) 2015, pages 259?268, 2015.[7] G. Bernat, A. Burns, and ... Computers,50(4):308?321, Apr 2001.[8] G. Bernat and R. Cayssials. Guaranteed on-lineweakly-hard real- -time systems. . In Proceedings of IEEEReal-Time Systems Symposium (RTSS), Dec 2001.[9] ... Davis. Adaptive mixed criticalityscheduling with deferred preemption. In Proceedings ofIEEE Real- -Time Systems Symposium (RTSS), pages21?30, 2014.[13] R. Davis and M. Bertogna. Optimal ... Bertogna. Optimal fixed priorityscheduling with deferred pre-emption. In Proceedingsof IEEE Real- -Time Systems Symposium (RTSS),pages 39?50, 2012.[14] R. Davis and A. Burns. Improved ... Burns. Improved priority assignmentfor global fixed priority pre-emptive scheduling inmultiprocessor real- -time systems. . Real- -Time Systems, ,47(1):1?40, 2011.[15] F. Dorin, P. Richard, M. Richard, and J. ... Extending mixed criticalityscheduling. In Proceedings of Workshop on MixedCriticality, IEEE Real- -Time Systems Symposium(RTSS), pages 7?12, 2013.[18] T. Fleming and A. Burns. Incorporating ... Shin.Resource e?cient isolation mechanisms inmixed-criticality scheduling. In 27th EuromicroConference on Real- -Time Systems (ECRTS), pages13?24, July 2015.[21] Z. A. H. Hammadeh, S. Quinton, ... andcomplexity for overloaded systems that allow skips. InProceedings of IEEE Real- -Time Systems Symposium(RTSS), pages 110?117, Dec 1995.[25] C. L. Liu and J. ...
... fortask sets scheduled with fp. In Proceedings ofEuromicro Conference on Real- -Time Systems( (ECRTS), pages 155?165, July 2012.[28] H. Su and D. Zhu. ...

CCS:
Real-time systems

Keywords:
real-time systems

Title:
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems

Primary CCS:
Real-time systems

References:
Baruah, S. 1998a. Feasibility analysis of recurring branching tasks. In Proceedings of the 10th Euromicro Workshop on Real-Time Systems (ECRTS). 138--145.
Baruah, S. 1998b. A general model for recurring real-time tasks. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS). 114--122.
Davis, R. I. and Burns, A. 2005. Hierarchical fixed priority pre-emptive scheduling. In Proceedings of the 26th IEEE International Real-Time Systems Symposium (RTSS). IEEE Computer Society, Washington, DC, 389--398.
Easwaran, A., Anand, M., and Lee, I. 3-6 Dec. 2007. Compositional analysis framework using EDP resource models. In Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS). 129--138.
Feng, X. A. and Mok, A. K. 2002. A model of hierarchical real-time virtual resources. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS). IEEE Computer Society, Los Alamitos, CA.
Lehoczky, J., Sha, L., and Ding, Y. 1989. The rate monotonic scheduling algorithm: exact characterization and average case behavior. In Proceedings of the IEEE Real-Time Systems Symposium. 166--171.
Lipari, G. and Bini, E. 2003. Resource partitioning among real-time applications. In Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS). 151--158.
Matic, S. and Henzinger, T. A. 2005. Trading end-to-end latency for composability. In Proceedings of the 26th IEEE International Real-Time Systems Symposium (RTSS). IEEE Computer Society, Washington, DC, 99--110.
Saewong, S., Rajkumar, R., Lehoczky, J., and Klein, M. 2002. Analysis of hierarchical fixed-priority scheduling. In Proceedings of the Euromicro Conference on Real-Time Systems.
Shin, I. and Lee, I. 2003. Periodic resource model for compositional real-time guarantees. In Proceedings of the IEEE Real-Time Systems Symposium. 2--13.
Shin, I. and Lee, I. 2004. Compositional real-time scheduling framework. In Proceedings of the IEEE Real-Time Systems Symposium.
Thiele, L., Chakraborty, S., and Naedele, M. 2000. Real-time calculus for scheduling hard real-time systems. In Proceedings of the International Symposium on Circuits and Systems (ISCAS). 101--104.
Thiele, L., Wandeler, E., and Stoimenov, N. 2006. Real-time interfaces for composing real-time systems. In Proceedings of the 6th ACM International Conference on Embedded Software. 34--43.

Full Text:
... 2013. A comparison of compositional schedulability analysis tech-niques for hierarchical real- -time systems. . ACMTrans. Embedd. Comput. Syst. 13, 1, Article 2 (August ... divide-and-conquer strategy. This strategy also applies to the temporal domain,where real- -time systems must meet temporal requirements that are often expressedas deadlines. A ... component interfaces thatabstract component-level timing requirements.Checking schedulability in a hierarchical real- -time system consists of several steps,the first of which is to choose ... only exposing information that is needed for the latter analysis. Real- -time systems have traditionally been represented using task frameworks, such asperiodic/sporadic tasks, ...
... of ourwork.The second aspect in the analysis of hierarchical embedded real- -time systems issolving the problem of interface composition. In recent years, increasing ...
... al. 1990]) orrate-monotonic (RM [Lehoczky et al. 1989]) algorithms.A hierarchical real- -time system comprises one or more components arranged in ascheduling hierarchy, that ...
... recurring branching tasks. In Proceedings of the 10th EuromicroWorkshop on Real- -Time Systems (ECRTS). 138?145.BARUAH, S. 1998b. A general model for recurring real-time ... fixed priority pre-emptive scheduling. In Proceedings of the 26thIEEE International Real- -Time Systems Symposium (RTSS). IEEE Computer Society, Washington, DC,389?398.EASWARAN, A., ANAND, M., ... framework using EDP resourcemodels. In Proceedings of the 28th IEEE Real- -Time Systems Symposium (RTSS). 129?138.FENG, X. A. AND MOK, A. K. 2002. ... model of hierarchical real-time virtual resources. In Proceedings of theIEEE Real- -Time Systems Symposium (RTSS). IEEE Computer Society, Los Alamitos, CA.GHOSAL, A., SANGIOVANNI-VINCENTELLI, ... exact characterizationand average case behavior. In Proceedings of the IEEE Real- -Time Systems Symposium. 166?171.LIPARI, G. AND BINI, E. 2003. Resource partitioning among ... among real-time applications. In Proceedings of the 15thEuromicro Conference on Real- -Time Systems (ECRTS). 151?158.MATIC, S. AND HENZINGER, T. A. 2005. Trading end-to-end ... end-to-end latency for composability. In Proceedings of the 26thIEEE International Real- -Time Systems Symposium (RTSS). IEEE Computer Society, Washington, DC,99?110.MEYEROWITZ, T., PINELLO, C., ... resource model for compositional real-time guarantees. In Proceedings ofthe IEEE Real- -Time Systems Symposium. 2?13.SHIN, I. AND LEE, I. 2004. Compositional real-time scheduling ... 2004. Compositional real-time scheduling framework. In Proceedings of the IEEE Real- -Time Systems Symposium.THIELE, L., CHAKRABORTY, S., AND NAEDELE, M. 2000. Real-time calculus ...
... WANDELER, E., AND STOIMENOV, N. 2006. Real-time interfaces for composing real- -time systems. . InProceedings of the 6th ACM International Conference on Embedded ...

Title:
Feedback thermal control of real-time systems on multicore processors

CCS:
Real-time systems

Keywords:
real-time systems

Abstract:
<p>Embedded real- -time systems face significant challenges in thermal management. While earlier research on ... a novel feedback thermal control framework pecifically designed for multicore real- -time systems. . RT-MTC dynamically enforces both the desired temperature set point ...

Primary CCS:
Real-time systems

References:
Y. Fu, N. Kottenstette, Y. Chen, C. Lu, X. D. Koutsoukos, and H. Wang. Feedback Thermal Control for Real-time Systems. RTAS, 2010.
Y. Fu, N. Kottenstette, Y. Chen, C. Lu, X. D. Koutsoukos, and H. Wang. Feedback Thermal Control of Real-time Systems on Multicore Processors. Technical Report WUCSE-2011-3, Washington University in St. Louis, 2011.
J. Liu. Real-Time systems. Prentice Hall, 2000.
S. Wang and R. Bettati. Reactive speed control in temperature-constrained real-time systems. Real-Time Systems, 39(1-3):73--95, 2008.

Full Text:
Feedback thermal control of real- -time systems on multicore processorsFeedback Thermal Control of Real- -time Systems onMulticore ProcessorsYong Fu1, Nicholas Kottenstette2, Chenyang Lu1, Xenofon D. Koutsoukos ... Dept. of EECS, Vanderbilt University, Nashville, TN{fuy, lu}@cse.wustl.edu, {nkottens, Xenofon.Koutsoukos}@vanderbilt.eduABSTRACTEmbedded real- -time systems face signi?cant challenges inthermal management. While earlier research on feedbackthermal ... Finland.Copyright 2012 ACM 978-1-4503-1425-1/12/09 ...$15.00.Keywordsreal-time systems, multicore, thermal control1. INTRODUCTIONEmbedded real- -time systems face signi?cant challenges inthermal management as they adopt modern computing ... modern computing plat-forms with increasing power density. While traditional em-bedded real- -time systems typically run on single-core low-power microcontrollers, the increasing complexity of ... thermal control algorithms.However, previous research on feedback thermal control forembedded real- -time systems focused on single-core proces-sors and cannot handle the practical limitations ...
... that en-forces the desired temperature and CPU utilization bounds113of embedded real- -time systems through DVFS. RT-MTCemploys an e?cient and robust control design that ... easily deployed in existing systems.Control-theoretic thermal management has been exploredfor non-real- -time systems. . Donald and Martonosi present ageneral framework of dynamic thermal ... solutions [26,35,37].Control-theoretic approaches have recently been proposedfor thermal management of real- -time systems [12, 21]. Ourprevious work [12] proposed a feedback control algorithmthat ... by most operating systems.3. PROBLEM FORMULATIONWe assume a common embedded real- -time system modelwhere the workload consists of real-time tasks released pe-riodically. A ... the workload consists of real-time tasks released pe-riodically. A embedded real- -time system comprises a set ofperiodic real-time tasks running on a multicore ...
... core by enforcing the schedulable utilization bound. 1Given a embedded real- -time system running on a multi-core processor, our problem is to control ... to meetboth the thermal and real-time performance requirements ofa embedded real- -time system. .4. OVERVIEW OF RT-MTCThe feedback control loop of RT-MTC, shown ...
... low-complexity controller to tackle the prob-lem of thermal management of real- -time systems on multi-core processors. Our control design ensures that the maxi-mum ...
... Simulinkmodule implemented in MATLAB (R2008a). The C++ sim-ulator simulates embedded real- -time systems over multicoreprocessors and calculates the processor utilization accord-ing to the ...
embedded real- -time systems. . The Rate Monotonic (RM) scheduling algo-rithm [22] is employed ... Control) is amodi?ed version of reactive speed control of embedded real- -time systems [33]. The key design point of Reactive is thatwhenever the ...
... More details onthese experiments may be found in [13].9. CONCLUSIONEmbedded real- -time systems face signi?cant challengesin thermal management with their adoption of multicoreprocessors ...
... Algorithms forMultiprogramming in a Hard-Real-Time Environment.JACM, 20(1):46?61, 1973.[23] J. Liu. Real- -Time systems. . Prentice Hall, 2000.[24] Y. Liu, H. Yang, R. P. ... 1999.[33] S. Wang and R. Bettati. Reactive speed control intemperature-constrained real- -time systems. . Real-TimeSystems, 39(1-3):73?95, 2008.[34] Y. Wang, K. Ma, and X. ...

CCS:
Real-time systems

Keywords:
hard real-time systems

Abstract:
... <p>Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real- -time systems to achieve fault tolerance. From an energy consumption point of ... redundancy is generally more preferable than hardware redundancy. However, hard real- -time systems often use hardware redundancy to meet high reliability requirements of ... we propose a hardware-redundancy technique with low energy-overhead for hard real- -time systems. . The proposed technique is based on standby-sparing, where the ... several experiments to compare the proposed system with a fault-tolerant real- -time system which uses time redundancy for fault tolerance and DVS with ...

Title:
A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems

References:
R. Melhem, D. Mosse, and E. Elnozahy, "The interplay of power management and fault recovery in real-time systems," IEEE Trans. Computers, vol. 53, no. 2, pp. 217--231, 2004.
Y. Zhang and K. Chakrabarty, "Dynamic adaptation for fault tolerance and power management in embedded real-time systems," ACM Tran. Embedded Computing Systems, vol. 3, no. 2, pp. 336--360, 2004.
F. Liberato, R. Melhem, and D. Mosse, "Tolerance to multiple transient faults for aperiodic tasks in hard real-time systems," IEEE Trans. Computers, vol. 49, no. 9, pp. 906--914, 2000.
A. Ejlali, B.M. Al-Hashimi, M.T. Schmitz, P. Rosinger, and S.G. Miremadi, "Combined Time and Information Redundancy for SEU-Tolerance in Energy-Efficient Real-Time Systems", IEEE Trans. VLSI Sys., vol. 14, no. 4, pp. 323--335, April 2006.
A. M. K. Cheng, Real-Time Systems, Scheduling, Analysis, and Verification, John Wiley&Sons, 2002.
S. Poledna, Fault-tolerant real-time systems: The problem of replica determinism, Kluwer Academic Publishers, 1996.
H. Kopetz, Real-time systems: Design principles for distributed embedded applications, Kluwer Academic Publishers, 2002.

Full Text:
... - codes077-ejlali12.docA Standby-Sparing Technique with Low Energy-Overhead for Fault-Tolerant Hard Real- -Time Systems Alireza Ejlali Department of Computer Engineering Sharif University of Technology ... Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real- -time systems to achieve fault tolerance. From an energy consumption point of ... redundancy is generally more preferable than hardware redundancy. However, hard real- -time systems often use hardware redundancy to meet high reliability requirements of ... we propose a hardware-redundancy technique with low energy-overhead for hard real- -time systems. . The proposed technique is based on standby-sparing, where the ... several experiments to compare the proposed system with a fault-tolerant real- -time system which uses time redundancy for fault tolerance and DVS with ... and Embedded Systems General Terms Design, Reliability, Performance Keywords Hard real- -time systems, , Energy minimization, Reliability 1. INTRODUCTION Many fault-tolerant real- -time systems use time-redundancy techniques [1-5] where slack time is exploited to ... to tolerate faults by performing recovery executions. However, for hard real- -time systems that are used in safety-critical applications, time-redundancy techniques (e.g., roll-back ... on the available amount of slack time so that in real- -time systems with tight deadlines, the effectiveness of the time-redundancy techniques may ... must be taken when hardware redundancy is used in hard real- -time systems with limited energy budget. In this paper we propose a ... In this paper we propose a hardware-redundancy technique for hard real- -time systems to achieve high reliability without incurring high energy overhead. The ... will see in this paper (Section 2), in a hard real- -time system, , sometimes the spare must be activated even before the ... Therefore, the cold standby-sparing technique cannot be used in hard real- -time systems.
... idle as possible, taking into account the limitations of hard real- -time systems. . Dynamic voltage scaling (DVS) is used to reduce the ... have addressed both fault tolerance and low energy-consumption in fault-tolerant real- -time systems that are based on time-redundancy. However, these works have focused ... the energy overhead of TMR when it is used for real- -time systems. . This technique can reduce the energy overhead of a ... techniques and does not provide any energy-management method for fault-tolerant real- -time systems. . The main contributions of this paper are: ? We ... are: ? We will provide a standby-sparing technique for hard real- -time systems where DVS and DPM are employed to reduce the energy ... 0.15%). We also compared the proposed system with a fault-tolerant real- -time system which uses time redundancy instead of hardware redundancy. To provide ...
... task finishes successfully or not. In the context of fault-tolerant real- -time systems, , the error detection mechanisms is usually assumed to be ... to standby-sparing and they should also be used for fault-tolerant real- -time systems that use rollback-recovery (time-redundancy) [8]. To reduce the energy consumption ... not address scheduling problems. In this paper, we consider hard real- -time systems, , and it is assumed that time constraints are imposed ...
... based on the system application [13]. In the context of real- -time systems,
... 6. SUMMARY AND CONCLUSION The use of hardware-redundancy techniques for real- -time systems is necessary when high reliability is the primary concern. However, ... energy-overhead which uses standby-sparing to achieve fault tolerance for hard real- -time systems. . In the proposed standby-sparing system, DVS is used to ...
... ?i is WTi/(di+WTi). Proof: Since we have considered a hard real- -time system, , for each task Ti, the normalized supply voltage ?i ... Elnozahy, "The interplay of power management and fault recovery in real- -time systems, ," IEEE Trans. Computers, vol. 53, no. 2, pp. 217-231, ... "Dynamic adaptation for fault tolerance and power management in embedded real- -time systems, ," ACM Tran. Embedded Computing Systems, vol. 3, no. 2, ... "Tolerance to multiple transient faults for aperiodic tasks in hard real- -time systems, ," IEEE Trans. Computers, vol. 49, no. 9, pp. 906-914, ... Miremadi, "Combined Time and Information Redundancy for SEU-Tolerance in Energy-Efficient Real- -Time Systems" ", IEEE Trans. VLSI Sys., vol. 14, no. 4, pp. ... 1, pp. 111-125 JAN. 2006. [9] A. M. K. Cheng, Real- -Time Systems, , Scheduling, Analysis, and Verification, John Wiley & Sons, 2002. ...
... (ICPADS 2004), pp. 559-568, July 2004. [16] S. Poledna, Fault-tolerant real- -time systems: : The problem of replica determinism, Kluwer Academic Publishers, 1996. ... of replica determinism, Kluwer Academic Publishers, 1996. [17] H. Kopetz, Real- -time systems: : Design principles for distributed embedded applications, Kluwer Academic Publishers, ...

CCS:
Real-time systems software

Keywords:
real-time systems

Primary CCS:
Real-time systems software

References:
Martin Schoeberl. Restrictions of Java for embedded real-time systems. In Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), pages 93--100, Vienna, Austria, May 2004. IEEE.
Martin Schoeberl. A Java processor architecture for embedded real-time systems. Journal of Systems Architecture, 54/1--2:265--286, 2008.

Full Text:
... the expert group.Categories and Subject DescriptorsD.4.7 [Operating Systems]: Organization and Design?Real- -time systems and embedded systemsKeywordsreal-time systems; Java; safety-critical systems1. INTRODUCTIONSafety-critical systems are ... and the paper is concluded withSection 6.2. RELATED WORKJava for real- -time systems started with work on PERCPico [9]. Later on, the Real-Time ...
... May 2004. IEEE.[17] Martin Schoeberl. A Java processor architecture forembedded real- -time systems. . Journal of SystemsArchitecture, 54/1?2:265?286, 2008.[18] Martin Schoeberl. JOP Reference ...

CCS:
Real-time systems

Keywords:
real-time systems

References:
S. Baruah, G. Koren, D. Mao, B. Mishra, A. Raghunathan, L. Rosier, D. Shasha, and F. Wang. On the competitiveness of on-line real-time task scheduling. In Proceedings of Real-Time Systems Symposium, pages 106--115, December 1991.
E. Bini and G. C. Buttazzo. Measuring the performance of schedulability tests. Real-Time Systems, 30: 129--154, 2005.
R. I. Davis and A. Burns. Priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. In Proceedings of the 2009 30th IEEE Real-Time Systems Symposium, RTSS '09, pages 398--409, Washington, DC, USA, 2009. IEEE Computer Society.
R. Ha and J. Liu. Validating timing constraints in multiprocessor and distributed real-time systems. In Proc. of the 14th International Conference on Dist. Comp. Systems, pages 162--171, jun 1994.
S. Samii, S. Rafiliu, P. Eles, and Z. Peng. A simulation methodology for worst-case response time estimation of distributed real-time systems. In Design, Automation and Test in Europe, 2008. DATE '08, pages 556--561, march 2008.

Full Text:
... ; C.3 [Special-purpose and application-basedsystem]: Real-time and embedded systemsKeywordsoperating systems, real- -time systems, , embedded systems1. INTRODUCTIONIncreasingly embedded systems are used in absolutely ... so that the notion of real time is impor-tant. Hard real- -time systems are a small portion of themarket, although a very important ...
... [6], Davis and Burns presented the FPZL schedulingalgorithm for multiprocessor real- -time systems. . Polynomialtime and pseudo-polynomial time sufficient schedulabilitytests are derived for ...
... bound is not useful when one is de-signing a soft real- -time system. . In this scenario simulatorsare used to establish a lower ...
... A. Burns. Priority assignment forglobal fixed priority pre-emptive scheduling inmultiprocessor real- -time systems. . In Proceedings of the2009 30th IEEE Real- -Time Systems Symposium,RTSS ?09, pages 398?409, Washington, DC, USA,2009. IEEE Computer Society.[6] ... Ha and J. Liu. Validating timing constraints inmultiprocessor and distributed real- -time systems. . InProc. of the 14th International Conference on Dist.Comp. Systems, ... Z. Peng. A simulationmethodology for worst-case response time estimationof distributed real- -time systems. . In Design,Automation and Test in Europe, 2008. DATE ?08,pages ...

Title:
Thermal analysis of periodic real-time systems with stochastic properties: an analytical approach

CCS:
Real-time systems

Keywords:
real-time systems

Abstract:
<p>We consider a real- -time system running periodic tasks with probabilistic execution times. In this system, ...

Primary CCS:
Real-time systems

References:
L. Abeni and G. Buttazzo. Integrating multimedia applications in hard real-time systems. In Proc. of the 19th IEEE Real-Time Systems Symposium, pages 4--13, 1998.
M. Chrobak, M. Hurand, and J. Sgall. Fast algorithms for testing fault-tolerance of sequenced jobs with deadlines. In Proc. of the 28th IEEE International Real-Time Systems Symposium, pages 139--148, 2007.
L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzetti, E. Quiñones, and F. J. Cazorla. Measurement-based probabilistic timing analysis for multi-path programs. In Euromicro Conference on Real-Time Systems (ECRTS), pages 91--101, 2012.
H. Huang and G. Quan. Leakage aware energy minimization for real-time systems under the maximum temperature constraint. In Design, Automation Test in Europe Conference Exhibition (DATE), pages 1--6, march 2011.
M. Kargahi and A. Movaghar. Performance optimization based on analytical modeling in a real-time system with constrained time/utility functions. IEEE Transactions on Computers, 60(8):1169--1181, aug. 2011.
K. Kim, J. Diaz, L. Lo Bello, J. Lopez, C.-G. Lee, and S.-L. Min. An exact stochastic analysis of priority-driven periodic real-time systems and its approximations. Computers, IEEE Transactions on, 54(11):1460--1466, 2005.
J. P. Lehoczky. Real-time queueing theory. In IEEE Real-Time Systems Symposium, pages 186--195, 1996.
J. P. Lehoczky. Real-time queueing network theory. In IEEE Real-Time Systems Symposium, pages 58--67, 1997.
M. Mohaqeqi, M. Kargahi, and A. Movaghar. Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system. In RTNS, pages 81--89, 2012.
M. Mohaqeqi, M. Kargahi, and A. Movaghar. Analytical leakage-aware thermal modeling of a real-time system. IEEE Transactions on Computers, to appear.
L. Palopoli, D. Fontanelli, N. Manica, and L. Abeni. An analytical bound for probabilistic deadlines. In Euromicro Conference on Real-Time Systems (ECRTS), pages 179--188, 2012.
L. Sha, T. Abdelzaher, K.-E. Årzén, A. Cervin, T. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. Lehoczky, and A. K. Mok. Real time scheduling theory: A historical perspective. Real-time systems, 28(2-3):101--155, 2004.
S. Wang and R. Bettati. Delay analysis in temperature-constrained hard real-time systems with general task arrivals. In Proc. of the 27th IEEE International Real-Time Systems Symposium, pages 323--334. IEEE, 2006.
S. Wang and R. Bettati. Reactive speed control in temperature-constrained real-time systems. In Euromicro Conference on Real-Time Systems (ECRTS), pages 161--170, 2006.
S. Wang and R. Bettati. Reactive speed control in temperature-constrained real-time systems. Real-Time Systems, 39(1-3):73--95, 2008.

Full Text:
Thermal analysis of periodic real- -time systems with stochastic properties: an analytical approachThermal Analysis of Periodic Real- -Time Systems withStochastic Properties: An Analytical ApproachMorteza Mohaqeqi1 , Mehdi Kargahi1;21 School ... Fundamental Sciences (IPM), P.O. Box 19395-5746,Tehran, Iran{m.mohaqeqi, kargahi}@ut.ac.irABSTRACTWe consider a real- -time system running periodic tasks withprobabilistic execution times. In this system, temperaturebehavior ... techniques; G.3 [Probability andStatistics]: Distribution functionsGeneral TermsDesign, Performance, AlgorithmsKeywordsThermal analysis, real- -time systems, , probabilistic analysis1. INTRODUCTIONWith continually scaling down of the semiconductor ... necessary for the designers toachieve cost-e?ective, reliable, and power-e?cient systems.In real- -time systems, , timing constraints in the executionof the jobs are normally ... its ap-propriateness for the system mission. Therefore, accurateknowledge of the real- -time system thermal behavior is anessential requirement for e?cient design and attainment ... paper, we propose a probabilistic temperature anal-ysis method for a real- -time system with periodic tasks. Weincorporate the task properties and scheduling algorithm ...
... a few number of researchers have studied ther-119mal concerns of real- -time systems. . Feasibility analysis fromboth thermal and timing aspects has been ... Also, theaverage-case [18] and worst-case [26] estimation of temper-ature of real- -time systems with uncertainty in the job exe-cution time and arrivals have ... addition, a complete speci?cation of temperature vari-ation of a stochastic real- -time system with Poisson arrivaland FCFS scheduling has been calculated in [19]. ... the current study are discussed inSection 7.2. RELATEDWORKStochastic analysis of real- -time systems has been approachedfrom di?erent aspects. The analysis of queueing systemswith ... scheduling algorithms, including EDF, FCFS and?xed-priority schemes.Performance analysis of ?rm real- -time systems, , where ajob with missed deadline has no value to ... no consideration of thermal impacts onthe leakage power.Probabilistic analysis of real- -time systems with periodictasks has been another trend of research in this ... al. [17] introduced a novel state-space repre-sentation of a stochastic real- -time system which is governedby a non-preemptive scheduling algorithm. They employcontinuous-time distribution ...
... between two speed levels has been devised.In the realm of real- -time systems, , thermal-aware feasibil-ity analysis has been an important area of ... [32, 33, 35] studied delay analysis in a thermally con-trolled real- -time system. . They consider a simple tempera-ture control mechanism under which ... min-imizing the expected makespan of all the jobs.Thermal analysis of real- -time systems which contain somejitter has been also investigated in a few ... in a few studies. In [26] theworst-case temperature of a real- -time system with arrivaljitter has been calculated based on real-time calculus for-malism. ... tra?c shaping is utilizedfor dynamic thermal management.Thermal analysis of stochastic real- -time systems has beenalso done for the case of Poisson arrival and ... calculation. In addition, a methodfor extracting mean temperature for a real- -time system withthe same stochastic properties, which is enabled with thecapability of ...
... the ap-proach presented in [17] for performance analysis of the real- -time system. . In this approach, the state space model ofthe system ...
... paper we have considered the problem of thermalanalysis of a real- -time system. . Due to direct e?ect of tem-perature on reliability and ... performance,Figure 2: Steady-state temperature PDF125study of temperature variation of a real- -time system is afundamental step in the system design. We focused on ... method establishes a general framework forthermal analysis of the stochastic real- -time systems that aremodeled based on the notion of state-space representation.When applying ... the e?ect of temperature manage-ment on the performance of a real- -time system can largelyimpact the timing behavior of the system. Also this ... REFERENCES[1] L. Abeni and G. Buttazzo. Integrating multimediaapplications in hard real- -time systems. . In Proc. of the19th IEEE Real- -Time Systems Symposium, pages4{13, 1998.[2] L. Abeni and G. Buttazzo. Stochastic analysis ... Cazorla. Measurement-basedprobabilistic timing analysis for multi-path programs.In Euromicro Conference on Real- -Time Systems( (ECRTS), pages 91{101, 2012.[6] T. Granlund and N. Olsson. Seus ... 2005.[7] H. Huang and G. Quan. Leakage aware energyminimization for real- -time systems under themaximum temperature constraint. In Design,Automation Test in Europe Conference ... C.-G. Lee, andS.-L. Min. An exact stochastic analysis ofpriority-driven periodic real- -time systems and itsapproximations. Computers, IEEE Transactions on,54(11):1460{1466, 2005.[12] P. Kumar and ... 186{195, 1996.[14] J. P. Lehoczky. Real-time queueing network theory. InIEEE Real- -Time Systems
... L. Abeni.An analytical bound for probabilistic deadlines. InEuromicro Conference on Real- -Time Systems( (ECRTS), pages 179{188, 2012.[22] A. Papoulis and S. U. Pillai. ... and A. K. Mok. Real time schedulingtheory: A historical perspective. Real- -time systems, ,28(2-3):101{155, 2004.[28] K. Skadron, T. Abdelzaher, and M. Stan.Control-theoretic techniques ... ACM.[32] S. Wang and R. Bettati. Delay analysis intemperature-constrained hard real- -time systems withgeneral task arrivals. In Proc. of the 27th IEEEInternational Real- -Time Systems Symposium, pages323{334. IEEE, 2006.[33] S. Wang and R. Bettati. Reactive ... 2006.[33] S. Wang and R. Bettati. Reactive speed control intemperature-constrained real- -time systems. . InEuromicro Conference on Real- -Time Systems( (ECRTS), pages 161{170, 2006.[34] S. Wang and R. Bettati. Reactive ... 2006.[34] S. Wang and R. Bettati. Reactive speed control intemperature-constrained real- -time systems. . Real-TimeSystems, 39(1-3):73{95, 2008.[35] Y. Wang, K. Ma, and X. ...

CCS:
Real-time systems

Keywords:
real-time system

CCS:
Real-time systems software

Keywords:
real-time systems

Title:
Demand bound server: generalized resource reservation for hard real-time systems

Primary CCS:
Real-time systems software

References:
Z. Deng and J. W.-S. Liu, "Scheduling real-time applications in an open environment," in IEEE Real-Time Systems Symposium, IEEE Computer Society, 1997.
M. Spuri and G. C. Buttazzo, "Efficient aperiodic service under earliest deadline scheduling," in IEEE Real-Time Systems Symposium, IEEE Computer Society, 1994.
M. Spuri and G. C. Buttazzo, "Scheduling aperiodic tasks in dynamic priority systems," Real-Time Systems, vol. 10, no. 2, 1996.
T. M. Ghazalie and T. P. Baker, "Aperiodic servers in a deadline scheduling environment," Real-Time Systems, vol. 9, no. 1, 1995.
L. Abeni and G. C. Buttazzo, "Integrating multimedia applications in hard real-time systems," in IEEE Real-Time Systems Symposium, 1998.
G. Lipari, J. Carpenter, and S. K. Baruah, "A framework for achieving inter-application isolation in multiprogrammed, hard real-time environments," in IEEE Real-Time Systems Symposium {18}.
T. Facchinetti, G. C. Buttazzo, M. Marinoni, and G. Guidi, "Non-preemptive interrupt scheduling for safe reuse of legacy drivers in real-time systems," in ECRTS, IEEE Computer Society, 2005.
M. Caccamo, G. C. Buttazzo, and L. Sha, "Capacity Sharing for Overrun Control," in IEEE Real-Time Systems Symposium {18}.
L. Marzario, G. Lipari, P. Balbastre, and A. Crespo, "Iris: A new reclaiming algorithm for server-based real-time systems," in IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2004.
L. Thiele, S. Chakraborty, and M. Naedele, "Real-time calculus for scheduling hard real-time systems," in Circuits and Systems, 2000. Proceedings. ISCAS 2000 Geneva. The 2000 IEEE International Symposium on, vol. 4, 2000.
S. K. Baruah, A. K. Mok, and L. E. Rosier, "Preemptively scheduling hard-real-time sporadic tasks on one processor," in IEEE Real-Time Systems Symposium, 1990.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida, USA, 27-30 November 2000, IEEE Computer Society, 2000.

Full Text:
... interference on the shared resource. Inmany systems, in particular hard real- -time systems, , it isimportant to limit the interference between tasks in ...
... related point is about interfaces, in the designand analysis of real- -time systems. . Certainly, interfaces existthat greatly generalize the utilization interface. Well ...
... here is not used in the same sense as insoft real- -time systems. . Soft servers can be characterized byhard real-time properties.c1, d1, ...
... Spuri and G. C. Buttazzo, ?Scheduling aperiodic tasksin dynamic priority systems,?Real- -Time Systems, , vol. 10,no. 2, 1996.[4] T. M. Ghazalie and T. ... and T. P. Baker, ?Aperiodic servers in adeadline scheduling environment,? Real- -Time Systems, ,vol. 9, no. 1, 1995.[5] L. Abeni and G. C. ... L. Abeni and G. C. Buttazzo, ?Integrating multimediaapplications in hard real- -time systems, ,? in IEEE Real-TimeSystems Symposium, 1998.[6] G. Lipari and S. ... G. Guidi,?Non-preemptive interrupt scheduling for safe reuse oflegacy drivers in real- -time systems, ,? in ECRTS, IEEEComputer Society, 2005.[9] G. Lipari and S. ...
... Thiele, S. Chakraborty, and M. Naedele, ?Real-timecalculus for scheduling hard real- -time systems, ,? in Circuitsand Systems, 2000. Proceedings. ISCAS 2000 Geneva. The2000 ... E. Rosier, ?Preemptivelyscheduling hard-real-time sporadic tasks on one processor,?in IEEE Real- -Time Systems Symposium, 1990.[16] L. Abeni, L. Palopoli, C. Scordino, and G. ...

CCS:
Real-time systems

Keywords:
real-time systems

Primary CCS:
Real-time systems

References:
P. Pop, P. Eles, and Z. Peng. Schedulability-driven communication synthesis for time-triggered embedded systems. Real-Time Systems, 24:297--325, 2004.

Full Text:
... P. Eles, and Z. Peng. Schedulability-drivencommunication synthesis for time-triggered embeddedsystems. Real- -Time Systems,

CCS:
Real-time systems software

Keywords:
real-time systems

Primary CCS:
Real-time systems software

Full Text:
... University{yogev.vaknin, stoledo}@tau.ac.ilCategories and Subject Descriptors D.4.7 [Operating Sys-tems]: Organization and Design?Real- -time systems andembedded systemsKeywords Real- -Time Systems, , Operating System, Embed-ded Systems.1. AbstractOur work proposes a novel ...