Towards Assurance-Driven Architectural Decomposition of Software Systems

06/17/2021
by   Ramy Shahin, et al.
0

Computer systems are so complex, so they are usually designed and analyzed in terms of layers of abstraction. Complexity is still a challenge facing logical reasoning tools that are used to find software design flaws and implementation bugs. Abstraction is also a common technique for scaling those tools to more complex systems. However, the abstractions used in the design phase of systems are in many cases different from those used for assurance. In this paper we argue that different software quality assurance techniques operate on different aspects of software systems. To facilitate assurance, and for a smooth integration of assurance tools into the Software Development Lifecycle (SDLC), we present a 4-dimensional meta-architecture that separates computational, coordination, and stateful software artifacts early on in the design stage. We enumerate some of the design and assurance challenges that can be addressed by this meta-architecture, and demonstrate it on the high-level design of a simple file system.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/24/2019

Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems

Cyber Physical Systems are systems controlled or monitored by computer-b...
research
06/01/2023

Software Development Vehicles to enable extended and early co-design: a RISC-V and HPC case of study

Prototyping HPC systems with low-to-mid technology readiness level (TRL)...
research
09/05/2017

Abstractness, specificity, and complexity in software design

Abstraction is one of the fundamental concepts of software design. Conse...
research
01/13/2019

A Framework for Evaluating Model-Driven Self-adaptive Software Systems

In the last few years, Model Driven Development (MDD), Component-based S...
research
03/10/2020

The Locus Algorithm II: A robust software system to maximise the quality of fields of view for Differential Photometry

We present the software system developed to implement the Locus Algorith...
research
03/11/2022

MemoRec: A Recommender System for Assisting Modelers in Specifying Metamodels

Model Driven Engineering (MDE) has been widely applied in software devel...
research
10/01/2017

Leaky Abstraction In Online Experimentation Platforms: A Conceptual Framework To Categorize Common Challenges

Online experimentation platforms abstract away many of the details of ex...

Please sign up or login with your details

Forgot password? Click here to reset