Rigorously assessing software reliability and safety

This paper summarises the state of the art in the assessment of software reliability and safety ("dependability"), and describes some promising developments. A sound demonstration of very high dependability is still impossible before operation of the software; but research is finding ways to make rigorous assessment increasingly feasible. While refined mathematical techniques cannot take the place of factual knowledge, they can allow the decision-maker to draw more accurate conclusions from the knowledge that is available

The European Regulatory Framework and its implementation in influencing organic inspection and certification systems in the EU

The report presents a review of the most important European and international legislation that set the framework for organic certification, of reports prepared by international agencies working with organic standard setting and certification, and of relevant scientific literature. It discusses problems, future challenges of the organic control systems in Europe leading to suggestions for improvement. Food quality assurance is of key importance for the future development of the Common Agricultural Policy of the EU. A large number of mandatory and voluntary assurance and certification schemes exist for agriculture and in the food industry leading to the risk of increased costs for producers and confusion of consumers. Such schemes include the setting of requirements and bodies that undertake control and provide certificates. Requirements can be divided into statutory regulations regarding food safety and good agricultural practice and standards for voluntary attributes. Basic requirements of food safety, animal health and animal welfare are controlled by the Official Food and Feed Control (OFFC) systems, governed by Council Regulation (EC) 882/2004. Third party certification provides credibility to claims related to voluntary standards and is communicated to the consumers through the use of certification marks. The EU has developed a legislative basis for quality claims in relation to geographical indications, traditional specialities and organic farming and considers introducing labelling rules in relation to animal welfare, environmental impact and the origin of raw materials. Organic certification is one of a number of overlapping and competing schemes. The development of organic standards and certification in Europe started with private standards and national rules, leading to Regulation (EEC) 2092/1991. The requirements for competent authorities, control bodies and operators in this regulation regarding the control systems are reviewed. The discussion highlights the low level of knowledge among consumers of the requirements of organic certification, a weak emphasis of the control system on operator responsibility for organic integrity, issues of competition and surveillance of control bodies, a lack of consideration of risk factors in designing the inspection systems and a lack of transparency. A total revision of the European Regulations on organic production began in 2005. One important change introduced by the new Council Regulation (EC) 834/2007 for Organic Food and Farming is that the organic control system is placed under the umbrella of Council Regulation (EC) 882/2004 on Official Food and Feed Controls. Regulation (EC) 834/2007 also requires that control bodies have to be accredited according to general requirements for bodies operating product certification systems (ISO Guide 65/EN 45011). From July 2010 packaged organic products will have to carry the new EU logo as well as the compulsory indication of the control body. The report reviews the requirements for competent authorities, control bodies and operators from the various legal sources. The discussion highlights a lack of clarity on the impact of the OFFC regulation on the organic control system including how risk based inspections are to be implemented and the potential for in-consistencies in the enforcement of the regulation. A number of international initiatives concerned with the harmonisation of organic standards and to a lesser extent certification are reviewed, such as the International Task Force on Harmonisation and Equivalence (ITF)1 Two main alternative guarantee systems for organic production have been developed and researched by a number of organisations including IFOAM, ISEAL, FAO and the EU Commission. Smallholder Group Certification based on an Internal Control System (ICS) and Participatory Guarantee Systems (PGS) could also represent ways to minimize certification costs also for European farmers, in particular for operators that market directly or through very short supply chains. Both systems also illustrate examples of certification systems with a focus on system development and improvement. , the European Organic Certifiers Council (EOOC), the International Social and Environmental Accreditation and Labelling Alliance (ISEAL) and the Anti-Fraud Initiative (AFI). The multilateral initiatives have led to a better understanding of current problems and the scope and limitations for harmonisation. They have also contributed to the sharing of tools and methods and the identification of best practice. Apart from organic farming the European Union has two other food quality schemes: Regulation (EC) 510/2006 on geographical indications and Regulation (EC) 509/2006 on traditional specialities. The report explores the potential for combining these with organic certification, and draws lessons for organic certification based on Italian experience. The final chapter summarises problems and challenges from the previous chapters. Suggestions for improvements of the organic control system focus on two issues: the need for further harmonisation of the surveillance of control bodies and enforcement of the regulation and how operators’ responsibility for further development of organic systems could be supported in the control and certification system

Ethical and Social Aspects of Self-Driving Cars

As an envisaged future of transportation, self-driving cars are being discussed from various perspectives, including social, economical, engineering, computer science, design, and ethics. On the one hand, self-driving cars present new engineering problems that are being gradually successfully solved. On the other hand, social and ethical problems are typically being presented in the form of an idealized unsolvable decision-making problem, the so-called trolley problem, which is grossly misleading. We argue that an applied engineering ethical approach for the development of new technology is what is needed; the approach should be applied, meaning that it should focus on the analysis of complex real-world engineering problems. Software plays a crucial role for the control of self-driving cars; therefore, software engineering solutions should seriously handle ethical and social considerations. In this paper we take a closer look at the regulative instruments, standards, design, and implementations of components, systems, and services and we present practical social and ethical challenges that have to be met, as well as novel expectations for software engineering.Comment: 11 pages, 3 figures, 2 table

