A Calculus for Orchestration of Web Services

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce CWS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that CWS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that CWS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it

Design and Validation of Embedded Real-Time Applications

International audienceThe design and validation of embedded real-time applications is challenging, especially when legacy sub-systems are involved. To account for the uncertainty in system-development at early design stages we use statistical modelling and discrete event simulation to perform sensitivity analysis. These analysis results provide vital information about the system characteristics and indicate usage scenarios where the behaviour of the system differs significantly from the average case. Based on the simulation results and the initial system requirements a usage model for the application is being set up. The model represents the requirements in an unambiguous and traceably correct manner. For each possible path through the model, considering stimuli and their timing, a unique system reaction is defined. This way the requirements are clarified. The usage model allows the derivation of test cases that can be used in the design phase to validate the model and in the acceptance phase to test the final system. Through the combination of the simulation results and the usage modelling we are able to:•identify critical system conditions.•validate the system design w.r.t. the usage modelThe proposed methods are currently applied in both the design and validation of safety critical applications

Modelling the Marginal Abatement Cost of Mitigating Nitrogen Loss from Agricultural Land

working paperWith the deadline identified by the Water Framework Directive (2000/60/EC) approaching in 2015 there is increasing pressure on policymakers to introduce new regulations to achieve water quality targets. Agriculture is one of the contributors of diffuse pollution entering watercourses and will come under pressure to reduce pollutant loads. This paper produces Marginal Abatement Cost (MAC) Curves for eight policy measures that could potentially reduce nitrate leaching from agricultural land on Irish dairy farms. These include: 1) reduction of fertiliser application by 10%; 2) reduction of fertiliser application by 20%; 3) livestock unit reduction to limit organic N to 170 kg ha-1; 4) reduction of livestock units by 20%; 5) change of feed mix to reduce cow dietary N intake; 6) fencing off watercourses to introduce a buffer zone; 7) improved dairy cow genetic merit by introducing higher performing dairy breeds; 8) more efficient slurry application. Results from this study indicate that there will be reductions in farm gross margins across nearly all policy measures. However, MAC and the ranking of MAC vary across individual farms and aggregate MAC does not reflect the heterogeneity of impacts across individual farms. This paper shows that any measure introduced in a “one size fits all command-control” fashion will not yield efficient economic results

A Formal Approach to Cyber-Physical Attacks

We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on %a formal treatment of both integrity and DoS attacks to sensors and actuators of CPSs, and on the timing aspects of these attacks. Our contributions are threefold: (1) we define a hybrid process calculus to model both CPSs and cyber-physical attacks; (2) we define a threat model of cyber-physical attacks and provide the means to assess attack tolerance/vulnerability with respect to a given attack; (3) we formalise how to estimate the impact of a successful attack on a CPS and investigate possible quantifications of the success chances of an attack. We illustrate definitions and results by means of a non-trivial engineering application

On reliability and performance analyses of IEC 61850 for digital SAS

fi=vertaisarvioitu|en=peerReviewed

List of requirements on formalisms and selection of appropriate tools

This deliverable reports on the activities for the set-up of the modelling environments for the evaluation activities of WP5. To this objective, it reports on the identified modelling peculiarities of the electric power infrastructure and the information infrastructures and of their interdependencies, recalls the tools that have been considered and concentrates on the tools that are, and will be, used in the project: DrawNET, DEEM and EPSys which have been developed before and during the project by the partners, and M\uf6bius and PRISM, developed respectively at the University of Illinois at Urbana Champaign and at the University of Birmingham (and recently at the University of Oxford)

An analytical framework for soil degradation, farming practices, institutions and policy responses

There is a lack of knowledge about the effectiveness and efficiency of soil conservation policies in agriculture and little understanding of how policy measures should be designed to encourage farmers to adopt soil conservation practices. This paper analyzes institutional settings surrounding agricultural soil management in ten European countries based on the Institutions of Sustainability framework. This framework considers the interdependencies between ecological and social systems, taking into account environmental conditions, farming practices impacting on soil conservation, different types of actors, policies, institutions and governance structures. The purpose of this paper is to describe the analytical framework and the methodology that all case studies are based on, present and discuss compared findings, outline implications for successful soil conservation policy, and draw conclusions on the methodological approach. The case studies focused on the main soil degradation types occurring across Europe which are addressed by a broad range of mandatory and incentive policies. The findings highlight the following issues: i) the need to design policies that target the locally most common soil threats and processes in the light of agricultural management; ii) the need to take farming management constraints into consideration, (iii) the need for good communication and cooperation both between agricultural and environmental authorities as well as between governmental and non-governmental stakeholders; iv) the necessary mix of mandatory and incentive instruments; and v) the need for data and monitoring systems allowing the evaluation of the effectiveness of policies and soil conservation practices.Institutional analysis, soil degradation, soil conservation policy, soil conservation measures, farming practices, policy evaluation, Farm Management,