Utilizing Inherent Diversity in Complex Software Systems

Research output: Contribution to conferencesPaperContributed

Contributors

Abstract

In this paper, we report our ongoing investigations of the inherent non-determinism in contemporary execution environments that can potentially lead to divergence in state of a multi-channel hardware/software system. Our approach involved setting up of experiments to study execution path variability of a simple program by tracing its execution at the kernel level. In the first of the two experiments, we analyzed the execution path by repeated execution of the program. In the second, we executed in parallel two instances of the same program, each pinned to a separate processor core. Our results show that for a program executing in a contemporary hardware/software platform , there is sufcient path non-determinism in kernel space that can potentially lead to diversity in replicated architectures. We believe the execution non-determinism can impact the activation of residual systematic faults in software. If this is true, then the inherent diversity can be used together with architectural means to protect safety related systems against residual systematic faults in the operating systems.

Details

Original languageEnglish
Number of pages8
Publication statusPublished - 2014
Peer-reviewedNo

Conference

TitleAustralian System Safety Conference (ASSC 2014), Australian Computer Society, Inc., 2014
Abbreviated titleASSC 2014
Conference number
Duration28 - 30 May 2014
Degree of recognitionInternational event
Location
CityMelbourne
CountryAustralia

Keywords

Research priority areas of TU Dresden

DFG Classification of Subject Areas according to Review Boards

Keywords

  • diversity, complex software systems, randomization, residual faults