BEHAVIOR BASED DEPENDABILITY ESTIMATION - Estimating the Dependability of Autonomous Mobile Systems using Predictive Filter

Jan Rüdiger, Achim Wagner, Essam Badreddin

2008

Abstract

Dependability is getting a more important non-functional property of a system. Measuring and predicting the dependability is especially important for autonomous or semi-autonomous and safety-critical systems. Since, at least for (semi-) autonomous systems, those systems are usually described by their behavior, a definition for dependability based on the behavior of the system is evident. In this paper the behavioral based definition of dependability was used together with a particle filter to estimate the dependability of an autonomous mobile system.

References

  1. Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J.-C., Laprie, J.-C., Martins, E., and Powell, D. (1990). Fault injection for dependability validation: A methodology and some applications. IEEE Transactions on Software Engineering, 16(2):166-182.
  2. Arulampalam, M. S., Maskell, S., Gordon, N., and Clapp, T. (2002). A tutorial on particle filters for online nonlinear/non-gaussian bayesian tracking. Signal Processing, IEEE Transactions on [see also Acoustics, Speech, and Signal Processing, IEEE Transactions on], 50(2):174-188.
  3. Avizienis, A., Laprie, J.-C., and Randell, B. (2004a). Dependability and its threats: A taxonomy.
  4. Avizienis, A., Laprie, J.-C., Randell, B., and Landwehr, C. (2004b). Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing, 1(1):11-33.
  5. Badreddin, E. (1999). Safety and dependability of mechatronics systems. In Lecture Notes. ETH Z ürich.
  6. Brown, A., Chung, L., and Patterson, D. A. (2002). Including the human factor in dependability benchmarks. In Proceedings of the DSN Workshop on Dependability Benchmarking.
  7. Candea, G. (2003). The basics of dependability.
  8. Carter, W. (1982). A time for reflection. In Proc. 12th Int. Symp. on Fault Tolerant Computing (FTCS-12). FTCS-12) IEEE Computer Society Press Santa Monica.
  9. Chen, Z. (2003). Bayesian filtering: From kalman filters to particle filters, and beyond. Technical report, McMaster University.
  10. Cukier, M. and Smidts, C. S. (2002). Using bayesian theory for estimating dependability benchmark measures. In Proceedings of the DSN Workshop on Dependability Benchmarking.
  11. Department of Defense, U. S. o. A. (1970). Military standard - definitions of terms for reliability and maintainability. Technical Report MIL-STD-721C.
  12. Dewsbury, G., Sommerville, I., Clarke, K., and Rouncefield, M. (2003). A dependability model for domestic systems. In SAFECOMP, pages 103-115.
  13. Dubrova, E. (2006). Fault tolerant design: An introduction. Draft.
  14. Kanoun, K., Madeira, H., and Aria, J. (2002). A framework for dependability benchmarking. In Proceedings of the DSN Workshop on Dependability Benchmarking.
  15. Laprie, J. C. (1992). Dependability. Basic Concepts and Terminology. Ed. Springer Verlag.
  16. Mukherjee, A. and Siewiorek, D. P. (1997). Measuring software dependability by robustness benchmarking. IEEE Trans. Softw. Eng., 23(6):366-378.
  17. Randell, B. (2000). Turing Memorial Lecture: Facing up to faults. 43(2):95-106.
  18. Rüdiger, J., Wagner, A., and Badreddin, E. (2007a). Behavior based definition of dependability for autonomous mobile systems. European Control Conference 2007. Kos, Greece.
  19. Rüdiger, J., Wagner, A., and Badreddin, E. (2007b). Behavior based description of dependability - defining a minium set of attributes for a behavioral description of dependability. ICINCO.
  20. Rus, I., Basili, V., Zelkowitz, M., and Boehm, B. (2002). Empirical evaluation of techniques and methods used for achieving and assessing software high dependability. In Proceedings of the DSN Workshop on Dependability Benchmarking.
  21. Willems, J. (1991). Paradigms and puzzles in the theory of dynamical systems. Automatic Control, IEEE Transactions on, 36(3):259-294.
  22. Wilson, D., Murphy, B., and Spainhower, L. (2002). Progress on defining standardized classes for comparing the dependability of computer systems.
Download


Paper Citation


in Harvard Style

Rüdiger J., Wagner A. and Badreddin E. (2008). BEHAVIOR BASED DEPENDABILITY ESTIMATION - Estimating the Dependability of Autonomous Mobile Systems using Predictive Filter . In Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO, ISBN 978-989-8111-31-9, pages 137-142. DOI: 10.5220/0001495801370142


in Bibtex Style

@conference{icinco08,
author={Jan Rüdiger and Achim Wagner and Essam Badreddin},
title={BEHAVIOR BASED DEPENDABILITY ESTIMATION - Estimating the Dependability of Autonomous Mobile Systems using Predictive Filter},
booktitle={Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO,},
year={2008},
pages={137-142},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001495801370142},
isbn={978-989-8111-31-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO,
TI - BEHAVIOR BASED DEPENDABILITY ESTIMATION - Estimating the Dependability of Autonomous Mobile Systems using Predictive Filter
SN - 978-989-8111-31-9
AU - Rüdiger J.
AU - Wagner A.
AU - Badreddin E.
PY - 2008
SP - 137
EP - 142
DO - 10.5220/0001495801370142