Download or read book An Architecture based Approach for Change Impact Analysis of Software intensive Systems written by Busch, Kiana and published by KIT Scientific Publishing. This book was released on 2020-03-19 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Architecture based Evolution of Dependable Software intensive Systems written by Heinrich, Robert and published by KIT Scientific Publishing. This book was released on 2023-06-05 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Modeling the Impact of Change on Software Intersive Systems written by Larry Wen and published by . This book was released on 2010 with total page 544 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: Most significant software-intensive systems undergo substantive change/evolution during their life time of service. Managing the consequent software changes is a difficult and costly task. In this thesis, we use two different approaches to investigate system change and its impact on the architecture and design of the system. The first approach involves traditional software change impact analysis. We propose a new and different traceability model, which is based on Genetic Software Engineering (GSE). The proposed traceability model exploits some features of GSE to create a number of advanced properties that are rare in other traceability models. For example, once a software change has been fully captured, some other design documents including the component architecture and component behavior can be automatically generated/updated. All the consequent change impacts are presented in a clear way. We have also introduced the concept of evolutionary design documents that show the evolution process of a system's architecture as well as the design of individual components. Using this proposed traceability model, a practical method to normalize and simplify the component architecture of software intensive systems has been developed. An important result we have proved is that the component architecture of a software system is independent to the functional requirements of the system. We claim that a normalized software system is easier to maintain and change. The second approach starts from a macro view. Rather than exploring the details of the change impacts from individual changes, this approach focuses on the common properties of the architecture evolution of complex systems; it stresses the topological structure from an evolutionary viewpoint. For this investigation we use scale-free networks and hierarchy theory as the major tools. Hierarchy is a natural structure for diverse large and complex systems, and recent studies reveal that many large networks from different domains are scale-free. In this research, we have discovered that the component dependency networks of many software systems are scale-free; we have also found that there is a close connection between the scale-free feature and the optimization of sorting algorithms. These results imply that there are fundamental rules working behind the evolution of large systems including software intensive systems, and that the scale-free property can be used as a possible index for the optimization level of the structure of a system. Software change and software evolution are critical aspects of software engineering. This thesis has used a macroscopic and technical, formal approach to make positive contributions to understanding and accommodating change of software-intensive systems.

Download or read book Model Based Performance Prediction for Concurrent Software on Multicore Architectures A Simulation Based Approach written by Frank, Markus Kilian and published by KIT Scientific Publishing. This book was released on 2022-07-18 with total page 400 pages. Available in PDF, EPUB and Kindle. Book excerpt: Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit einer Metrik, was zu ungenauen Vorhersagen für moderne Architekturen führt. In dieser Arbeit wird ein Multi-Strategie-Ansatz zur Erweiterung von Performancevorhersagemodellen zur Unterstützung von Multicore-Architekturen vorgestellt, in Palladio implementiert und dadurch die Genauigkeit der Vorhersage deutlich verbessert. - Model-based performance prediction is a well-known concept to ensure the quality of software. Current approaches are based on a single-metric model, which leads to inaccurate predictions for modern architectures. This thesis presents a multi-strategies approach to extend performance prediction models to support multicore architectures. We implemented the strategies into Palladio and significantly increased the performance prediction power.

Download or read book Context based Access Control and Attack Modelling and Analysis written by Walter, Maximilian and published by KIT Scientific Publishing. This book was released on 2024-07-03 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements written by Seifermann, Stephan and published by KIT Scientific Publishing. This book was released on 2022-12-09 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. Systems specify data flows and confidentiality requirements specify limitations of data flows. Software architects use detected violations of these limitations to improve the system. We demonstrate how to integrate our approach into existing development processes.

Download or read book A Reference Structure for Modular Model based Analyses written by Koch, Sandro Giovanni and published by KIT Scientific Publishing. This book was released on 2024-04-25 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book QoS Based Optimization of Runtime Management of Sensing Cloud Applications written by Gotin, Manuel and published by KIT Scientific Publishing. This book was released on 2022-06-30 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: IoT applications perceive and interact with the environment via smart devices and cloud services. When operating such applications one is faced with the challenge of configuring the smart devices and the cloud services in a manner, which achieves a high data quality at low operational costs. This work supports IoT operators with IoT collection strategies and cost optimization functions for data qualities, which are influenced by the interplay of smart device and cloud service configurations.

Download or read book Consistent View Based Management of Variability in Space and Time written by Ananieva, Sofia and published by KIT Scientific Publishing. This book was released on 2022-12-06 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt: Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents an approach for view-based consistency preservation of variable systems.

