A modular notation for monitoring network systems

Design of next generation network systems with predictable behavior in all situations poses a significant challenge. Monitoring of events happening at different points in a distributed environment can detect the occurrence of events that indicates significant error conditions. We use Modular Timing Diagrams (MTD) as a specification language to describe these error conditions. MTD's are a component-oriented and compositional notation. We take advantage of these features of MTD and point out that, in many cases, global MTD specifications describing behaviors of several system component can be efficiently decomposed into a set of sub-specifications. Each of the sub-specifications describes a local monitor that is specific to the component on which the monitor is intended to run. We illustrate the compositional nature of MTD in describing several network monitoring conditions related to network security

Second Generation General System Theory: Perspectives in Philosophy and Approaches in Complex Systems

Following the classical work of Norbert Wiener, Ross Ashby, Ludwig von Bertalanffy and many others, the concept of System has been elaborated in different disciplinary fields, allowing interdisciplinary approaches in areas such as Physics, Biology, Chemistry, Cognitive Science, Economics, Engineering, Social Sciences, Mathematics, Medicine, Artificial Intelligence, and Philosophy. The new challenge of Complexity and Emergence has made the concept of System even more relevant to the study of problems with high contextuality. This Special Issue focuses on the nature of new problems arising from the study and modelling of complexity, their eventual common aspects, properties and approaches—already partially considered by different disciplines—as well as focusing on new, possibly unitary, theoretical frameworks. This Special Issue aims to introduce fresh impetus into systems research when the possible detection and correction of mistakes require the development of new knowledge. This book contains contributions presenting new approaches and results, problems and proposals. The context is an interdisciplinary framework dealing, in order, with electronic engineering problems; the problem of the observer; transdisciplinarity; problems of organised complexity; theoretical incompleteness; design of digital systems in a user-centred way; reaction networks as a framework for systems modelling; emergence of a stable system in reaction networks; emergence at the fundamental systems level; behavioural realization of memoryless functions

From capability to concept : fusion of systems analysis techniques for derivation of future soldier systems

The intent of this thesis is to define a set of processes for use within UK Government dismounted soldier systems research that will provide stakeholders with auditable and traceable information to understand gaps in military capability and justify future procurement decisions. The need for this approach is linked to organisational shifts within the UK Ministry of Defence, and more specifically Government research with the move towards procurement of capability rather than equipment. In conjunction with reducing defence budgets and increased scrutiny, there is a need to prioritise spending to those areas that will provide the most significant enhancement to operational effectiveness. The proposed process suite provides underpinning data to support Government decisions, from definition of military need through to concept design and prioritisation of future research activities. The approach is grounded in the field of systems thinking and systems engineering providing the logical and systematic constructs required for highly complex systems where the human is a central focus. A novel fusion of existing systems tools and techniques enables both subjective data from domain experts and objective data in the form of operational analysis and field trials to be utilised for analysis across the five NATO capability domains, with output defining the relative importance of survivability, sustainability, mobility, lethality and C4I in the context of operational and strategic level military goals as well as wider challenges represented by the doctrinal defence lines of development. Future developments should include alignment with developing pan-MoD initiatives in the form of MODAF, if required by the customer organisation. This would enable generic versions of the process suite to be applied to any defence domain and problem.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Proceedings of Junior Researcher Workshop on Real-Time Computing

It is our great pleasure to welcome you to Junior Researcher Workshop on Real-Time Computing 2007, which is held conjointly with the 15th conference on Real-Time and Network Systems (RTNS'07). The first successful edition was held conjointly with the French Summer School on Real-Time Systems 2005 (http://etr05.loria.fr). Its main purpose is to bring together junior researchers (Ph.D. students, postdoc, ...) working on real-time systems. This workshop is a good opportunity to present our works and share ideas with other junior researchers and not only, since we will present our work to the audience of the main conference. In response to the call for papers, 14 papers were submitted and the international Program Committee provided detailed comments to improve these work-in-progress papers. We hope that our remarks will help the authors to submit improved long versions of theirs papers to the next edition of RTNS. JRWRTC'07 would not be possible without the generous contribution of many volunteers and institutions which supported RTNS'07. First, we would like to express our sincere gratitude to our sponsors for their financial support : Conseil Général de Meuthe et Moselle, Conseil Régional de Lorraine, Communauté Urbaine du Grand Nancy, Université Henri Poincaré, Institut National Polytechnique de Lorraine and LORIA and INRIA Lorraine. We are thankful to Pascal Mary for authorizing us to use his nice picture of “place Stanislas” for the proceedings and web site (many others are available at www.laplusbelleplacedumonde.com). Finally, we are most grateful to the local organizing committee that helped to organize the conference

Model Transformation Languages with Modular Information Hiding

Model transformations, together with models, form the principal artifacts in model-driven software development. Industrial practitioners report that transformations on larger models quickly get sufficiently large and complex themselves. To alleviate entailed maintenance efforts, this thesis presents a modularity concept with explicit interfaces, complemented by software visualization and clustering techniques. All three approaches are tailored to the specific needs of the transformation domain