Failure to detect probability (false negative) is an important issue for supporting dependability in distributed network systems to guarantee continuous, safe, secure, and dependable operation [4].
In this paper, we introduce IRM-SA (Invariant Refinement Method for Self-Adaptation)—a design method and associated formally grounded model targeting siCPS that addresses self-adaptivity and supports dependability by providing traceability between system requirements, distinct situations in the environment, and predefined configurations of system architecture.
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer systems early in the design process.
They see customisation as a key requirement for future dependability support.
Additionally, although IoT cloud systems include many mobile and unstable devices, the current prototype provides a limited support regarding the dependability concerns.
We propose that active probing be incorporated into future dependable system designs as a method that is suitable both for new large-scale network phenomena such as emergent behavior, and also to support life-cycle dependability growth in conventional systems.
They, for instance, recommend to tailor the agile practices into larger organizational context and harmonize the requirement management to support modifiability, maintainability and dependability.
To support the trustworthiness (credibility, dependability and confirmability) of the findings, all participants reviewed the workshop methods and findings to confirm that the recommendations were internally coherent and supported by the data [ 27].
Dependability was supported by describing all procedures undertaken in detail in the methods section of this manuscript.
Dependability was supported by making the research process transparent and the analysis of data is described in steps (see Table 2).