Download or read book Evaluating Architectural Safeguards for Uncertain AI Black Box Components written by Scheerer, Max and published by KIT Scientific Publishing. This book was released on 2023-10-23 with total page 472 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Architectural Alignment of Access Control Requirements Extracted from Business Processes written by Pilipchuk, Roman and published by KIT Scientific Publishing. This book was released on 2023-01-27 with total page 366 pages. Available in PDF, EPUB and Kindle. Book excerpt: Business processes and information systems evolve constantly and affect each other in non-trivial ways. Aligning security requirements between both is a challenging task. This work presents an automated approach to extract access control requirements from business processes with the purpose of transforming them into a) access permissions for role-based access control and b) architectural data flow constraints to identify violations of access control in enterprise application architectures.

Download or read book Building Transformation Networks for Consistent Evolution of Interrelated Models written by Klare, Heiko and published by KIT Scientific Publishing. This book was released on 2022-03-24 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt: Complex software systems are described with multiple artifacts, such as code, design diagrams and others. Ensuring their consistency is crucial and can be automated with transformations for pairs of artifacts. We investigate how developers can combine independently developed and reusable transformations to networks that preserve consistency between more than two artifacts. We identify synchronization, compatibility and orchestration as central challenges, and we develop approaches to solve them.

Download or read book A Reference Structure for Modular Metamodels of Quality Describing Domain Specific Modeling Languages written by Strittmatter, Misha and published by KIT Scientific Publishing. This book was released on 2020-07-23 with total page 518 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Knowledge Management in the Development of Data Intensive Systems written by Ivan Mistrik and published by CRC Press. This book was released on 2021-06-15 with total page 427 pages. Available in PDF, EPUB and Kindle. Book excerpt: Data-intensive systems are software applications that process and generate Big Data. Data-intensive systems support the use of large amounts of data strategically and efficiently to provide intelligence. For example, examining industrial sensor data or business process data can enhance production, guide proactive improvements of development processes, or optimize supply chain systems. Designing data-intensive software systems is difficult because distribution of knowledge across stakeholders creates a symmetry of ignorance, because a shared vision of the future requires the development of new knowledge that extends and synthesizes existing knowledge. Knowledge Management in the Development of Data-Intensive Systems addresses new challenges arising from knowledge management in the development of data-intensive software systems. These challenges concern requirements, architectural design, detailed design, implementation and maintenance. The book covers the current state and future directions of knowledge management in development of data-intensive software systems. The book features both academic and industrial contributions which discuss the role software engineering can play for addressing challenges that confront developing, maintaining and evolving systems;data-intensive software systems of cloud and mobile services; and the scalability requirements they imply. The book features software engineering approaches that can efficiently deal with data-intensive systems as well as applications and use cases benefiting from data-intensive systems. Providing a comprehensive reference on the notion of data-intensive systems from a technical and non-technical perspective, the book focuses uniquely on software engineering and knowledge management in the design and maintenance of data-intensive systems. The book covers constructing, deploying, and maintaining high quality software products and software engineering in and for dynamic and flexible environments. This book provides a holistic guide for those who need to understand the impact of variability on all aspects of the software life cycle. It leverages practical experience and evidence to look ahead at the challenges faced by organizations in a fast-moving world with increasingly fast-changing customer requirements and expectations.

Download or read book Architecting Software Intensive Systems written by Anthony J. Lattanze and published by CRC Press. This book was released on 2008-11-18 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt: Architectural design is a crucial first step in developing complex software intensive systems. Early design decisions establish the structures necessary for achieving broad systemic properties. However, today's organizations lack synergy between software their development processes and technological methodologies. Providing a thorough treatment of

Download or read book Formal Methods for Industrial Critical Systems written by Jan Friso Groote and published by Springer Nature. This book was released on 2022-09-05 with total page 246 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.

Download or read book Software Change Impact Analysis written by Sunil Sikka and published by BookRix. This book was released on 2020-05-19 with total page 41 pages. Available in PDF, EPUB and Kindle. Book excerpt: Introducing changes in the software during development and post-development is a very frequent activity. Reasons for changes include client’s changing requirements, fixing leftover bugs and other security issues, adding new functionality, and so on. Introducing changes in software may bring adverse effects that may degrade its quality or introduce new bugs which in turn will increase the software maintenance cost. Therefore a systematic change management process is required. A systematic process for managing software changes is already in place i.e. Change Impact Analysis (CIA). The current book conducts a systematic study of recent developments, techniques, and tools in the area of CIA