The model-based approach to the development and analysis of complex dependable systems is increasingly popular and recently, the Architecture Analysis and Design Language (AADL) has emerged as a potential future standard for model-based development of dependability-critical systems.
Finally, to support the development of dependable systems, we define for each system creation activity, a checklist that specifies the key issues that need to be addressed with respect to each dependability process.
Credibility was established through persistent observation, prolonged engagement in the field, and overall development of the project; dependability was established through an audit trail using fieldnotes, memo writing, and reflexive notes; and confirmability through multiple debriefings among the research team as they reviewed the analysis, interpretation, and representation of the data.
Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems.
In the context of the development of systems subjected to strong dependability and safety properties, standards such as the IEC 61508 recommend the use of formal verification tools.
The proposed methodology combines a primary dependability analysis technique with the representation of knowledge in order to support the development of CPSs capable to model the dependability at run-time.
The analysis was divided into several stages of development, facilitating systematic inspection with an eye to the criterion of dependability.
This paper deals with the development of manufacturing machinery subjected to strong dependability and safety properties.
The research presented in this paper aims to contribute to the development of CPSs by proposing: (1) an analysis methodology to model the CPS's behavior in terms of dependability; and (2) a CPS architecture with dependability facilities applicable in environmental monitoring, based on the Wireless Sensor Network, multi-agent and cloud computing technologies.
Parents creative about matching children and chores can encourage skill development and dependability in addition to family participation.
Time to replace the Navy Clock as a symbol of dependability.
