Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Author: Tiziana Margaria

Publisher: Springer

Published: 2016-10-04

Total Pages: 874

ISBN-13: 3319471694

DOWNLOAD EBOOK

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation

Author: Tiziana Margaria

Publisher: Springer Nature

Published: 2021-10-11

Total Pages: 505

ISBN-13: 3030891593

DOWNLOAD EBOOK

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.

Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of Formal Methods, Verification and Validation. Practice

Author: Tiziana Margaria

Publisher: Springer Nature

Published: 2022-10-19

Total Pages: 431

ISBN-13: 3031197623

DOWNLOAD EBOOK

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Author: Tiziana Margaria

Publisher: Springer

Published: 2018-10-29

Total Pages: 537

ISBN-13: 3030034275

DOWNLOAD EBOOK

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Smart Infrastructure and Applications
Smart Infrastructure and Applications

Author: Rashid Mehmood

Publisher: Springer

Published: 2019-06-20

Total Pages: 667

ISBN-13: 3030137058

DOWNLOAD EBOOK

This book provides a multidisciplinary view of smart infrastructure through a range of diverse introductory and advanced topics. The book features an array of subjects that include: smart cities and infrastructure, e-healthcare, emergency and disaster management, Internet of Vehicles, supply chain management, eGovernance, and high performance computing. The book is divided into five parts: Smart Transportation, Smart Healthcare, Miscellaneous Applications, Big Data and High Performance Computing, and Internet of Things (IoT). Contributions are from academics, researchers, and industry professionals around the world. Features a broad mix of topics related to smart infrastructure and smart applications, particularly high performance computing, big data, and artificial intelligence; Includes a strong emphasis on methodological aspects of infrastructure, technology and application development; Presents a substantial overview of research and development on key economic sectors including healthcare and transportation.

Software Technology
Software Technology

Author: Mike Hinchey

Publisher: John Wiley & Sons

Published: 2018-07-09

Total Pages: 374

ISBN-13: 1119174228

DOWNLOAD EBOOK

A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field. Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book: Introduces the software landscape and challenges associated with emerging technologies Covers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and security Contains rewritten and updated articles by leaders in the software industry Covers both theoretical and practical topics Informative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.

Automated Deduction - CADE 28
Automated Deduction - CADE 28

Author: André Platzer

Publisher: Springer Nature

Published: 2021

Total Pages: 655

ISBN-13: 3030798763

DOWNLOAD EBOOK

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning

Author: Ernst-Rüdiger Olderog

Publisher: Springer Nature

Published: 2021-12-02

Total Pages: 228

ISBN-13: 3030913848

DOWNLOAD EBOOK

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.

Transportation Cyber-Physical Systems
Transportation Cyber-Physical Systems

Author: Lipika Deka

Publisher: Elsevier

Published: 2018-07-30

Total Pages: 350

ISBN-13: 0128142960

DOWNLOAD EBOOK

Transportation Cyber-Physical Systems provides current and future researchers, developers and practitioners with the latest thinking on the emerging interdisciplinary field of Transportation Cyber Physical Systems (TCPS). The book focuses on enhancing efficiency, reducing environmental stress, and meeting societal demands across the continually growing air, water and land transportation needs of both people and goods. Users will find a valuable resource that helps accelerate the research and development of transportation and mobility CPS-driven innovation for the security, reliability and stability of society at-large. The book integrates ideas from Transport and CPS experts and visionaries, consolidating the latest thinking on the topic. As cars, traffic lights and the built environment are becoming connected and augmented with embedded intelligence, it is important to understand how smart ecosystems that encompass hardware, software, and physical components can help sense the changing state of the real world. - Bridges the gap between the transportation, CPS and civil engineering communities - Includes numerous examples of practical applications that show how diverse technologies and topics are integrated in practice - Examines timely, state-of-the-art topics, such as big data analytics, privacy, cybersecurity and smart cities - Shows how TCPS can be developed and deployed, along with its associated challenges - Includes pedagogical aids, such as Illustrations of application scenarios, architecture details, tables describing available methods and tools, chapter objectives, and a glossary - Contains international contributions from academia, government and industry

Automated Low-Altitude Air Delivery
Automated Low-Altitude Air Delivery

Author: Johann C. Dauer

Publisher: Springer Nature

Published: 2021-11-02

Total Pages: 556

ISBN-13: 3030831442

DOWNLOAD EBOOK

This book investigates Unmanned Aircraft Systems (UAS) with a payload capacity of one metric ton for transportation. The authors provide a large variety of perspectives–from economics to technical realization. With the focus on such heavy-lift cargo UAS, the authors consider recently established methods for approval and certification, which they expect to be disruptive for unmanned aviation. In particular, the Specific Operations Risk Assessment (SORA) and its impact on the presented technological solutions and operational concepts are studied. Starting with the assumption of an operation over sparsely populated areas and below common air traffic, diverse measures to further reduce operational risks are proposed. Operational concepts derived from logistics use-cases set the context for an in-depth analysis including aircraft and system design, safe autonomy as well as airspace integration and datalinks. Results from simulations and technology demonstrations are presented as a proof of concept for solutions proposed in this book.