Providing security on demand using invasive computing

Drescher, Gabor; Erhardt, Christoph; Freiling, Felix C.; Götzfried, Johannes; Lohmann, Daniel; Maene, Pieter; Müller, Tilo; Verbauwhede, Ingrid; Weichslgartner, Andreas; Wildermann, Stefan

doi:10.1515/itit-2016-0032

Cited by 6 publications

(4 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, DMR schemes can be used for error signaling. Finally, also certain security properties such as confidentiality of program and data may be formulated as requirements to protect individual application programs against attackers 50 . In summary, we see a major strength of invasive computing to act as the advocate of (a) the individual rather than a collection of programs and (b) enabling guarantees for not only one but a plethora of requirements on the execution of an application program.…”

Section: Discussionmentioning

confidence: 99%

“…Possible voting schemes for TMR execution of a parallel loop nest on an invasive TCPA with voting (A) for every loop iteration ( immediate voting ), (B) at the border of each PE's iteration space ( early voting ), and (C) at the border of the array ( late voting ) 50 …”

Section: Predictability Of Non‐functional Program Execution Propertiesmentioning

confidence: 99%

“…The I/O tile is the tile where the camera may be connected and image frames are captured. Additionally, one of the LEON3 cores is replaced by an Atlas core, a modified LEON3 core that can enable on‐the‐fly encryption 50 . Tile (1,0) is another tile, which can be used for communicating with a host via Ethernet.…”

Section: Case Study: Invasive Inverted Pendulummentioning

confidence: 99%

See 2 more Smart Citations

*‐Predictable MPSoC execution of real‐time control applications using invasive computing

Brand

Witterauf

Sousa

et al. 2019

Concurrency and Computation

View full text Add to dashboard Cite

Summary The fulfillment of non‐functional requirements like timing or energy consumption is of utmost importance in many embedded systems and respective applications. Especially, with the introduction of multi‐core architectures, the ability to predict non‐functional execution qualities becomes more and more difficult, as multiple concurrent application programs may interfere in execution when typically sharing all the resources. In this paper, we advocate a novel parallel computing paradigm called invasive computing that allows to isolate application programs on multi‐core targets. For a presented case study of a cyber‐physical real‐time control system, we show that invasive computing enables composability that in fact allows to characterize and analyze each application program statically and independent from each other. More specifically, it is shown that a distributed object detection algorithm for controlling an inverted pendulum and implemented on a heterogeneous invasive multi‐processor SoC (MPSoC) is able to provide real‐time guarantees as well as reliability requirements on demand.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Predictability Of Non‐functional Program Execution Propertiesmentioning

confidence: 99%

Section: Case Study: Invasive Inverted Pendulummentioning

confidence: 99%

See 1 more Smart Citation

*‐Predictable MPSoC execution of real‐time control applications using invasive computing

Brand

Witterauf

Sousa

et al. 2019

Concurrency and Computation

View full text Add to dashboard Cite

show abstract

“…Whereas, hard requirements must never be violated. Details on security and reliability requirements can be found in [9] and [15].…”

Section: Constraints and User Requirementsmentioning

confidence: 99%

Invasive computing for timing-predictable stream processing on MPSoCs

Wildermann

Bäder

Bauer

et al. 2016

It - Information Technology

Self Cite

View full text Add to dashboard Cite

Multi-Processor Systems-on-a-Chip (MPSoCs) provide sufficient computing power for many applications in scientific as well as embedded applications. Unfortunately, when real-time requirements need to be guaranteed, applications suffer from the interference with other applications, uncertainty of dynamic workload and state of the hardware. Composable application/architecture design and timing analysis is therefore a must for guaranteeing real-time applications to satisfy their timing requirements independent from dynamic workload. Here, Invasive Computing is used as the key enabler for compositional timing analysis on MPSoCs, as it provides the required isolation of resources allocated to each application. On the basis of this paradigm, this work proposes a hybrid application mapping methodology that combines designtime analysis of application mappings with run-time management. Design space exploration delivers several resource reservation configurations with verified real-time guarantees for individual applications. These timing properties can then be guaranteed at run-time, as long as dynamic resource allocations comply with the offline analyzed resource configurations. This article describes our methodology and presents programming, optimization, analysis, and hardware techniques for enforcing timing predictability. A case study illustrates the timing-predictable management of real-time computer vision applications in dynamic robot system scenarios.

show abstract