Quantifiable architecting of dependable systems of embedded systems

  • Authors:
  • Sheldon X. Liang;Valdis Berzins Luqi

  • Affiliations:
  • Software Engineering Center, Naval Postgraduate School;Software Engineering Center, Naval Postgraduate School

  • Venue:
  • ACM SIGSOFT Software Engineering Notes
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

Architecture is a critical aspect in the successful development and evolution of dependable systems of embedded systems (SoES). Quantifiably architecting such systems involves establishing consensus from the particular perspectives of quality attributes. Unfortunately, there are few established approaches for rapidly prototyping architecture to identify key architectural artifacts that carry quantifiable constraints throughout the software development processes. This paper presents a quantifiable architectural approach for dependable SoES using rapid prototyping. The approach provides a set of rules (patterns) governing system composition. With quantifiable constraints attached to compositional patterns, the approach also establishes mappings between perspective modeling of dependability acquisition, constraint attachment, and property monitoring. Finally, it provides a rationale for translating timing and synchronous constraints into monitored properties attached to the auto-generated quantifiable architectural framework as an architectural context for quantifiable assessment and architectural evolution. Thus these properties are effectively and practically computable for dynamic monitoring at runtime.