Providing temporal isolation in the OSGi framework

Richardson, Tanya; Wellings, Andy; Dianes, José A.; Díáz, Manuel

doi:10.1145/1620405.1620407

Cited by 16 publications

(16 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[43]- [47]. Earlier influential work can be found in [5], with regard to assurances of dependability, and in [29], for a characterization of component design and timing issues in component re-configuration [29].…”

Section: Patch Compilationmentioning

confidence: 99%

Runtime Programming through Model-Preserving, Scalable Runtime Patches

Kirsch

Lopes

Marques

et al. 2012

Formal Aspects of Component Software

View full text Add to dashboard Cite

Abstract-We consider a methodology for flexible software design, runtime programming, defined by recurrent, incremental software modifications to a program at runtime, called runtime patches. The principles we consider for runtime programming are model preservation and scalability. Model preservation means that a runtime patch preserves the programming model in place for programs -in terms of syntax, semantics, and correctness properties -as opposed to an "ad-hoc", disruptive operation, or one that requires an extra level of abstraction. Scalability means that, for practicality and performance, the effort in program compilation required by a runtime patch should ideally scale in proportion to the change induced by it. We formulate runtime programming over an abstract model for component-based concurrent programs, defined by a modular relation between the syntax and semantics of programs, plus built-in notions of initialization and quiescence. The notion of a runtime patch is defined over these assumptions, as a model-preserving transition between two programs and respective states. Additionally, we propose an incremental compilation framework for scalability in patch compilation. The formulation is put in perspective through a case-study instantiation over a language for distributed hard real-time systems, the Hierarchical Timing Language (HTL).

show abstract

Section: Patch Compilationmentioning

confidence: 99%

Runtime Programming through Model-Preserving, Scalable Runtime Patches

Kirsch

Lopes

Marques

et al. 2012

Formal Aspects of Component Software

View full text Add to dashboard Cite

show abstract

“…The Event Channel within the Controller process events with stringent QoS requirements such as timeliness, causal relationship, etc. Different from a recent study [51] that aims to augment existing OSGi with real-time constructs, we provide a clear separation between real-time event processing and the existing OSGi framework. This allows for interoperability with existing OSGi components/services used in various applications while supporting the end-to-end QoS requirements required in CPS applications.…”

Section: Cps Nodementioning

confidence: 99%

Web‐of‐things framework for cyber–physical systems

Dillon

Zhuge

et al. 2011

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYThe recent development of Web-of-Things (WoT) and Cyber-Physical Systems (CPS) raises a new requirement of connecting abstract computational artifacts with the physical world. This requires both new theories and engineering practices that model cyber and physical resources in a unified framework, a challenge that few current approaches are able to tackle. The solution must break the boundary between the cyber world and the physical world by providing a unified infrastructure that permits integrated models addressing issues from both worlds simultaneously. This paper proposes a framework to integrate WoT and CPS. A case study is presented to demonstrate the advantage of the framework.

show abstract

“…However it was shown in [8] that even when using these two technologies together problems remain which prevent real-time systems from being developed, such as unbounded dynamism, runaway threads, and issues with worst case execution time (WCET) calculation.…”

Section: Introductionmentioning

confidence: 99%

“…Section 6 concludes the paper and Section 7 describes future work II. RELATED WORK Our work on admission control in this paper builds on the work carried out in [8]. In reference [8] the use of the OSGi Framework and RTSJ together is explored, giving the motivation for and problems with using these technologies together.…”

Section: Introductionmentioning

confidence: 99%

“…RELATED WORK Our work on admission control in this paper builds on the work carried out in [8]. In reference [8] the use of the OSGi Framework and RTSJ together is explored, giving the motivation for and problems with using these technologies together. The paper's main focus is on temporal isolations, that is, how the threads in one component can be prevented from interfering with the temporal requirements of threads in other independent components in the system.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An Admission Control Protocol for Real-Time OSGi

Richardson

Wellings

2010

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

In previous work we motivated the need for using the OSGi Framework with the RTSJ to develop real-time systems. We found a number of issues with using these technologies together. One of the issues we discovered was unbounded dynamism caused by the absence of admission control. Components can be uninstalled, installed and updated without regulation. This means that it is impossible to guarantee resources to components.In this paper, we propose a solution to the unbounded dynamism problem by providing an admission control protocol for real-time OSGi. We also provide a priority assignment approach to support temporal isolation. The combination of admission control and temporal isolation ensure that it is safe to update components or install components into the system in terms of guaranteeing resources to components. We show the practicality of our admission control protocol by implementing a prototype and measuring the execution time overhead incurred when performing a component install with admission control.

show abstract

Providing temporal isolation in the OSGi framework

Cited by 16 publications

References 24 publications

Runtime Programming through Model-Preserving, Scalable Runtime Patches

Runtime Programming through Model-Preserving, Scalable Runtime Patches

Web‐of‐things framework for cyber–physical systems

An Admission Control Protocol for Real-Time OSGi

Contact Info

Product

Resources

About