Model-Based Software Performance Analysis
Model-Based Software Performance Analysis

Author: Vittorio Cortellessa

Publisher: Springer Science & Business Media

Published: 2011-05-05

Total Pages: 197

ISBN-13: 3642136214

DOWNLOAD EBOOK

Poor performance is one of the main quality-related shortcomings that cause software projects to fail. Thus, the need to address performance concerns early during the software development process is fully acknowledged, and there is a growing interest in the research and software industry communities towards techniques, methods and tools that permit to manage system performance concerns as an integral part of software engineering. Model-based software performance analysis introduces performance concerns in the scope of software modeling, thus allowing the developer to carry on performance analysis throughout the software lifecycle. With this book, Cortellessa, Di Marco and Inverardi provide the cross-knowledge that allows developers to tackle software performance issues from the very early phases of software development. They explain the basic concepts of performance analysis and describe the most representative methodologies used to annotate and transform software models into performance models. To this end, they go all the way from performance primers through software and performance modeling notations to the latest transformation-based methodologies. As a result, their book is a self-contained reference text on software performance engineering, from which different target groups will benefit: professional software engineers and graduate students in software engineering will learn both basic concepts of performance modeling and new methodologies; while performance specialists will find out how to investigate software performance model building.

Performance Analysis of Real-Time Embedded Software
Performance Analysis of Real-Time Embedded Software

Author: Yau-Tsun Steven Li

Publisher: Springer Science & Business Media

Published: 1999

Total Pages: 172

ISBN-13: 9780792383826

DOWNLOAD EBOOK

Embedded systems are characterized by the presence of processors running application-specific software. Recent years have seen a large growth of such systems, and this trend is projected to continue with the growth of systems on a chip. Many of these systems have strict performance and cost requirements. To design these systems, sophisticated timing analysis tools are needed to accurately determine the extreme case (best case and worst case) performance of the software components. Existing techniques for this analysis have one or more of the following limitations: they cannot model complicated programs they cannot model advanced micro-architectural features of the processor, such as cache memories and pipelines they cannot be easily retargeted for new hardware platforms. In Performance Analysis of Real-Time Embedded Software, a new timing analysis technique is presented to overcome the above limitations. The technique determines the bounds on the extreme case (best case and worst case) execution time of a program when running on a given hardware system. It partitions the problem into two sub-problems: program path analysis and microarchitecture modeling. Performance Analysis of Real-Time Embedded Software will be of interest to Design Automation professionals as well as designers of circuits and systems.

Model-Based Engineering with AADL
Model-Based Engineering with AADL

Author: Peter H. Feiler

Publisher: Addison-Wesley

Published: 2012-09-25

Total Pages: 765

ISBN-13: 0133132900

DOWNLOAD EBOOK

Conventional build-then-test practices are making today’s embedded, software-reliant systems unaffordable to build. In response, more than thirty leading industrial organizations have joined SAE (formerly, the Society of Automotive Engineers) to define the SAE Architecture Analysis & Design Language (AADL) AS-5506 Standard, a rigorous and extensible foundation for model-based engineering analysis practices that encompass software system design, integration, and assurance. Using AADL, you can conduct lightweight and rigorous analyses of critical real-time factors such as performance, dependability, security, and data integrity. You can integrate additional established and custom analysis/specification techniques into your engineering environment, developing a fully unified architecture model that makes it easier to build reliable systems that meet customer expectations. Model-Based Engineering with AADL is the first guide to using this new international standard to optimize your development processes. Coauthored by Peter H. Feiler, the standard’s author and technical lead, this introductory reference and tutorial is ideal for self-directed learning or classroom instruction, and is an excellent reference for practitioners, including architects, developers, integrators, validators, certifiers, first-level technical leaders, and project managers. Packed with real-world examples, it introduces all aspects of the AADL notation as part of an architecture-centric, model-based engineering approach to discovering embedded software systems problems earlier, when they cost less to solve. Throughout, the authors compare AADL to other modeling notations and approaches, while presenting the language via a complete case study: the development and analysis of a realistic example system through repeated refinement and analysis. Part One introduces both the AADL language and core Model-Based Engineering (MBE) practices, explaining basic software systems modeling and analysis in the context of an example system, and offering practical guidelines for effectively applying AADL. Part Two describes the characteristics of each AADL element, including their representations, applicability, and constraints. The Appendix includes comprehensive listings of AADL language elements, properties incorporated in the AADL standard, and a description of the book’s example system.

