Most modern programming systems such as Java allow us to link independently developed components together dynamically. This makes it possible to develop and deploy software on a per component basis. However, a number of Java developers have reported a problem, ironically called the version barrier, imposed by the strict separation of namespaces. The version barrier prohibits one component from ...

We introduce a method for the assessment of trust for n-open systems based on a measurement of fidelity and present a prototypic implementation of a complaint architecture. We construct a MAPE loop which monitors the compliance between corresponding figures of interest in cyberand physical domains; derive measures of the system’s trustworthiness; and use them to plan and execute actions aiming ...

components of system safety proceedings of the tenth safety critical systems symposium southampton uk 2002. Book lovers, when you need a new book to read, find the book here. Never worry not to find what you need. Is the components of system safety proceedings of the tenth safety critical systems symposium southampton uk 2002 your needed book now? That's true; you are really a good reader. This...

he structure and organization of the Performance Assurance Program developed for the Midcourse Space Experiment (MSX) spacecraft are discussed. Included is an overview of the engineering disciplines of the program: reliability, quality assurance, and system safety. The performance assurance role in each of the four MSX development phases is explained, followed by a review of MSX integration and...

COTS have increasingly been used by industrial practice as a means of maintaining low development costs of a product, whilst offering significant capability upgrades. COTS are multi purpose products driven by commonly used functionality. However, being general purpose products raises certain challenges regarding their ability to be certified. Previously used (process-based) standards stipulated...

In presenting a framework for tackling these issues, the paper examines current safety practices. In particular it challenges, from a theoretical perspective, and by reference to recent research, two common misconceptions that safety is largely a matter of equipment reliability and that process-based assurance can provide adequate evidence of system safety. It argues that failure to address the...

This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require high reliability and high performance. The notion of exception safety is based on the basic guarantee that maintains basic invariants and avoids resource leaks and the strong guarantee that ensures that a failed oper...