But they caution that the claim is misleading, having as much to do with greater analytical rigor as with improved dependability.
Maryland regulators should have realized sooner that Pepco's performance had been seriously lacking and should have moved more quickly to force the company to improve dependability, Nazarian said.
Formal verification using reachability analysis has been shown to be useful for detecting design failures for controlled embedded systems, and thus to improve dependability.
Formal methods can strongly contribute to improve dependability of logic controllers during design, by providing means to avoid flaws due to designers' omissions or specifications misinterpretations.
Motivated by the pressing need for increased dependability in corporate and Internet services and by the perspective that effective recovery can improve dependability as much or more than avoiding failures, we introduce a novel recovery mechanism that gives human system operators the power of system-wide undo.
To support partitioned software architectures such as AIR, Rufino et al. (2009), and MILS, DeLong, R. (2007), RodosVisor adapted the Popek and Goldberg's fidelity, efficiency and resource control virtualization requirements, Popek and Goldberg (1974), to the space application domain by extending them with extra ones, like timing determinism, reactivity and improved dependability.
By presenting our judgments about potential for bias or distortion, we improved dependability.
We describe below two potential approaches to improve dependability of information from sensors.
In particular, we will focus on how adaptation services can be used to improve dependability in instrumented cyber-physical systems based on the principles of "computational reflection".
To provide uninterrupted cloud services, cloud managers must evaluate and improve dependability aspects of cloud infrastructures, such as availability and transaction loss; this is because users require a reasonable level of confidence in such infrastructures to efficiently plan and operate their business [19].
