[PDF][PDF] An Integrated Checklist for Architecture Design of Critical Software Systems.

A Bierska, B Buhnova, H Bangui - FedCSIS (Position Papers), 2022 - annals-csis.org
With the advancement of digitalization, critical information infrastructures, such as intelligent
energy distribution, transportation, or healthcare, have opened themselves towards …

Sensor Data Transplantation for Redundant Hardware Switchover in Micro Autonomous Vehicles

C Lemieux-Mack, K Leach… - 2024 ACM/IEEE 15th …, 2024 - ieeexplore.ieee.org
As our reliance on micro autonomous vehicles increases, security vulnerabilities and
software defects threaten the successful completion of tasks and missions. Recent work has …

Software redundancy implementation strategy in reconfigurable hardware framework

Ş Răzvan, S Csaba - 2019 8th International Conference on …, 2019 - ieeexplore.ieee.org
In recent years reconfigurable hardware technology (RHT) has emerged as one of the most
challenging implementation paradigm of modern digital systems. In comparison with …

A Paradox in aeronautical data processing: A case study review

Z Rezo, T Mihetec, S Steiner, A Tikvica - Case studies on transport policy, 2022 - Elsevier
Undoubtedly aeronautical data and information of appropriate quality are the enablers of a
safe and efficient aviation industry. Hence nowadays, before the utilisation of tools and …

Automating test oracles generation

A Goffi - 2018 - sonar.ch
Software systems play a more and more important role in our everyday life. Many relevant
human activities nowadays involve the execution of a piece of software. Software has to be …

Intrinsic redundancy for reliability and beyond

A Goffi, A Gorla, A Mattavelli, M Pezzè - Present and Ulterior Software …, 2017 - Springer
Software redundancy is an essential mechanism in engineering. Different forms of
redundant design are the core technology of well-established reliability and fault-tolerant …

Voting-based approximation of dependability attributes and its application to redundancy schemata in distributed computing environments

J Buys - 2020 - repository.uantwerpen.be
Van bedrijfskritische gedistribueerde applicaties wordt in toenemende mate verwacht dat ze
uiterst betrouwbare kenmerken vertonen, met name op het gebied van beschikbaarheid en …

Towards a New Semantic Metric for Error Detection Based on Program State Redundancy

DA Amara, LBA Rabai - International Journal of Systems and Service …, 2021 - igi-global.com
Fault tolerance techniques are generally based around a common concept that is
redundancy whose measurement is required. A suite of four semantic metrics is proposed to …

Reliability issues in GPGPUs

C Penaglia - 2019 - webthesis.biblio.polito.it
The present work discusses approaches for implementing software redundancy schemes
using the open source GPGPU model FlexGrip to increase the reliability of a GPGPU …

[PDF][PDF] An Empirical Validation of Functional Redundancy Semantic Metric as Error Detection Indicator.

D Amara, E Fatnassi, L Rabai - Journal of Information Assurance & …, 2019 - mirlabs.org
Software metrics are widely discussed and used as quantitative software quality measures.
The main objective of these metrics is to help testers, managers and developers monitor the …