Arguing security: validating security requirements using structured argumentation

This paper proposes using both formal and structured informal arguments to show that an eventual realized system can satisfy its security requirements. These arguments, called 'satisfaction arguments', consist of two parts: a formal argument based upon claims about domain properties, and a set of informal arguments that justify the claims. Building on our earlier work on trust assumptions and security requirements, we show how using satisfaction arguments assists in clarifying how a system satisfies its security requirements, in the process identifying those properties of domains that are critical to the requirements

Review of standards for biodegradable plastic bags.

The Single Use Carrier Bags Charges (England) Order 2015 requires retailers to charge at least 5p for each single use carrier bag, except where exempted. Under section 18 of that order, the Secretary of State must— (a) complete a review of industry standards for the biodegradability of lightweight plastic material; and (b) lay a copy of a report before Parliament setting out the conclusions of the review, in particular— (i) whether it appears to the Secretary of State that there exists an industry standard appropriate for the purposes of an exclusion from the obligations specified in Part 2 on grounds of biodegradability; and (ii) if so, how that exclusion would be implemented. That review has now been completed. It found that there are a number of standards for plastic bag biodegradability. We will need to conduct further work before any of these could be used to exempt certain types of carrier bags on grounds of biodegradability. By the end of May 2016 retailers are required to report the number of bags that have been supplied, and the uses to which the proceeds of the charge have been put, after reasonable costs are deducted. The Government will use that opportunity to consider the early impacts of the charge. The Government will continue to consider the technical specification for a genuinely biodegradable bag, and will at that point further report on how an exemption for such a biodegradable bag can be implemented

Accreditation and related regulatory matters in the UK

About the book: This volume presents a rich account of the development of accreditation and evaluation in 20 European countries. The authors are leaders in the field and they have cooperated in this effort by writing richly different, often deep and insightful analyses of the situation in their country. The two editors have added a synopsis detailing the main trends, and sketching commonalities as well as contrasts in the developments across Europe. The book shows how accreditation is becoming a main mechanism in the steering of higher education all over Europe. The book is unique in its analysis of forces driving towards the spread of different models of accreditation in the emerging European Higher Education area. Readers will obtain an up-to-date picture of the state of affairs of accreditation in the framework of evaluation activities in Europe. They will gain an understanding of why accreditation and evaluation systems have evolved the way they have, and subsequently, they will obtain more realistic views on potentialities for European comparability and cooperation in this area. This volume is of interest to researchers and policy-making staff in higher education, especially those involved at the level of national systems for quality assurance, accreditation, internationalization and the Bologna process. It is also of interest to Master/PhD students in (higher) education management

Improving Aircraft Engines Prognostics and Health Management via Anticipated Model-Based Validation of Health Indicators

The aircraft engines manufacturing industry is subjected to many dependability constraints from certification authorities and economic background. In particular, the costs induced by unscheduled maintenance and delays and cancellations impose to ensure a minimum level of availability. For this purpose, Prognostics and Health Management (PHM) is used as a means to perform online periodic assessment of the engines’ health status. The whole PHM methodology is based on the processing of some variables reflecting the system’s health status named Health Indicators. The collecting of HI is an on-board embedded task which has to be specified before the entry into service for matters of retrofit costs. However, the current development methodology of PHM systems is considered as a marginal task in the industry and it is observed that most of the time, the set of HI is defined too late and only in a qualitative way. In this paper, the authors propose a novel development methodology for PHM systems centered on an anticipated model-based validation of HI. This validation is based on the use of uncertainties propagation to simulate the distributions of HI including the randomness of parameters. The paper defines also some performance metrics and criteria for the validation of the HI set. Eventually, the methodology is applied to the development of a PHM solution for an aircraft engine actuation loop. It reveals a lack of performance of the original set of HI and allows defining new ones in order to meet the specifications before the entry into service

Third Conference on Artificial Intelligence for Space Applications, part 2

Topics relative to the application of artificial intelligence to space operations are discussed. New technologies for space station automation, design data capture, computer vision, neural nets, automatic programming, and real time applications are discussed

Testing in the incremental design and development of complex products

Testing is an important aspect of design and development which consumes significant time and resource in many companies. However, it has received less research attention than many other activities in product development, and especially, very few publications report empirical studies of engineering testing. Such studies are needed to establish the importance of testing and inform the development of pragmatic support methods. This paper combines insights from literature study with findings from three empirical studies of testing. The case studies concern incrementally developed complex products in the automotive domain. A description of testing practice as observed in these studies is provided, confirming that testing activities are used for multiple purposes depending on the context, and are intertwined with design from start to finish of the development process, not done after it as many models depict. Descriptive process models are developed to indicate some of the key insights, and opportunities for further research are suggested