Paper Info
Title
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems
Abstract
Building robust, secure distributed systems in the presence of transient faults, node failures, and changes in network topology poses a multitude of challenges. To meet current engineering challenges such as pervasive and ubiquitous computing, one must adopt model-driven approaches to build distributed applications. We propose the synchronous paradigm for component integration and coordination: developers use an abstraction that respects the synchrony hypothesis, i.e., each external event is processed by the system completely before the arrival of the next event. Based on the synchronous model, the Secure Operations Language (SOL) is designed as a verifiable language for the integration of high assurance systems.
Year
DOI
Venue
2005
10.1109/MEMCOD.2005.1487924
MEMOCODE
Keywords
Field
DocType
object oriented programming,software component,component based development,distributed application,architectural pattern,fault tolerance,sol,distributed computing,network topology,distributed system,hardware,ubiquitous computing,application software,middleware,formal verification,robustness
Middleware,Object-oriented programming,Computer science,Real-time computing,Theoretical computer science,Network topology,Verifiable secret sharing,Ubiquitous computing,Component-based software engineering,Architectural pattern,Formal verification,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7803-9227-2
0
0.34
References 
Authors
7
2
Name
Order
Citations
PageRank
Ralph D. Jeffords143434.88
Ramesh Bharadwaj241632.59