Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents

Saglietti F, Söhnlein S, Lill R (2011)


Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2011

Journal

Publisher: Springer

Edited Volumes: Studies in Computational Intelligence

Series: Studies in Computational Intelligence

Book Volume: 391

Pages Range: 353-362

Conference Proceedings Title: Autonomous Systems: Developments and Trends

ISBN: 978-3-642-24806-1

DOI: 10.1007/978-3-642-24806-1_27

Abstract

As system parts are becoming increasingly decoupled, gaining at the same time in terms of local autonomy, this article elaborates on the effects this trend has on verification and validation techniques. Both qualitative approaches to fault detection and quantitative approaches to reliability assessment are analyzed in the light of their evolution to adapt to the increasing decentralization and autonomy of modern 'systems of systems'.

Authors with CRIS profile

Related research project(s)

How to cite

APA:

Saglietti, F., Söhnlein, S., & Lill, R. (2011). Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents. In H. Unger, K. Kyamakya, J. Kacprzyk (Eds.), Autonomous Systems: Developments and Trends (pp. 353-362). Springer.

MLA:

Saglietti, Francesca, Sven Söhnlein, and Raimar Lill. "Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents." Proceedings of the Workshop on Autonomous Systems Ed. H. Unger, K. Kyamakya, J. Kacprzyk, Springer, 2011. 353-362.

BibTeX: Download