Composing features by managing inconsistent requirements

One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferring feature composition is that inconsistency between the solutions to individual features may not be uncovered early in the development, leading to unwanted feature interactions. Syntactic inconsistencies arising from the way software artefacts are described can be addressed by the use of explicit, shared, domain knowledge. However, behavioural inconsistencies are more challenging: they may occur within the requirements associated with two or more features as well as at the level of individual features. Whilst approaches exist that address behavioural inconsistencies at design time, these are overrestrictive in ruling out all possible conflicts and may weaken the requirements further than is desirable. In this paper, we present a lightweight approach to dealing with behavioural inconsistencies at run-time. Requirement Composition operators are introduced that specify a run-time prioritisation to be used on occurrence of a feature interaction. This prioritisation can be static or dynamic. Dynamic prioritisation favours some requirement according to some run-time criterion, for example, the extent to which it is already generating behaviour

Emergent Behavior in Cybersecurity

We argue that emergent behavior is inherent to cybersecurity.Comment: 2 pages, HotSoS'2014 (2014 Symposium and Bootcamp on the Science of Security

Livelisystems: a conceptual framework integrating social, ecosystem, development and evolutionary theory

Human activity poses multiple environmental challenges for ecosystems that have intrinsic value and also support that activity. Our ability to address these challenges is constrained, inter alia, by weaknesses in cross disciplinary understandings of interactive processes of change in socio-ecological systems. This paper draws on complementary insights from social and biological sciences to propose a ‘livelisystems’ framework of multi-scale, dynamic change across social and biological systems. This describes how material, informational and relational assets, asset services and asset pathways interact in systems with embedded and emergent properties undergoing a variety of structural transformations. Related characteristics of ‘higher’ (notably human) livelisystems and change processes are identified as the greater relative importance of (a) informational, relational and extrinsic (as opposed to material and intrinsic) assets, (b) teleological (as opposed to natural) selection, and (c) innovational (as opposed to mutational) change. The framework provides valuable insights into social and environmental challenges posed by global and local change, globalization, poverty, modernization, and growth in the anthropocene. Its potential for improving inter-disciplinary and multi-scale understanding is discussed, notably by examination of human adaptation to bio-diversity and eco-system service change following the spread of Lantana camera in the Western Ghats, India

Towards a Framework for Managing Inconsistencies in Systems of Systems

The growth in the complexity of software systems has led to a proliferation of systems that have been created independently to provide specific functions, such as activity tracking, household energy management or personal nutrition assistance. The runtime composition of these individual systems into Systems of Systems (SoSs) enables support for more sophisticated functionality that cannot be provided by individual constituent systems on their own. However, in order to realize the benefits of these functionalities it is necessary to address a number of challenges associated with SoSs, including, but not limited to, operational and managerial independence, geographic distribution of participating systems, evolutionary development, and emergent conflicting behavior that can occur due interactions between the requirements of the participating systems. In this paper, we present a framework for conflict management in SoSs. The management of conflicting requirements involves four steps, namely (a) overlap detection, (b) conflict identification, (c) conflict diagnosis, and (d) conflict resolution based on the use of a utility function. The framework uses a Monitor-Analyze-Plan- Execute- Knowledge (MAPE-K) architectural pattern. In order to illustrate the work, we use an example SoS ecosystem designed to support food security at different levels of granularity

Towards a Formal Verification Methodology for Collective Robotic Systems

We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML. These XACML policies are then translated in FACPL, a policy language with a formal semantics, and the resulting policies are evaluated by means of a Java-based software tool

Emergence: Key physical issues for deeper philosophical inquiries

A sketch of three senses of emergence and a suggestive view on the emergence of time and the direction of time is presented. After trying to identify which issues philosophers interested in emergent phenomena in physics view as important I make several observations pertaining to the concepts, methodology and mechanisms required to understand emergence and describe a platform for its investigation. I then identify some key physical issues which I feel need be better appreciated by the philosophers in this pursuit. I end with some comments on one of these issues, that of coarse-graining and persistent structures.Comment: 16 pages. Invited Talk at the Heinz von Foerster Centenary International Conference on Self-Organization and Emergence: Emergent Quantum Mechanics (EmerQuM11). Nov. 10-13, 2011, Vienna, Austria. Proceedings to appear in J. Phys. (Conf. Series

Emergence: Key physical issues for deeper philosophical inquiries

A sketch of three senses of emergence and a suggestive view on the emergence of time and the direction of time is presented. After trying to identify which issues philosophers interested in emergent phenomena in physics view as important I make several observations pertaining to the concepts, methodology and mechanisms required to understand emergence and describe a platform for its investigation. I then identify some key physical issues which I feel need be better appreciated by the philosophers in this pursuit. I end with some comments on one of these issues, that of coarse-graining and persistent structures.Comment: 16 pages. Invited Talk at the Heinz von Foerster Centenary International Conference on Self-Organization and Emergence: Emergent Quantum Mechanics (EmerQuM11). Nov. 10-13, 2011, Vienna, Austria. Proceedings to appear in J. Phys. (Conf. Series