CSP channels for CAN-bus connected embedded control systems

Closed loop control system typically contains multitude of sensors and actuators operated simultaneously. So they are parallel and distributed in its essence. But when mapping this parallelism to software, lot of obstacles concerning multithreading communication and synchronization issues arise. To overcome this problem, the CT kernel/library based on CSP algebra has been developed. This project (TES.5410) is about developing communication extension to the CT library to make it applicable in distributed systems. Since the library is tailored for control systems, properties and requirements of control systems are taken into special consideration. Applicability of existing middleware solutions is examined. A comparison of applicable fieldbus protocols is done in order to determine most suitable ones and CAN fieldbus is chosen to be first fieldbus used. Brief overview of CSP and existing CSP based libraries is given. Middleware architecture is proposed along with few novel ideas

A Configurable Transport Layer for CAF

The message-driven nature of actors lays a foundation for developing scalable and distributed software. While the actor itself has been thoroughly modeled, the message passing layer lacks a common definition. Properties and guarantees of message exchange often shift with implementations and contexts. This adds complexity to the development process, limits portability, and removes transparency from distributed actor systems. In this work, we examine actor communication, focusing on the implementation and runtime costs of reliable and ordered delivery. Both guarantees are often based on TCP for remote messaging, which mixes network transport with the semantics of messaging. However, the choice of transport may follow different constraints and is often governed by deployment. As a first step towards re-architecting actor-to-actor communication, we decouple the messaging guarantees from the transport protocol. We validate our approach by redesigning the network stack of the C++ Actor Framework (CAF) so that it allows to combine an arbitrary transport protocol with additional functions for remote messaging. An evaluation quantifies the cost of composability and the impact of individual layers on the entire stack

Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

Enhancing the Supply Chain Performance by Integrating Simulated and Physical Agents into Organizational Information Systems

As the business environment gets more complicated, organizations must be able to respond to the business changes and adjust themselves quickly to gain their competitive advantages. This study proposes an integrated agent system, called SPA, which coordinates simulated and physical agents to provide an efficient way for organizations to meet the challenges in managing supply chains. In the integrated framework, physical agents coordinate with inter-organizations\' physical agents to form workable business processes and detect the variations occurring in the outside world, whereas simulated agents model and analyze the what-if scenarios to support physical agents in making decisions. This study uses a supply chain that produces digital still cameras as an example to demonstrate how the SPA works. In this example, individual information systems of the involved companies equip with the SPA and the entire supply chain is modeled as a hierarchical object oriented Petri nets. The SPA here applies the modified AGNES data clustering technique and the moving average approach to help each firm generalize customers\' past demand patterns and forecast their future demands. The amplitude of forecasting errors caused by bullwhip effects is used as a metric to evaluate the degree that the SPA affects the supply chain performance. The experimental results show that the SPA benefits the entire supply chain by reducing the bullwhip effects and forecasting errors in a dynamic environment.Supply Chain Performance Enhancement; Bullwhip Effects; Simulated Agents; Physical Agents; Dynamic Customer Demand Pattern Discovery

Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance

Computerised systems appear in almost all aspects of our daily lives, often in safety-critical scenarios such as embedded control systems in cars and aircraft or medical devices such as pacemakers and sensors. We are thus increasingly reliant on these systems working correctly, despite often operating in unpredictable or unreliable environments. Designers of such devices need ways to guarantee that they will operate in a reliable and efficient manner. Quantitative verification is a technique for analysing quantitative aspects of a system's design, such as timeliness, reliability or performance. It applies formal methods, based on a rigorous analysis of a mathematical model of the system, to automatically prove certain precisely specified properties, e.g. ``the airbag will always deploy within 20 milliseconds after a crash'' or ``the probability of both sensors failing simultaneously is less than 0.001''. The ability to formally guarantee quantitative properties of this kind is beneficial across a wide range of application domains. For example, in safety-critical systems, it may be essential to establish credible bounds on the probability with which certain failures or combinations of failures can occur. In embedded control systems, it is often important to comply with strict constraints on timing or resources. More generally, being able to derive guarantees on precisely specified levels of performance or efficiency is a valuable tool in the design of, for example, wireless networking protocols, robotic systems or power management algorithms, to name but a few. This report gives a short introduction to quantitative verification, focusing in particular on a widely used technique called model checking, and its generalisation to the analysis of quantitative aspects of a system such as timing, probabilistic behaviour or resource usage. The intended audience is industrial designers and developers of systems such as those highlighted above who could benefit from the application of quantitative verification,but lack expertise in formal verification or modelling

