Quantitative Assessments of Distributed Systems
Quantitative Assessments of Distributed Systems

Author: Dario Bruneo

Publisher: John Wiley & Sons

Published: 2015-04-08

Total Pages: 313

ISBN-13: 1119131138

DOWNLOAD EBOOK

Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques The aim of the book is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems. The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples.

Proceedings of the 19th International Symposium on Advancement of Construction Management and Real Estate
Proceedings of the 19th International Symposium on Advancement of Construction Management and Real Estate

Author: Liyin Shen

Publisher: Springer

Published: 2015-04-27

Total Pages: 1221

ISBN-13: 3662469944

DOWNLOAD EBOOK

These conference proceedings cover an outstanding view for academics and professionals to share research findings on the latest developments in real estate and construction management. The Chinese Research Institute of Construction Management (CRIOCM) in collaboration with Chongqing University organized CRIOCM2014, the 19th International Symposium on “Advancement of Construction Management and Real Estate.” The proceedings collect 105 selected papers addressing the following key themes: Sustainable Urbanization, Sustainable Construction, Urban Construction and Management, Affordable Housing, Urban Land Development and Utilization, Management for Large Infrastructure Projects, Green Construction Materials and Construction Waste Management, Development and Management for Mountainous Towns, Advancement of Construction Project Management, Redevelopment in Disaster Areas, Law and Policies for Construction and Real Estate, Information Technology for Construction Management and Real Estate and lastly Other Topics.

Testing Software and Systems
Testing Software and Systems

Author: Khaled El-Fakih

Publisher: Springer

Published: 2015-11-07

Total Pages: 271

ISBN-13: 3319259458

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.

Handbook Of Software Aging And Rejuvenation: Fundamentals, Methods, Applications, And Future Directions
Handbook Of Software Aging And Rejuvenation: Fundamentals, Methods, Applications, And Future Directions

Author: Tadashi Dohi

Publisher: World Scientific

Published: 2020-04-22

Total Pages: 424

ISBN-13: 9811214581

DOWNLOAD EBOOK

The Handbook of Software Aging and Rejuvenation provides a comprehensive overview of the subject, making it indispensable to graduate students as well as professionals in the field. It begins by introducing fundamental concepts, definitions, and the history of software aging and rejuvenation research, followed by methods, tools, and strategies that can be used to detect, analyze, and overcome software aging.

Runtime Verification
Runtime Verification

Author: Yliès Falcone

Publisher: Springer

Published: 2016-09-19

Total Pages: 519

ISBN-13: 3319469827

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Lectures on Runtime Verification
Lectures on Runtime Verification

Author: Ezio Bartocci

Publisher: Springer

Published: 2018-02-10

Total Pages: 240

ISBN-13: 331975632X

DOWNLOAD EBOOK

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.

Software Development Measurement Programs
Software Development Measurement Programs

Author: Miroslaw Staron

Publisher: Springer

Published: 2018-07-13

Total Pages: 271

ISBN-13: 3319918362

DOWNLOAD EBOOK

This book seeks to promote the structured, standardized and accurate use of software measurement at all levels of modern software development companies. To do so, it focuses on seven main aspects: sound scientific foundations, cost-efficiency, standardization, value-maximization, flexibility, combining organizational and technical aspects, and seamless technology integration. Further, it supports companies in their journey from manual reporting to automated decision support by combining academic research and industrial practice. When scientists and engineers measure something, they tend to focus on two different things. Scientists focus on the ability of the measurement to quantify whatever is being measured; engineers, however, focus on finding the right qualities of measurement given the designed system (e.g. correctness), the system’s quality of use (e.g. ease of use), and the efficiency of the measurement process. In this book, the authors argue that both focuses are necessary, and that the two are complementary. Thus, the book is organized as a gradual progression from theories of measurement (yes, you need theories to be successful!) to practical, organizational aspects of maintaining measurement systems (yes, you need the practical side to understand how to be successful). The authors of this book come from academia and industry, where they worked together for the past twelve years. They have worked with both small and large software development organizations, as researchers and as measurement engineers, measurement program leaders and even teachers. They wrote this book to help readers define, implement, deploy and maintain company-wide measurement programs, which consist of a set of measures, indicators and roles that are built around the concept of measurement systems. Based on their experiences introducing over 40,000 measurement systems at over a dozen companies, they share essential tips and tricks on how to do it right and how to avoid common pitfalls.

Algorithms and Architectures for Parallel Processing
Algorithms and Architectures for Parallel Processing

Author: Jaideep Vaidya

Publisher: Springer

Published: 2018-12-07

Total Pages: 675

ISBN-13: 3030050637

DOWNLOAD EBOOK

The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018. The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel Computing; High Performance Computing; Big Data and Information Processing; Internet of Things and Cloud Computing; and Security and Privacy in Computing.

Automotive Software Architectures
Automotive Software Architectures

Author: Miroslaw Staron

Publisher: Springer

Published: 2017-06-26

Total Pages: 248

ISBN-13: 3319586106

DOWNLOAD EBOOK

This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution, Chapter 2 describes the main architectural styles of automotive software and their use in cars’ software. In Chapter 3, readers will find a description of the software development processes used to develop software on the car manufacturers’ side. Chapter 4 then introduces AUTOSAR – an important standard in automotive software. Chapter 5 goes beyond simple architecture and describes the detailed design process for automotive software using Simulink, helping readers to understand how detailed design links to high-level design. Next, Chapter 6 presents a method for assessing the quality of the architecture – ATAM (Architecture Trade-off Analysis Method) – and provides a sample assessment, while Chapter 7 presents an alternative way of assessing the architecture, namely by using quantitative measures and indicators. Subsequently Chapter 8 dives deeper into one of the specific properties discussed in Chapter 6 – safety – and details an important standard in that area, the ISO/IEC 26262 norm. Lastly, Chapter 9 presents a set of future trends that are currently emerging and have the potential to shape automotive software engineering in the coming years. This book explores the concept of software architecture for modern cars and is intended for both beginning and advanced software designers. It mainly aims at two different groups of audience – professionals working with automotive software who need to understand concepts related to automotive architectures, and students of software engineering or related fields who need to understand the specifics of automotive software to be able to construct cars or their components. Accordingly, the book also contains a wealth of real-world examples illustrating the concepts discussed and requires no prior background in the automotive domain.

Runtime Verification
Runtime Verification

Author: Bernd Finkbeiner

Publisher: Springer Nature

Published: 2019-10-03

Total Pages: 424

ISBN-13: 3030320790

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.