Architecture-based Evolution of Dependable Software-intensive Systems

Architecture-based Evolution of Dependable Software-intensive Systems
Author: Heinrich, Robert
Publisher: KIT Scientific Publishing
Total Pages: 154
Release: 2023-06-05
Genre:
ISBN: 3731512947

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase.

Evaluating Architectural Safeguards for Uncertain AI Black-Box Components

Evaluating Architectural Safeguards for Uncertain AI Black-Box Components
Author: Scheerer, Max
Publisher: KIT Scientific Publishing
Total Pages: 472
Release: 2023-10-23
Genre:
ISBN: 373151320X

Although tremendous progress has been made in Artificial Intelligence (AI), it entails new challenges. The growing complexity of learning tasks requires more complex AI components, which increasingly exhibit unreliable behaviour. In this book, we present a model-driven approach to model architectural safeguards for AI components and analyse their effect on the overall system reliability.

A Reference Structure for Modular Model-based Analyses

A Reference Structure for Modular Model-based Analyses
Author: Koch, Sandro Giovanni
Publisher: KIT Scientific Publishing
Total Pages: 398
Release: 2024-04-25
Genre:
ISBN: 3731513412

In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of model-based analyses. Their goal is to improve the maintainability of model-based analyses. They have investigated the co-dependency of Domain-specific Modelling Languages (DSMLs) and model-based analyses regarding evolvability, understandability, and reusability.

Context-based Access Control and Attack Modelling and Analysis

Context-based Access Control and Attack Modelling and Analysis
Author: Walter, Maximilian
Publisher: KIT Scientific Publishing
Total Pages: 350
Release: 2024-07-03
Genre:
ISBN: 3731513625

This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control policies and vulnerabilities, often analyzed separately, into a unified approach using software architecture models. Contributions include metamodels for access control and vulnerabilities, scenario-based analysis, and two attack analyses. Evaluation demonstrates high accuracy in identifying issues for secure system development.

Architecting Dependable Systems IV

Architecting Dependable Systems IV
Author: Rogério de Lemos
Publisher: Springer
Total Pages: 446
Release: 2007-08-29
Genre: Computers
ISBN: 354074035X

As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006) organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.

Reliable Software Technologies – Ada-Europe 2011

Reliable Software Technologies – Ada-Europe 2011
Author: Alexander Romanovsky
Publisher: Springer Science & Business Media
Total Pages: 239
Release: 2011-06-14
Genre: Computers
ISBN: 3642213375

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.

Building Reliable Component-based Software Systems

Building Reliable Component-based Software Systems
Author: Ivica Crnkovic
Publisher: Artech House
Total Pages: 452
Release: 2002
Genre: Computers
ISBN: 1580533272

Here's a complete guide to building reliable component-based software systems. Written by world-renowned experts in the component-based software engineering field, this unique resource helps you manage complex software through the development, evaluation and integration of software components. You quickly develop a keen awareness of the benefits and risks to be considered when developing reliable systems using components. A strong software engineering perspective helps you gain a better understanding of software component design, to build systems with stronger requirements, and avoid typical errors throughout the process, leading to improved quality and time to market.

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Author: Roberto E. Lopez-Herrejon
Publisher: Springer Nature
Total Pages: 535
Release: 2022-11-22
Genre: Computers
ISBN: 3031116860

This handbook distils the wealth of expertise and knowledge from a large community of researchers and industrial practitioners in Software Product Lines (SPLs) gained through extensive and rigorous theoretical, empirical, and applied research. It is a timely compilation of well-established and cutting-edge approaches that can be leveraged by those facing the prevailing and daunting challenge of re-engineering their systems into SPLs. The selection of chapters provides readers with a wide and diverse perspective that reflects the complementary and varied expertise of the chapter authors. This perspective covers the re-engineering processes, from planning to execution. SPLs are families of systems that share common assets, allowing a disciplined software reuse. The adoption of SPL practices has shown to enable significant technical and economic benefits for the companies that employ them. However, successful SPLs rarely start from scratch, but instead, they usually start from a set of existing systems that must undergo well-defined re-engineering processes to unleash new levels of productivity and competitiveness. Practitioners will benefit from the lessons learned by the community, captured in the array of methodological and technological alternatives presented in the chapters of the handbook, and will gain the confidence for undertaking their own re-engineering challenges. Researchers and educators will find a valuable single-entry point to quickly become familiar with the state-of-the-art on the topic and the open research opportunities; including undergraduate, graduate students, and R&D engineers who want to have a comprehensive understanding of techniques in reverse engineering and re-engineering of variability-rich software systems.

Architecting Dependable Systems V

Architecting Dependable Systems V
Author: Rogério de Lemos
Publisher: Springer Science & Business Media
Total Pages: 354
Release: 2008-08-28
Genre: Computers
ISBN: 354085570X

This survey contains expanded and peer-reviewed papers based on the selected contributions to the Workshop on Architecting Dependable Systems (WADS 2007), and the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007).