Sequential Circuit Design for Embedded Cryptographic Applications Resilient to Adversarial Faults

In the relatively young field of fault-tolerant cryptography, the main research effort has focused exclusively on the protection of the data path of cryptographic circuits. To date, however, we have not found any work that aims at protecting the control logic of these circuits against fault attacks, which thus remains the proverbial Achilles’ heel. Motivated by a hypothetical yet realistic fault analysis attack that, in principle, could be mounted against any modular exponentiation engine, even one with appropriate data path protection, we set out to close this remaining gap. In this paper, we present guidelines for the design of multifault-resilient sequential control logic based on standard Error-Detecting Codes (EDCs) with large minimum distance. We introduce a metric that measures the effectiveness of the error detection technique in terms of the effort the attacker has to make in relation to the area overhead spent in implementing the EDC. Our comparison shows that the proposed EDC-based technique provides superior performance when compared against regular N-modular redundancy techniques. Furthermore, our technique scales well and does not affect the critical path delay

Patient safety in health care professional educational curricula: examining the learning experience

This study has investigated the formal and informal ways pre-registration students from four healthcare professions learn about patient safety in order to become safe practitioners. The study aims to understand some of the issues which impact upon teaching, learning and practising patient safety in academic, organisational and practice „knowledge? contexts. In Stage 1 we used a convenience sample of 13 educational providers across England and Scotland linked with five universities running traditional and innovative courses for doctors, nurses, pharmacists and physiotherapists. We gathered examples of existing curriculum documents for detailed analysis, and interviewed course directors and similar informants. In Stage 2 we undertook 8 case studies to develop an in-depth investigation of learning and practice by students and newly qualified practitioners in universities and practice settings in relation to patient safety. Data were gathered to explore the planning and implementation of patient safety curricula; the safety culture of the places where learning and working take place; the student teacher interface; and the influence of role models and organisational culture on practice. Data from observation, focus groups and interviews were transcribed and coded independently by more than one of the research team. Analysis was iterative and ongoing throughout the study. NHS policy is being taken seriously by course leaders, and Patient Safety material is being incorporated into both formal and informal curricula. Patient safety in the curriculum is largely implicit rather than explicit. All students very much value the practice context for learning about patient safety. However, resource issues, peer pressure and client factors can influence safe practice. Variations exist in students? experience, in approach between university tutors, different placement locations – the experience each offers – and the quality of the supervision available. Relationships with the mentor or clinical educator are vital to student learning. The role model offered and the relationship established affects how confident students feel to challenge unsafe practice in others. Clinicians are conscious of the tension between their responsibilities as clinicians (keeping patients safe), and as educators (allowing students to learn under supervision). There are some apparent gaps in curricular content where relevant evidence already exists – these include the epidemiology of adverse events and error, root cause analysis and quality assessment. Reference to the organisational context is often absent from course content and exposure limited. For example, incident reporting is not being incorporated to any great extent in undergraduate curricula. Newly qualified staff were aware of the need to be seen to practice in an evidence based way, and, for some at least, the need to modify „the standard? way of doing things to do „what?s best for the patient?. A number of recommendations have been made, some generic and others specific to individual professions. Regulators? expectations of courses in relation to patient 9 safety education should be explicit and regularly reviewed. Educators in all disciplines need to be effective role models who are clear about how to help students to learn about patient safety. All courses should be able to highlight a vertical integrated thread of teaching and learning related to patient safety in their curricula. This should be clear to staff and students. Assessment for this element should also be identifiable as assessment remains important in driving learning. All students need to be enabled to constructively challenge unsafe or non-standard practice. Encounters with patients and learning about their experiences and concerns are helpful in consolidating learning. Further innovative approaches should be developed to make patient safety issues 'real' for students

Deep Space Network information system architecture study

The purpose of this article is to describe an architecture for the Deep Space Network (DSN) information system in the years 2000-2010 and to provide guidelines for its evolution during the 1990s. The study scope is defined to be from the front-end areas at the antennas to the end users (spacecraft teams, principal investigators, archival storage systems, and non-NASA partners). The architectural vision provides guidance for major DSN implementation efforts during the next decade. A strong motivation for the study is an expected dramatic improvement in information-systems technologies, such as the following: computer processing, automation technology (including knowledge-based systems), networking and data transport, software and hardware engineering, and human-interface technology. The proposed Ground Information System has the following major features: unified architecture from the front-end area to the end user; open-systems standards to achieve interoperability; DSN production of level 0 data; delivery of level 0 data from the Deep Space Communications Complex, if desired; dedicated telemetry processors for each receiver; security against unauthorized access and errors; and highly automated monitor and control