BEHAVIOR BASED DESCRIPTION OF DEPENDABILITY - Defining a Minium Set of Attributes for a Behavioral Description of Dependability

Jan Rüdiger, Achim Wagner, Essam Badreddin

Abstract

Dependability is widely understood as an integrated concept that consists of different attributes. The set of attributes and requirements of each attribute varies from application to application thus making it very challenging to define dependability for a broad amount of application. The dependability, however, is of great importance when dealing with autonomous or semi-autonomous systems, thus defining dependability for those kind of system is vital. Such autonomous mobile system are usually described by their behavior. In this paper a minimum set of attributes for the dependability of autonomous mobile systems is proposed based on a behavioral definition of dependability.

References

  1. Avizienis, A., Laprie, J.-C., and Randell, B. (2004a). Dependability and its threats: A taxonomy.
  2. Badreddin, E. (1999). Safety and dependability of mechatronics systems. In Lecture Notes. ETH Z ürich.
  3. Brooks, R. A. (1986). A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14-23.
  4. Candea, G. (2003). The basics of dependability.
  5. 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.
  6. Cera, C. D., Kim, T., Han, J., and Regli, W. C. (2004). Rolebased viewing envelopes for information protection in collaborative modeling.
  7. Cotroneo, D., Mazzeo, A., Romano, L., and Russo, S. (2003). An architecture for security-oriented perfective maintenance of legacy software.
  8. Dewsbury, G., Sommerville, I., Clarke, K., and Rouncefield, M. (2003). A dependability model for domestic systems. In SAFECOMP, pages 103-115.
  9. Dubrova, E. (2006). Fault tolerant design: An introduction. Draft.
  10. Franch, X. and Botella, P. (1998). Putting non-functional requirements into software architecture.
  11. Jaeger, H. (1996). Brains on wheels: Mobile robots for brain research.
  12. Jones, C. (2003). A formal basis for some dependability notions.
  13. Laprie, J. C. (1992). Dependable computing: Basic concepts and terminology. Ed. Springer Verlag, 1992.
  14. Meadows, C. and McLean, J. (1999). Security and dependability: then and now. In Computer Security, Dependability, and Assurance: From Needs to Solutions, 7- 9 July 1998 & 11-13 November 1998, York, UK & Williamsburg, VA, USA, pages p.166-70. Los Alamitos, CA, USA : IEEE Comput. Soc, 1999.
  15. Randell, B. (1999). Dependability - a unifying concept.
  16. Randell, B. (2000). Turing Memorial Lecture: Facing up to faults. j-COMP-J, 43(2):95-106.
  17. R üdiger, J., Wagner, A., and Badreddin, E. (2007). Behavior based definition of dependability for autonomous mobile systems. European Control Conference.
  18. Samarati, P. and Jajodia, S. (2000). Data security.
  19. Sutcliffe, A. G. and Minocha, S. (1998). Scenario-based analysis of non-functional requirements.
  20. Torres-Pomales, W. (2000). Software Fault Tolerance: A Tutorial.
  21. Willems, J. (1991). Paradigms and puzzles in the theory of dynamical systems. Automatic Control, IEEE Transactions on, 36(3):259-294.
Download


Paper Citation


in Harvard Style

Rüdiger J., Wagner A. and Badreddin E. (2007). BEHAVIOR BASED DESCRIPTION OF DEPENDABILITY - Defining a Minium Set of Attributes for a Behavioral Description of Dependability . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO, ISBN 978-972-8865-83-2, pages 341-346. DOI: 10.5220/0001650203410346


in Bibtex Style

@conference{icinco07,
author={Jan Rüdiger and Achim Wagner and Essam Badreddin},
title={BEHAVIOR BASED DESCRIPTION OF DEPENDABILITY - Defining a Minium Set of Attributes for a Behavioral Description of Dependability},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO,},
year={2007},
pages={341-346},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001650203410346},
isbn={978-972-8865-83-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO,
TI - BEHAVIOR BASED DESCRIPTION OF DEPENDABILITY - Defining a Minium Set of Attributes for a Behavioral Description of Dependability
SN - 978-972-8865-83-2
AU - Rüdiger J.
AU - Wagner A.
AU - Badreddin E.
PY - 2007
SP - 341
EP - 346
DO - 10.5220/0001650203410346