Everton have achieved dependability.
Then, Xu presents several advanced techniques developed at the University of Leeds to achieve dependability and security in service-oriented systems and applications, including, the solution proposed by Townend et al. ([2005]).
Recent CPS projects such as CYPRESS [13] and fractionated CPS (http://ncps.csl.sri.com/) explore an "observe-analyze-adapt" architecture, i.e., a reflective approach, in which a CPS has a model of itself, its objectives, and its effects on the environment; the CPS achieves dependability objectives through adaptation using runtime application of formal analysis methods.
To achieve dependability (consistency), the study adhered to Giddens' Structuration Theory when developing the semi-structured interview guide, coding the data, analysing the data, and presenting the categories.
Strategies to achieve dependability included: the use of a structured interview schedule, audio recording and transcription of the interviews, the application of framework analysis that outlines the analysis process and, agreement of themes reached by all researchers.
To achieve dependability, a discussion guide was developed and gradually improved/changed during the study, but regarding the topic of fertility, almost the same questions were asked in all groups.
To achieve dependability of the interviews, the interviews were initiated by the moderator (the first author), who described the goal of the study which was to search for deeper knowledge about health problems and difficulties leading to hinders to or difficulties in managing employment.
There are many different approaches for evaluating system dependability, and testing has been always an important one, being fault removal one of the means to achieve dependable systems.
Key milestones in this evolution, and the prospects for the use of formal verification methods in achieving enhanced dependability of future manufacturing software, are examined in this paper and presentation.
