Towards a Time-Composable Operating System

Baldovin, Andrea; Mezzetti, Enrico; Vardanega, Tullio

doi:10.1007/978-3-642-38601-5_10

Cited by 10 publications

(15 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The time-composable operating system TiCOS [2] has been ported to Patmos [36]. TiCOS is a light-weight RTOS, which is a fork of the open-source POK project [7].…”

Section: Related Workmentioning

confidence: 99%

Support for the logical execution time model on a time-predictable multicore processor

2016

View full text Add to dashboard Cite

The logical execution time (LET) model increases the compositionality of real-time task sets. Removal or addition of tasks does not influence the communication behavior of other tasks. In this work, we extend a multicore operating system running on a timepredictable multicore processor to support the LET model. For communication between tasks we use message passing on a timepredictable network-on-chip to avoid the bottleneck of shared memory. We report our experiences and present results on the costs in terms of memory and execution time.

show abstract

“…The time-composable operating system TiCOS [2] has been ported to Patmos [36]. TiCOS is a light-weight RTOS, which is a fork of the open-source POK project [7].…”

Section: Related Workmentioning

confidence: 99%

Support for the logical execution time model on a time-predictable multicore processor

2016

View full text Add to dashboard Cite

show abstract

“…Since DSR has reached a high technology readiness level, it is the randomisation version of choice for evaluation in this paper. Despite that DSR has been preliminarily assessed in the past with an avionics case study [27] as well as compared with hardware randomisation, that work was not performed on a real industrial environment, but on a research prototype using a research RTOS [4] and a simulation infrastructure.…”

Section: Introductionmentioning

confidence: 99%

Dynamic software randomisation: Lessons learnec from an aerospace case study

Cros

Kosmidis

Wartel

et al. 2017

Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition (DATE), 2017

View full text Add to dashboard Cite

Abstract-Timing Validation and Verification (V&V) is an important step in real-time system design, in which a system's timing behaviour is assessed via Worst Case Execution Time (WCET) estimation and scheduling analysis. For WCET estimation, measurement-based timing analysis (MBTA) techniques are widely-used and well-established in industrial environments. However, the advent of complex processors makes it more difficult for the user to provide evidence that the software is tested under stress conditions representative of those at system operation. Measurement-Based Probabilistic Timing Analysis (MBPTA) is a variant of MBTA followed by the PROXIMA European Project that facilitates formulating this representativeness argument. MBPTA requires certain properties to be applicable, which can be obtained by selectively injecting randomisation in platform's timing behaviour via hardware or software means.In this paper, we assess the effectiveness of the PROXIMA's dynamic software randomisation (DSR) with a space industrial case study executed on a real unmodified hardware platform and an industrial operating system. We present the challenges faced in its development, in order to achieve MBPTA compliance and the lessons learned from this process. Our results, obtained using a commercial timing analysis tool, indicate that DSR does not impact the average performance of the application, while it enables the use of MBPTA. This results in tighter pWCET estimates compared to current industrial practice.

show abstract

“…Similarly, RTOS services must be designed to ensure that the analysis results computed for a program on a timepredictable hardware platform continue to hold upon system integration. That is, the RTOS must be time-composable [7]. In [6], two properties of such a RTOS are identified: (1) zero disturbance and (2) steady timing behavior.…”

Section: Introductionmentioning

confidence: 99%

“…That is, the RTOS must be time-composable [7]. In [6], two properties of such a RTOS are identified: (1) zero disturbance and (2) steady timing behavior. Zero disturbance requires that the RTOS should not affect the timing behavior of applications by altering the state of jittery (state-dependent) hardware resources.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A time-composable operating system for the Patmos processor

Ziccardi

Schoeberl

Vardanega

2015

Proceedings of the 30th Annual ACM Symposium on Applied Computing

Self Cite

View full text Add to dashboard Cite

In the last couple of decades we have witnessed a steady growth in the complexity and widespread of real-time systems. In order to master the rising complexity in the timing behaviour of those systems, rightful attention has been given to the development of time-predictable computer architectures. The Patmos time-predictable microprocessor used in the T-CREST project employs performance-enhancing hardware while keeping the system analyzable. Time composability, at both hardware and software level, is a considerable aid to reducing the integration costs of complex applications. A time-composable operating system, on top of a time-composable processor, facilitates incremental development, which is highly desirable for industry. This paper makes a twofold contribution. First, we present enhancements to the Patmos processor to allow achieving time composability at the operating system level. Second, we extend an existing time-composable operating system, TiCOS, to make best use of advanced Patmos hardware features in the pursuit of time composability.

show abstract

Towards a Time-Composable Operating System

Cited by 10 publications

References 17 publications

Support for the logical execution time model on a time-predictable multicore processor

Support for the logical execution time model on a time-predictable multicore processor

Dynamic software randomisation: Lessons learnec from an aerospace case study

A time-composable operating system for the Patmos processor

Contact Info

Product

Resources

About