Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems

Liang, Hengyi; Wang, Zhilu; Roy, Debayan; Dey, Soumyajit; Chakraborty, Samarjit; Zhu, Qi

doi:10.1109/iccd46524.2019.00035

Cited by 19 publications

(13 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…That is task τ N is invoked at discrete sampling instants. Under the Logical Execution Time (LET) paradigm [46,47,48], which is widely adopted in CPS, the control signal that is computed based on the measurements at sampling instant k is applied to the plant at sampling instant k + 1. This means that there is a fixed samplingto-actuation delay which is equal to ∆T N .…”

Section: Details Of Task τ Nmentioning

confidence: 99%

ROTEC: Robust to Early Termination Command Governor for Systems with Limited Computing Capacity

Hosseinzadeh¹,

Sinopoli²,

Kolmanovsky³

et al. 2022

Preprint

View full text Add to dashboard Cite

A Command Governor (CG) is an optimization-based add-on scheme to a nominal closed-loop system. It is used to enforce state and control constraints by modifying reference commands. This paper considers the implementation of a CG on embedded processors that have limited computing resources and must execute multiple control and diagnostics functions; consequently, the time available for CG computations is limited and may vary over time. To address this issue, a robust to early termination command governor is developed which embeds the solution of a CG problem into the internal states of a virtual continuous-time dynamical system which runs in parallel to the process. This virtual system is built so that its trajectory converges to the optimal solution (with a tunable convergence rate), and provides a sub-optimal but feasible solution whenever its evolution is terminated. This allows the designer to implement a CG strategy with a small sampling period (and consequently with a minimum degradation in its performance), while maintaining its constraint-handling capabilities. Simulations are carried out to assess the effectiveness of the developed scheme in satisfying performance requirements and real-time schedulability conditions for a practical vehicle rollover example.

show abstract

Section: Details Of Task τ Nmentioning

confidence: 99%

ROTEC: Robust to Early Termination Command Governor for Systems with Limited Computing Capacity

Hosseinzadeh¹,

Sinopoli²,

Kolmanovsky³

et al. 2022

Preprint

View full text Add to dashboard Cite

show abstract

“…This approach is shown to be sound and effective in verifying system safety under weakly-hard constraints. In another of our recent work [10], we consider both issues, and develop a codesign approach to explore the addition of new security monitoring tasks by leveraging weakly-hard constraints for control tasks. The work studies the trade-off between control performance and system security level, when different degrees of deadline misses occur to the control tasks.…”

Section: Cross-layer Design With Weakly-hard Paradigmmentioning

confidence: 99%

Cross-Layer Design of Automotive Systems

et al. 2021

Self Cite

View full text Add to dashboard Cite

With growing system complexity and closer cyberphysical interaction, there are increasingly stronger dependencies between different function and architecture layers in automotive systems. This paper first introduces several cross-layer approaches we developed in the past for holistically addressing multiple system layers in the design of individual vehicles and of connected vehicle applications; and then presents a new methodology based on the weakly-hard paradigm for leveraging the scheduling flexibility in architecture layer to improve the system performance at function layer. The results of these works demonstrate the importance and effectiveness of cross-layer design for automotive systems.

show abstract

“…One extends the work from [34], where the deadline miss model can be upper-bounded by employing typical worst-case analysis (TWCA). The other extends the event-based schedulability analysis in [22]. The event-based schedulability simulates the execution of tasks within a hyper-period and derives the deadline miss patterns for all tasks in a single run.…”

Section: Schedulability Analysismentioning

confidence: 99%

“…Then, there is also limited work on trying to leverage the scheduling flexibility from weakly-hard constraints to improve other design objectives. For instance in [22], a co-design approach is presented to improve system security while ensuring control safety. In [15], application of weakly-hard paradigm to networked systems is discussed.…”

mentioning

confidence: 99%

Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees

Liang¹,

Wang²,

Jiao³

et al. 2020

Proceedings of the 39th International Conference on Computer-Aided Design

Self Cite

View full text Add to dashboard Cite

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems

Cited by 19 publications

References 36 publications

ROTEC: Robust to Early Termination Command Governor for Systems with Limited Computing Capacity

ROTEC: Robust to Early Termination Command Governor for Systems with Limited Computing Capacity

Cross-Layer Design of Automotive Systems

Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees

Contact Info

Product

Resources

About