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 ...

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...

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 investigates system safety within a control perspective. We adopt model predictive control for our safety investigation and consider a microgrid system as case study. We study the satisfaction of consumer demands under different faulty scenarios, and different controllability and observability conditions. By simulations, we show the feasibility of investigating safety in relation to ...

The Motorways of the Sea is rather a new concept and, thus, is still in the process of development by the European Commission and in the Baltic Sea Region. The Baltic Sea Region is one of the most dynamic growth areas. Due to this fact the new ideas and technologies are needed to optimize the sea transport system. In the paper the simulation model for the system safety state evaluation is prese...

food safety issues are not a new issue in science, but due to the dynamic changes in the modern world it is as equally important as decades ago. the aim of the study was to address the efforts in the development of a comprehensive food safety system in serbia, and make specific recommendations regarding the improvement of epidemiological investigation capacity as a useful tool which contributes...

We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification of the code. We use a generic safety case that is instantiated with respect to the certified safety property and the program. It is complemented by a static system safety case that argues the safety of the framework itself, in...