Composing Model-Based Analysis Tools
Composing Model-Based Analysis Tools

Author: Robert Heinrich

Publisher: Springer Nature

Published: 2021-12-02

Total Pages: 311

ISBN-13: 3030819159

DOWNLOAD EBOOK

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl Seminar 19481 „Composing Model-Based Analysis Tools“, which was held November 24 to 29, 2019, at Schloss Dagstuhl, Germany, where current challenges, their background and concepts to address them were discussed. The book is structured in two parts, and organized around five fundamental core aspects of the subject: (1) the composition of languages, models and analyses; (2) the integration and orchestration of analysis tools; (3) the continual analysis of models; (4) the exploitation of results; and (5) the way to handle uncertainty in model-based developments. After a chapter on foundations and common terminology and a chapter on challenges in the field, one chapter is devoted to each of the above five core aspects in the first part of the book. These core chapters are accompanied by additional case studies in the second part of the book, in which specific tools and experiences are presented in more detail to illustrate the concepts and ideas previously introduced. The book mainly targets researchers in the fields of software engineering and formal methods as well as software engineers from industry with basic familiarity with quality properties, model-driven engineering and analysis tools. From reading the book, researchers will receive an overview of the state-of-the-art and current challenges, research directions, and recent concepts, while practitioners will be interested to learn about concrete tools and practical applications in the context of case studies.

Handbook of Research on Emerging Advancements and Technologies in Software Engineering
Handbook of Research on Emerging Advancements and Technologies in Software Engineering

Author: Ghani, Imran

Publisher: IGI Global

Published: 2014-04-30

Total Pages: 718

ISBN-13: 1466660279

DOWNLOAD EBOOK

Advanced approaches to software engineering and design are capable of solving complex computational problems and achieving standards of performance that were unheard of only decades ago. Handbook of Research on Emerging Advancements and Technologies in Software Engineering presents a comprehensive investigation of the most recent discoveries in software engineering research and practice, with studies in software design, development, implementation, testing, analysis, and evolution. Software designers, architects, and technologists, as well as students and educators, will find this book to be a vital and in-depth examination of the latest notable developments within the software engineering community.

Quantitative Models for Performance Evaluation and Benchmarking
Quantitative Models for Performance Evaluation and Benchmarking

Author: Joe Zhu

Publisher: Springer

Published: 2014-09-11

Total Pages: 419

ISBN-13: 3319066471

DOWNLOAD EBOOK

The author is one of the prominent researchers in the field of Data Envelopment Analysis (DEA), a powerful data analysis tool that can be used in performance evaluation and benchmarking. This book is based upon the author’s years of research and teaching experiences. It is difficult to evaluate an organization’s performance when multiple performance metrics are present. The difficulties are further enhanced when the relationships among the performance metrics are complex and involve unknown tradeoffs. This book introduces Data Envelopment Analysis (DEA) as a multiple-measure performance evaluation and benchmarking tool. The focus of performance evaluation and benchmarking is shifted from characterizing performance in terms of single measures to evaluating performance as a multidimensional systems perspective. Conventional and new DEA approaches are presented and discussed using Excel spreadsheets — one of the most effective ways to analyze and evaluate decision alternatives. The user can easily develop and customize new DEA models based upon these spreadsheets. DEA models and approaches are presented to deal with performance evaluation problems in a variety of contexts. For example, a context-dependent DEA measures the relative attractiveness of similar operations/processes/products. Sensitivity analysis techniques can be easily applied, and used to identify critical performance measures. Two-stage network efficiency models can be utilized to study performance of supply chain. DEA benchmarking models extend DEA’s ability in performance evaluation. Various cross efficiency approaches are presented to provide peer evaluation scores. This book also provides an easy-to-use DEA software — DEAFrontier. This DEAFrontier is an Add-In for Microsoft® Excel and provides a custom menu of DEA approaches. This version of DEAFrontier is for use with Excel 97-2013 under Windows and can solve up to 50 DMUs, subject to the capacity of Excel Solver. It is an extremely powerful tool that can assist decision-makers in benchmarking and analyzing complex operational performance issues in manufacturing organizations as well as evaluating processes in banking, retail, franchising, health care, public services and many other industries.