Wolfgang Reif – författare

This booktreats the computational use of social concepts as the focal point for therealisation of a novel class of socio-technical systems, comprising smartgrids, public display environments, and grid computing.Thesesystems are composed of technical and human constituents that interact witheach other in an open environment. Heterogeneity, large scale, and uncertaintyin the behaviour of the constituents and the environment are the rule ratherthan the exception.Ensuringthe trustworthiness of such systems allows their technical constituents tointeract with each other in a reliable, secure, and predictable way while theirhuman users are able to understand and control them. "TrustworthyOpen Self-Organising Systems" contains a wealth of knowledge, fromtrustworthy self-organisation mechanisms, to trust models, methods to measure auser's trust in a system, a discussion of social concepts beyond trust, andinsights into the impact open self-organising systems will have on society.

This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur .. ingenieurwissenschaftliche Anwendungen", short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on "Integration of Sp- i?cation Techniques for Applications in Engineering". INT 2004 was launched as a satellite event of ETAPS in Barcelona, the "European Joint Conferences on Theory and Practice of Software". The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di?erent aspects from computer science, and by E. Schnieder and E. Westk. amper concerning two main application areas in engineering, namely "Tra?c Control Systems" and "Production Automation". After acceptance of SoftSpez by the German Research Council for the period of 1998-2004 a call for speci?c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years.Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.

ThisvolumecontainstheproceedingsofATC2009,the6thInternationalConf- ence on Autonomic and Trusted Computing: Bringing Safe, Self-x and Organic Computing Systems into Reality. The conference was held in Brisbane, A- tralia, during July 7-9, 2009. The conference was technically co-sponsored by the IEEE and the IEEE Computer Society Technical Committee on Scalable Computing. ATC 2009 was accompanied by three workshops on a variety of research challenges within the area of autonomic and trusted computing. ATC 2009 is a successor of the First International Workshop on Trusted and Autonomic Ubiquitous and Embedded Systems (TAUES 2005, Japan), the International Workshop on Trusted and Autonomic Computing Systems (TACS 2006, Austria), the Third International Conference on Autonomic and Trusted Computing (ATC 2006,China), the 4th International Conference on Autonomic and Trusted Computing (ATC 2007, Hong Kong), and the 5th International Conference on Autonomic and Trusted Computing (ATC 2008, Norway) Computing systems including hardware, software, communication and n- worksaregrowingdramaticallyinbothscale andheterogeneity,becoming overly complex.Such complexity is getting even more critical with the ubiquitous permeation of embedded devices and other pervasive systems. To cope with the growing and ubiquitous complexity, autonomic computing focuses on se- manageable computing and communication systems that exhibit self-awareness, self-con?guration, self-optimization, self-healing, self-protection and other self-x operationsto the maximumextent possible without humaninterventionorgu- ance. Organiccomputingadditionallyemphasizesnatural-analogueconceptslike self-organization and controlled emergence. Any autonomic or organic system must be trustworthy to avoid the risk of losing control and to retain con?dence that the system will not fail.