Compositional verification of embedded real-time systems

Foughali, Mohammed; Hladik, Pierre-Emmanuel; Zuepke, Alexander

doi:10.1016/j.sysarc.2023.102928

Cited by 3 publications

(2 citation statements)

References 80 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While both studies consider interference from other real-time tasks in response time analysis, their work focuses on SDFs, whereas ours does not involve dataflows. In [27], the allocation problem and exact computation of WCRT are addressed by using a compositional framework based on time automata.…”

Section: Related Workmentioning

confidence: 99%

Schedulability Analysis in Fixed-Priority Real-Time Multicore Systems with Contention

Ortiz,

Guasque,

Balbastre

et al. 2024

Applied Sciences

View full text Add to dashboard Cite

In the scheduling of hard real-time systems on multicore platforms, significant unpredictability arises from interference caused by shared hardware resources. The objective of this paper is to offer a schedulability analysis for such systems by assuming a general model that introduces interference as a time parameter for each task. The analysis assumes constrained deadlines and is provided for fixed priorities. It is based on worst-case response time analysis, which exists in the literature for monocore systems. We demonstrate that the worst-case response time is an upper bound, and we evaluate our proposal with synthetic loads and execution on a real platform.

show abstract

Section: Related Workmentioning

confidence: 99%

Schedulability Analysis in Fixed-Priority Real-Time Multicore Systems with Contention

Ortiz,

Guasque,

Balbastre

et al. 2024

Applied Sciences

View full text Add to dashboard Cite

show abstract

“…The singular nature of e-commerce comes into sharper focus considering the diversity of transactions, encompassing B2B, B2C, C2C, and more recently, D2C models [18]. Each transaction type poses distinct challenges in data processing, security, and fault tolerance [19,20]. Additionally, e-commerce platforms interface with numerous third-party services, such as payment gateways, digital wallets, and courier services [21,22].…”

Section: Specificity Of E-commerce Platformsmentioning

confidence: 99%

Integrating Non-Positional Numbering Systems into E-Commerce Platforms: A Novel Approach to Enhance System Fault Tolerance

Krasnobayev,

Kuznetsov

2023

JTAER

View full text Add to dashboard Cite

In the dynamic landscape of electronic commerce, the robustness of platforms is a critical determinant of operational continuity and trustworthiness, necessitating innovative approaches to fault tolerance. This study pioneers an advanced strategy for enhancing fault tolerance in e-commerce systems, utilizing non-positional numbering systems (NPNS) inspired by the mathematical robustness of the Chinese Remainder Theorem (CRT). Traditional systems rely heavily on positional numbering, which, despite its ubiquity, harbors limitations in flexibility and resilience against computational errors and system faults. In contrast, NPNS, characterized by their independence, equitability, and residue independence, introduce a transformative potential for system architecture, significantly increasing resistance to disruptions and computational inaccuracies. Our discourse extends beyond theoretical implications, delving into practical applications within contemporary e-commerce platforms. We introduce and elaborate on new terminologies, concepts, and a sophisticated classification system for fault-tolerance mechanisms within the framework of NPNS. This nuanced approach not only consolidates understanding but also identifies underexplored pathways for resilience in digital commerce infrastructure. Furthermore, this research highlights the empirical significance of adopting NPNS, offering a methodologically sound and innovative avenue to safeguard against system vulnerabilities. By integrating NPNS, platforms can achieve enhanced levels of redundancy and fault tolerance, essential for maintaining operational integrity in the face of unforeseen system failures. This integration signals a paradigm shift, emphasizing proactive fault mitigation strategies over reactive measures. Conclusively, this study serves as a seminal reference point for subsequent scholarly endeavors, advocating for a shift towards NPNS in e-commerce platforms. The practical adaptations suggested herein are poised to redefine stakeholders’ approach to system reliability, instigating a new era of confidence in e-commerce engagements.

show abstract

Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL

Rino,

Foughali,

Asarin

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Compositional verification of embedded real-time systems

Cited by 3 publications

References 80 publications

Schedulability Analysis in Fixed-Priority Real-Time Multicore Systems with Contention

Schedulability Analysis in Fixed-Priority Real-Time Multicore Systems with Contention

Integrating Non-Positional Numbering Systems into E-Commerce Platforms: A Novel Approach to Enhance System Fault Tolerance

Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL

Contact Info

Product

Resources

About