Specification, analysis and implementation of architectural patterns for dependable software systems

Sik-Sang Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Abstract

Ensuring dependability of distributed applications is a difficult problem since developers must carefully consider issues such as network and node failures, deadlocks, live-locks, starvation, distributed coordination, and synchronization. The creation of architectural patterns for dependable software systems can provide effective guidelines, similar to design patterns, to system architects. In this paper, we present an agent specification language, associated tools, and agent-based middleware for specifying, analyzing and implementing architectural patterns for dependable software systems. The language we present is an extension of the Secure Operations Language (SOL), which supports the behavioral specification of agents in addition to specification of agent interfaces, agent composition, and inter-agent interactions. Extended SOL can be used in the design of architectural patterns that will implement the security, real-time, and fault-tolerance requirements of a given application. SOL also supports early and automated analyses of an application's functional requirements with respect to performance critical properties. Further, the language has a precisely defined semantics for composition, which enables the automated analysis of architectural designs and the impact of design choices on dependability requirements. The agent-based middleware Secure Infrastructure for Networked Systems (SINS), being developed at the Naval Research Laboratory, enables the rapid development and deployment of dependable distributed applications. Architectural patterns specified in extended SOL can be used to automatically derive an implementation, and to assign SINS agents to processors that constitute the distributed execution environment.

Original languageEnglish (US)
Title of host publicationProceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
Pages197-204
Number of pages8
DOIs
StatePublished - Nov 10 2005
Event10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 - Sedona, AZ, United States
Duration: Feb 2 2005Feb 4 2005

Publication series

NameProceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS
ISSN (Print)1530-1443

Other

Other10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
CountryUnited States
CitySedona, AZ
Period2/2/052/4/05

Keywords

  • Architectural patterns
  • Dependable software
  • Formal analysis
  • Specification languages
  • Verification

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Specification, analysis and implementation of architectural patterns for dependable software systems'. Together they form a unique fingerprint.

Cite this