A model for best practice HTA

The aims of this paper are: to review and describe different approaches to HTA used in Australia and in other countries and to identify the features of best practice in HTA, particularly those likely to be most relevant to HTA at a local (ie state/regional) level. There are a number of well-developed models of HTA at the national and local levels. Most information about the operation of these models, particularly about the type and number of evaluations conducted, the recommendations/decisions made and the reasons for these is available for national processes, but there is much less readily available documentation about local level HTA. Most HTA processes that operate nationally and internationally can be categorised in one of three ways: guidance (provides structured information about appropriate technologies), mandatory (provides mandatory information about technologies to be implemented) and funding and implementation (provides structured evidence-based advice about which technologies should be implemented, the level of funding required to implement them and the source of these funds). The main factors which distinguish a high quality HTA process are that i) it is efficient in terms of setting priorities, the scope of the technologies to be assessed, avoidance of duplication and overall cost of the process, ii) the overall impact on utilisation and health budget is calculated as part of the HTA and iii) procedural justice occurs and is seen to occur; iv) it includes a comprehensive assessment of the impact on issues such as workforce, credentialing of providers and the ethical dimension of the technology; v) it influences decision making by being communicated appropriately and using trusted methods; vi) it influences adoption and diffusion of technology by ensuring that there is no diffusion prior to HTA, the results are incorporated into guidelines or recommendations, funding is linked to the decision, and remuneration arrangements and other characteristics of the HS facilitate the appropriate adoption and diffusion and vii) it influences health outcomes/efficiency/equity by ensuring that the methods and/or results are available and able to be used at a local level. Firm recommendations for an ideal system for HTA at the local level are not possible as much of the necessary information and evidence is not available about the strengths and weaknesses of HTA practices and processes currently in use. However, it is likely that the operation of a successful model of HTA at a local level would require the development of a central organizational unit, a process for implementing the results of HTA and, crucially, the building of capacity to support both types of activities. Additional expertise and skills will be required for both providers of HTA evaluations and for the commissioners and users of HTA.health technology assessment, Australia, review

Intelligent systems in manufacturing: current developments and future prospects

Global competition and rapidly changing customer requirements are demanding increasing changes in manufacturing environments. Enterprises are required to constantly redesign their products and continuously reconfigure their manufacturing systems. Traditional approaches to manufacturing systems do not fully satisfy this new situation. Many authors have proposed that artificial intelligence will bring the flexibility and efficiency needed by manufacturing systems. This paper is a review of artificial intelligence techniques used in manufacturing systems. The paper first defines the components of a simplified intelligent manufacturing systems (IMS), the different Artificial Intelligence (AI) techniques to be considered and then shows how these AI techniques are used for the components of IMS

Computer trading and systemic risk: a nuclear perspective

Financial markets have evolved to become complex adaptive systems highly reliant on the communication speeds and processing power afforded by digital systems. Their failure could cause severe disruption to the provision of financial services and possibly the wider economy. In this study we consider whether a perspective from the nuclear industry can provide additional insights

Ethical rooms for maneuver and theirprospects vis á vis the current ethical food policies in Europe

In this paper I want to show that consumer concerns can be implemented in food chains by organizing ethical discussions of conflicting values that include them as participators. First, it is argued that there are several types of consumer concerns about food and agriculture that are multi-interpretable and often contradict each other or are at least difficult to reconcile without considerable loss. Second, these consumer concerns are inherently dynamic because they respond to difficult and complex societal and technological situations and developments. For example, because of the rising concern with global warming, carbon dioxide absorption of crops is now attracting public attention, which means that new requirements are being proposed for the environmentally friendly production of crops. Third, there are different types of consumers, and their choices between conflicting values differ accordingly. Consumers use different weighing models and various types of information in making their food choices. Changing food chains more in accordance with consumer concerns should at least take into account the multi-interpretable, dynamic, and pluralist features of consumer concerns, for example, in traceability schemes. In discussing usual approaches such as codes, stakeholder analysis, and assurance schemes, I conclude that these traditional approaches can be helpful. However, in cases of dynamic, pluralistic, and uncertain developments, maintaining some pre-existing evaluating scheme or some clear cut normative hierarchy, such as codes or assurance schemes, can be disastrous in undermining new ethical desirable initiatives. Instead of considering ethical standards and targets as fixed, which is done with codes and schemes, it is more fruitful to emphasize the structure of the processes in which ethical weighing of relevant consumer concerns get shaped. The concept of ¿Ethical Room for Maneuver¿ (ERM) is constructed to specify the ethical desirable conditions under which identification and weighing of paramount values and their dilemmas can be processed. The main aims of the ERM are making room in all the links of the food chain for regulating and implementing the relevant consumer concerns by (1) balancing and negotiating, (2) supporting information systems that are relevant and communicative for various consumer groups and (3) organizing consumer involvement in the links of the food chain. The social and political context of agriculture and food production, particularly in Europe, gives ample opportunity for implementing several types of Ethical Rooms for Maneuver. Finally, I discuss several types of Ethical Rooms for Manoeuvre in the food chains that can be communicated by means of specific traceability schemes to less involved stakeholders with the potential consequence that the stakeholders will be motivated to be more involve