Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software

Prabhu, M. Santhosh; Hazra, Aritra; Dasgupta, Pallab

doi:10.1109/les.2013.2250479

Cited by 4 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Unexpected software behavior and crashes at runtime can be easily avoided or controlled by monitoring runtime software behavior [10][11][12]. This will help verify whether the execution was correct.…”

Section: Introductionmentioning

confidence: 99%

Estimating Software Reliability by Monitoring Software Execution through OpCode

Wason

Soni²,

Rafiq³

2015

IJITCS

View full text Add to dashboard Cite

Abstract-Previous studies on estimating software reliability employed statistical functions for next system failure prediction. These models used parameters based on assumptions regarding the nature of software faults and debugging process. However, none of the existing models, attempted on ensuring reliable runtime system operation. To serve the current demand of autonomous, reliable, service-oriented software, we present a novel approach for runtime reliability estimation of executable software. The approach can help control software execution at runtime by monitoring software state-to-state transition at runtime. The approach involves representing executable software as an automata using opcode extracted from executable code. The extracted opcode is then used to learn stochastic finite state machine (SFSM) representation of executable software which is later employed to trace software state-to-state transition at each runtime instance. An evaluation of our approach on Java-based Chart generator application is also discussed to explain how we can ensure reliable software execution and prevent software failures at runtime with the proposed approach.

show abstract

Section: Introductionmentioning

confidence: 99%