Approaching runtime trust assurance in open adaptive systems

In recent years it has become more and more evident that the ability of systems to adapt themselves is an increasingly important requirement. This is not least driven by emerging computing trends like Ubiquitous Computing, Ambient Intelligence, and Cyber Physical Systems, where systems have to react on changing user needs, service/device availability and resource situations. Despite being open and adaptive it is a common requirement for such systems to be trustworthy, whereas traditional assurance techniques for related system properties like safety, reliability and security are not sufficient in this context. We recently developed the Plug&Safe approach for composition time safety assurance in systems of systems. In this position paper we provide an overview on Plug&Safe, elaborate the different facets of trust, and discuss how our approach can be augmented to enable trust assurance in open adaptive systems.

[1]  E. A. M C C A N N,et al.  Can self-managed systems be trusted ? Some views and trends , 2006 .

[2]  Julie A. McCann,et al.  Can self-managed systems be trusted? Some views and trends , 2006, Knowl. Eng. Rev..

[3]  Charles P. Shelton,et al.  A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

[4]  Mario Trapp,et al.  Conditional safety certificates in open systems , 2010, EDCC-CARS.

[5]  Thomas Vogel,et al.  Adaptation and abstract runtime models , 2010, SEAMS '10.

[6]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[7]  Gabriele Lenzini,et al.  Adaptable and context-aware trustworthiness evaluation , 2006 .

[8]  John C. Knight,et al.  Assurance Based Development of Critical Systems , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[9]  Christoph Meinel,et al.  Taking Trust Management to the Next Level , 2010 .

[10]  Frank Eliassen,et al.  Using architecture models for runtime adaptability , 2006, IEEE Software.

[11]  John M. Rushby,et al.  Just-in-Time Certification , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[12]  Holger Giese,et al.  Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML , 2005, MoDELS Satellite Events.

[13]  Mary Shaw,et al.  Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.

[14]  Mario Trapp,et al.  Runtime adaptation in safety-critical automotive systems , 2007 .

[15]  Julita Vassileva,et al.  A Review on Trust and Reputation for Web Service Selection , 2007, 27th International Conference on Distributed Computing Systems Workshops (ICDCSW'07).

[16]  Nelly Bencomo,et al.  On the use of software models during software execution , 2009, 2009 ICSE Workshop on Modeling in Software Engineering.

[17]  D. Pumfrey,et al.  Towards a Practicable Process for Automated Safety Analysis , 2006 .

[18]  Johan J. Lukkien,et al.  Adaptive runtime fault management for service instances in component-based software applications , 2007, IET Softw..

[19]  Michel R. V. Chaudron,et al.  Integrity management in component based systems , 2004, Proceedings. 30th Euromicro Conference, 2004..

[20]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[21]  Paola Inverardi,et al.  Towards an assume-guarantee theory for adaptable systems , 2009, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems.

[22]  Forrest Shull,et al.  Using the ISO/IEC 9126 product quality model to classify defects: A controlled experiment , 2012, EASE.

[23]  Andrew Tokmakoff,et al.  Managing Trustworthiness in Component-based Embedded Systems , 2007, STM.

[24]  Tim Kelly,et al.  The Goal Structuring Notation – A Safety Argument Notation , 2004 .