Cited By
View all- Lyons AMcLeod KAlmatary HHeiser GOliveira RFelber PHu Y(2018)Scheduling-context capabilitiesProceedings of the Thirteenth EuroSys Conference10.1145/3190508.3190539(1-16)Online publication date: 23-Apr-2018
Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS
Pages 227 - 236
Abstract
This paper presents a case study in the design and implementation of OS-level support for low-criticality tasks with stringent latency requirements, a particularly challenging aspect of mixed-criticality workloads, in PikeOS, a commercial, certified mixed-criticality OS. Special consideration is placed on key real-world design constraints that arise in a commercial setting, pertaining to customer needs, vendor constraints, and certification demands.
References
[1]
Luca Abeni and Giorgio Buttazzo. 1998. Integrating multimedia applications in hard real-time systems. In RTSS 1998. IEEE.
[2]
Luis Almeida and Paulo Pedreiras. 2004. Scheduling within temporal partitions: response-time analysis and server design. In ICES 2004. ACM.
[3]
Sanjoy K Baruah, Alan Burns, and Robert I Davis. 2011. Response-time analysis for mixed criticality systems. In RTSS 2011. IEEE.
[4]
B Brandenburg and J Anderson. 2007. Feather-Trace: A lightweight event tracing toolkit. In OSPERT 2007.
[5]
Alan Burns and Robert Davis. 2017. Mixed criticality systems---a review, 9th edition. Technical Report. Department of Computer Science, University of York.
[6]
E Carrascosa, Javier Coronel, Miguel Masmano, Patricia Balbastre, and Alfons Crespo. 2014. XtratuM hypervisor redesign for LEON4 multicore processor. ACM SIGBED Review 11, 2 (2014), 27--31.
[7]
Felipe Cerqueira, Felix Stutz, and Björn B Brandenburg. 2016. PROSA: A Case for Readable Mechanized Schedulability Analysis. In ECRTS 2016.
[8]
Alfons Crespo, Ismael Ripoll, and Miguel Masmano. 2010. Partitioned embedded architecture based on hypervisor: The xtratum approach. In EDCC 2010.
[9]
Dionisio De Niz, Karthik Lakshmanan, and Ragunathan Rajkumar. 2009. On the scheduling of mixed-criticality real-time task sets. In RTSS 2009.
[10]
Dionisio De Niz, Lutz Wrage, Anthony Rowe, and Ragunathan Raj Rajkumar. 2014. Utility-based resource overbooking for cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS) 13, 5s (2014), 162.
[11]
Zhong Deng and JW-S Liu. 1997. Scheduling real-time applications in an open environment. In RTSS 1997.
[12]
Arvind Easwaran, Madhukar Anand, and Insup Lee. 2007. Compositional analysis framework using EDP resource models. In RTSS 2007.
[13]
Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, and Eduardo Tovar. 2015. How realistic is the mixed-criticality real-time system model?. In RTNS 2015.
[14]
Xiang Feng and Aloysius K Mok. 2002. A model of hierarchical real-time virtual resources. In RTSS 2002.
[15]
Gerhard Fohler. 1995. Joint scheduling of distributed complex periodic and hard aperiodic tasks in statically scheduled systems. In RTSS 1995.
[16]
Gerhard J Fohler. 1994. Flexibility in statically scheduled hard real-time systems.
[17]
Brendan Gregg and Jim Mauro. 2011. DTrace: Dynamic Tracing in Oracle Solaris, Mac OS X, and FreeBSD. Prentice Hall Professional.
[18]
Stefan Groesbrink, Luis Almeida, Mario de Sousa, and Stefan M Petters. 2014. Towards certifiable adaptive reservations for hypervisor-based virtualization. In RTAS 2014.
[19]
Fei Guan, Long Peng, Luc Perneel, Hasan Fayyad-Kazan, and Martin Timmerman. 2017. A Design That Incorporates Adaptive Reservation into Mixed-Criticality Systems. Scientific Programming 2017 (2017).
[20]
M Gonzales Harbour and J Carlos Palencia. 2003. Response time analysis for tasks scheduled under EDF within fixed priorities. In RTSS 2003.
[21]
Jonathan L Herman, Christopher J Kenna, Malcolm S Mollison, James H Anderson, and Daniel M Johnson. 2012. RTOS support for multicore mixed-criticality systems. In RTAS 2012.
[22]
Simon Kramer, Dirk Ziegenbein, and Arne Hamann. 2015. Real world automotive benchmarks for free. In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).
[23]
Tei-Wei Kuo and Ching-Hui Li. 1999. A fixed-priority-driven open environment for real-time applications. In RTSS 1999.
[24]
John P Lehoczky. 1987. Enhanced aperiodic responsiveness in hard real-time environments. In RTSS 1987.
[25]
Giuseppe Lipari and Sanjoy Baruah. 2001. A hierarchical extension to the constant bandwidth server framework. In RTAS 2001.
[26]
Giuseppe Lipari and Enrico Bini. 2003. Resource partitioning among real-time applications. In ECRTS 2003.
[27]
Giuseppe Lipari and G Buttazzo. 2013. Resource reservation for mixed criticality systems. In Proceeding of Workshop on Real-Time Systems: the past, the present, and the future. 60--74.
[28]
Chung Laung Liu and James W Layland. 1973. Scheduling algorithms for multi-programming in a hard-real-time environment. Journal of the ACM (JACM) 20, 1 (1973), 46--61.
[29]
Clifford W Mercer, Stefan Savage, and Hideyuki Tokuda. 1993. Processor capacity reserves: An abstraction for managing processor usage. In Workstation Operating Systems.
[30]
Albert Ng, Julian Lepinski, Daniel Wigdor, Steven Sanders, and Paul Dietz. 2012. Designing for low-latency direct-touch input. In Proceedings of the 25th annual ACM symposium on User interface software and technology.
[31]
Taeju Park and Soontae Kim. 2011. Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems. In ICES 2011.
[32]
Ragunathan Rajkumar, Kanaka Juvva, Anastasio Molano, and Shuichi Oikawa. 1997. Resource kernels: a resource-centric approach to real-time and multimedia systems. In Multimedia Computing and Networking 1998, Vol. 3310. 150--164.
[33]
John Regehr and John A Stankovic. 2001. HLS: A framework for composing soft real-time schedulers. In RTSS 2001.
[34]
Saowanee Saewong, Ragunathan Rajkumar, John P Lehoczky, and Mark H Klein. 2002. Analysis of Hierarchical Fixed-Priority Scheduling. In ECRTS 2002.
[35]
Stefan Schorr and Gerhard Fohler. 2013. Integrated time-and event-triggered scheduling-An overhead analysis on the ARM architecture. In RTCSA 2013.
[36]
Insik Shin and Insup Lee. 2003. Periodic resource model for compositional real-time guarantees. In RTSS 2003.
[37]
Insik Shin and Insup Lee. 2008. Compositional real-time scheduling framework with periodic model. ACM Transactions on Embedded Computing Systems (TECS) 7, 3 (2008), 30.
[38]
Brinkley Sprunt, Lui Sha, and John Lehoczky. 1989. Aperiodic task scheduling for hard-real-time systems. Real-Time Systems 1, 1 (1989), 27--60.
[39]
Marco Spuri. 1996. Analysis of deadline scheduled real-time systems. Ph.D. Dissertation. Inria.
[40]
Marco Spuri and Giorgio Buttazzo. 1996. Scheduling aperiodic tasks in dynamic priority systems. Real-Time Systems 10, 2 (1996), 179--210.
[41]
Mark Stanovich, Theodore P Baker, An-I Wang, and Michael Gonzalez Harbour. 2010. Defects of the POSIX sporadic server and how to correct them. In RTAS 2010.
[42]
Jay K. Strosnider, John P. Lehoczky, and Lui Sha. 1995. The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Trans. Comput. 44, 1 (1995), 73--91.
[43]
Henrik Theiling. 2016. 'Poke' --- A Fast, Generic, Low-Level Dispatch Mechanism for PikeOS Kernel Drivers. Technical Report. SYSGO AG.
[44]
Steve Vestal. 2007. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In RTSS 2007.
[45]
Fengxiang Zhang. 2009. Analysis for EDF scheduled real-time systems. Department for Computer Science, University of York.
[46]
Fengxiang Zhang and Alan Burns. 2009. Schedulability analysis for real-time systems with EDF scheduling. IEEE Trans. Comput. 58, 9 (2009), 1250--1258.
Index Terms
- Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS
Recommendations
Adaptive Workload Management in Mixed-Criticality Systems
Special Issue on VIPES, Special Issue on ICESS2015 and Regular PapersDue to the efficient resource usage of integrating tasks with different criticality onto a shared platform, the integration with mixed-criticality tasks is becoming an increasingly important trend in the design of real-time systems. One challenge in ...
Dynamic Constraints for Mixed-Criticality Systems
COINS '19: Proceedings of the International Conference on Omni-Layer Intelligent SystemsWe define quality of service requirements for mixed-criticality systems based on min-plus algebra rather than discrete criticality levels. The requirements (1) unify a spectrum of weakly-hard real-time requirements with strongly-hard real-time and soft ...
A fault-tolerant time-triggered scheduling algorithm of mixed-criticality systems
AbstractReal-time and safety-critical systems are an integration of multiple functionalities onto a single computing platform. Some of the functionalities are safety-critical and subject to certification while the rest of the functionalities are nonsafety-...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
October 2017
318 pages
Copyright © 2017 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 04 October 2017
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- European Union
Conference
RTNS '17
RTNS '17: 25th International Conference on Real-Time Networks and Systems
October 4 - 6, 2017
Grenoble, France
Acceptance Rates
Overall Acceptance Rate 119 of 255 submissions, 47%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 86Total Downloads
- Downloads (Last 12 months)5
- Downloads (Last 6 weeks)1
Reflects downloads up to 13 Nov 2024
Other Metrics
Citations
Cited By
View all- Lyons AMcLeod KAlmatary HHeiser GOliveira RFelber PHu Y(2018)Scheduling-context capabilitiesProceedings of the Thirteenth EuroSys Conference10.1145/3190508.3190539(1-16)Online publication date: 23-Apr-2018
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in