Practical Analysis Framework for Component Systems with Dynamic Reconfigurations

Long version of the paper accepted at ICFEM 2015, the 17th International Conference on Formal Engineering MethodsInternational audienceDynamic reconfigurations that modify the architecture of component-based systems without incurring any system downtime need to preserve the architectural consistency. In this context, we propose a reconfiguration model based on Hoare logic using sequences and (unlike most of the related work on reconfigurations) the alternative and the repetitive constructs. Using primitive reconfiguration operations as building blocks, this model takes advantage of the predicate-based semantics of programming language constructs and weakest preconditions to treat dynamic reconfigurations in a manner that preserves configuration consistency. Then, after enriching the model with interpreted configurations and reconfigurations in a consistency compatible manner, a conformance relation is exploited to validate component systems' implementations within the environment supporting the Fractal and FraSCAti frameworks. A practical contribution consists of promising experimental results obtained thanks to our implementations, notably on a cloud-based multi-tier hosting environment model managed as a component system

Academic Panel: Can Self-Managed Systems be trusted?

Trust can be defined as to have confidence or faith in; a form of reliance or certainty based on past experience; to allow without fear; believe; hope: expect and wish; and extend credit to. The issue of trust in computing has always been a hot topic, especially notable with the proliferation of services over the Internet, which has brought the issue of trust and security right into the ordinary home. Autonomic computing brings its own complexity to this. With systems that self-manage, the internal decision making process is less transparent and the ‘intelligence’ possibly evolving and becoming less tractable. Such systems may be used from anything from environment monitoring to looking after Granny in the home and thus the issue of trust is imperative. To this end, we have organised this panel to examine some of the key aspects of trust. The first section discusses the issues of self-management when applied across organizational boundaries. The second section explores predictability in self-managed systems. The third part examines how trust is manifest in electronic service communities. The final discussion demonstrates how trust can be integrated into an autonomic system as the core intelligence with which to base adaptivity choices upon

Managed Forgetting to Support Information Management and Knowledge Work

Trends like digital transformation even intensify the already overwhelming mass of information knowledge workers face in their daily life. To counter this, we have been investigating knowledge work and information management support measures inspired by human forgetting. In this paper, we give an overview of solutions we have found during the last five years as well as challenges that still need to be tackled. Additionally, we share experiences gained with the prototype of a first forgetful information system used 24/7 in our daily work for the last three years. We also address the untapped potential of more explicated user context as well as features inspired by Memory Inhibition, which is our current focus of research.Comment: 10 pages, 2 figures, preprint, final version to appear in KI - K\"unstliche Intelligenz, Special Issue: Intentional Forgettin

Self-managed cells and their federation

Future e-Health systems will consist of low-power, on-body wireless sensors attached to mobile users that interact with a ubiquitous computing environment. This kind of system needs to be able to configure itself with little or no user input; more importantly, it is required to adapt autonomously to changes such as user movement, device failure, the addition or loss of services, and proximity to other such systems. This extended abstract describes the basic architecture of a Self-Managed Cell (SMC) to address these requirements, and discusses various forms of federation between/among SMCs. This structure is motivated by a typical e-Health scenario

Managing technological transitions: prospects, places, publics and policy

Transition management (TM) approaches have generated considerable interest in academic and policy circles in recent years (Kemp and Loorbach, 2005; Rotmans and Kemp, 2003). In terms of a loose definition, a ‘transition can be defined as a gradual, continuous process of structural change within a society or culture’ (Rotmans et al, 2001, p.2). The development of TM, much of which has occurred within the context of the Netherlands, may be seen as a response to the complexities, uncertainties and problems which confront many western societies, in organising ‘sustainably’ various aspects of energy, agricultural, water, transport and health systems of production and consumption. Problems such as pollution, congestion, the vulnerability of energy or water supplies and so on are seen as systemic and entwined or embedded in a series of social, economic, political, cultural and technological relationships. The systemic nature of many of these problems highlights the involvement - in the functioning of a particular system and any subsequent transition - of multiple actors or ‘stakeholders’ across different local, national and international scales of activity. With this in mind, such problems become difficult to ‘solve’ and ‘solutions’ are seen to require systemic innovation rather than individual or episodic responses. The point being that ‘these problems are system inherent and… the solution lies in creating different systems or transforming existing ones’ (Kemp and Loorbach, 2005, p.125). In this paper we critically engage with and build upon transitions approaches to address their ‘applicability’ in the context of the UK. In doing this the paper addresses the prospective potential of transitions approaches, but also their relative neglect of places and publics. Through developing an argument which addresses the strengths and ‘gaps’ of transitions approaches we also analyse the resonances and dissonances between three themes – cities and regions, public participation and national hydrogen strategy – in the transitions literature and the UK policy context