The work presented in this article deals with modeling in order to evaluate the performances relating to the dependability for structures which contains intelligent instruments.
Five questions of this checklist [ 27] were viewed as specifically relating to the concept of dependability.
The full potential of this strategy has not yet been demonstrated for embedded software, mainly because of specific requirements in the domain, e.g., those related to timing, dependability, and resource consumption.
In the immediate future, metrics related to safety and dependability have to be found in order to successfully introduce robots in everyday enviornments.
Attention is devoted to dependability, mainly related to sensors, control architectures, and fault handling and tolerance.
The COMPASS toolset utilizes state-of-the-art model checking techniques, both qualitative and probabilistic, for the analysis of requirements related to functional correctness, safety, dependability and performance.
We propose a method that can predict the operational cost of a WHRS via thermodynamic analysis which shows costs related to energy utilisation, and dependability analysis which shows costs related to system unavailability and repair.
Due to the wide range of possible applications, we are currently studying in depth both the theoretical and the technological issues related to the multi-paradigm dependability modeling using appropriate frameworks.
This paper deals with control system design and optimisation according to a cost criterion and dependability constraints related to the number of tolerated faults.
However, optimization of gateway allocation and addressing the dependability issues related to device mobility are subject of our future work.
We also plan to address the current limitations regarding the mobility aspects, especially the dependability issues related to the device mobility and mobility of software components, i.e., runtime migration of software-defined gateways.
