We consider the reliability of real-time systems that can handle temporary malfunctions of the controller-caused, for example, by electromagnetic interferences-without a total system failure. Unlike conventional reliability models that do not consider the timing constraints in recovering from a controller failure, our model embeds into a semi-Markov model the control system deadline (CSD) that depends on plant dynamics. We can therefore capture the interplay between the controller and the plant for safe operation by characterizing the system into three states: system-up, system-down/controller failure, and system failure. Based on this model, we compute the probability of a system failure by time T by taking the path-space approach to generate the formulas of the upper and the lower bounds, (instead of using the usual Chapman-Kolmogorov equations which are computationally intractable for our problem). Using three typical examples-assembly lines (large granule of time), aircraft control (short mission), and satellite control (long mission)-we show that the formulas are easy to use and give tight bounds for the highly-reliable systems of interest.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Reliability modeling of real-time systems with deadline information


    Contributors:
    Hagbae Kim (author) / Shin, K.G. (author)

    Published in:

    Publication date :

    1997-01-01


    Size :

    1044216 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Reliability Modeling of Real-Time Systems with Deadline Information

    Kim, H. / Shin, K. G. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1997


    Deadline assignment in real-time cooperative interception of distributed weapons

    Yadong, S. / Changfeng, X. / Ling, W. et al. | British Library Online Contents | 2012


    State Machine Based Deadline Analysis of a Programmable Controller for Real-Time Sequential Control Systems

    Chang, N. / Jeong, S. / Wook Hyun Kwon et al. | British Library Conference Proceedings | 1995


    Real-Time Bidirectional Coherent Nyquist UDWDM-PON Coexisting With Multiple Deployed Systems in Field-Trial (Post-Deadline)

    Shahpari, A. / Ferreira, R. M. / Guiomar, F. P. et al. | British Library Online Contents | 2016


    Deadline Monitoring versus Execution-Time Monitoring

    Ficek,C. / Richter,K. / Schmidt,K. et al. | Automotive engineering | 2012