Formal Verification of Architectural Patterns in Support of Dependable Distributed Systems

摘要

Building robust, secure distributed systems in the presence of transient faults, node failures, and changes in network topology poses a multitude of challenges. Most systems being built today are the integration of highly disparate hardware and software components that interact via a hardware bus or middleware infrastructure. During the design of a component, non- functional requirements such as fault-tolerance may complicate the design and are better addressed during hardware/software integration by altering the run- time behavior of components. Architectural patterns, analogous to design patterns, are a means to develop such mechanisms rapidly by reusing existing solutions.