Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Author: Paolo Masci

Publisher: Springer Nature

Published: 2023-02-10

Total Pages: 424

ISBN-13: 3031262360

DOWNLOAD EBOOK

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.


Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

Author: Alessandro Aldini

Publisher: Springer

Published: 2024-08-26

Total Pages: 0

ISBN-13: 9783031660207

DOWNLOAD EBOOK

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023 The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)


Rigorous State-Based Methods

Rigorous State-Based Methods

Author: Uwe Glässer

Publisher: Springer Nature

Published: 2023-05-14

Total Pages: 386

ISBN-13: 303133163X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.


Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Author: Birgit Milius

Publisher: Springer Nature

Published: 2023-09-26

Total Pages: 237

ISBN-13: 3031433661

DOWNLOAD EBOOK

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023. The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.


The Engineering of Digital Twins

The Engineering of Digital Twins

Author: John Fitzgerald

Publisher: Springer Nature

Published: 2024

Total Pages: 403

ISBN-13: 3031667190

DOWNLOAD EBOOK

This book is about the engineering of Digital Twins (DTs) of cyber-physical systems (CPSs). It goes behind the glossy image of DTs to help researchers and advanced professionals to ask and answer the fundamental questions underpinning the development of a DT. What are the foundational concepts of the DT? How do different engineering disciplines interact in creating a DT? How should the physical and digital worlds be connected, and how do the imperfections and faults inherent in both worlds affect the DT's qualities? How can we use a DT to support decisions, and how do we maintain it through life? To this end, the book is structured in five parts: "Foundations" introduces the DT concept, the potential benefits of DTs seen from a business perspective, and foundations for DT engineering. "Models and Data" presents the range of models and data that form the core assets of DTs for CPSs. It covers ways in which models can be produced and calibrated, and considers how data is derived from a CPS and communicated to its DT. Next, "Services for Digital Twins" details some of the main services that a DT provides by building on the assets of models and data, including visualisation, fault detection and diagnosis and support for decision-making. "Realising Digital Twins" then covers the realisation of DTs, including a platform allowing engineers to construct DTs from reusable components. Case studies in food production, robotics and marine engineering are presented using a systematic framework that aligns with the DT engineering concepts introduced in the earlier parts of the book. Eventually, "Advanced Topics in Digital Twins" introduces advanced topics in delivering dependable DT-enabled systems, focusing on security and privacy, the capacity for autonomy, and a range of open research topics. This book aims at researchers in DT technology and design, including advanced (master and doctoral) students, as well as engineering practitioners aiming to develop DTs. The most common techniques described in the main text will be accessible via open-source projects, including further DT examples, exercises and solutions, as well as pointers to emerging standards, frameworks and platforms. Classroom materials, exercises and solutions are available to lecturers through a dedicated Web site.


Systematic Transformation Method from UML to Event-B

Systematic Transformation Method from UML to Event-B

Author: Zou Sheng-Rong, Geng Xue, Yao Ju-Yi, Liu Xiao-Ying, Zhi Yu-Hua

Publisher: Scientific Research Publishing, Inc. USA

Published: 2024-06-05

Total Pages: 101

ISBN-13: 1649979134

DOWNLOAD EBOOK

Since the emergence of software engineering in the late 1960s, require-ments analysis has always been an important theme of software development. In the process of software development, many people are needed to coop-erate to ensure the stability and reliability of the software. According to the degree of formalization in the software development process, software en-gineering methods can be divided into three types: non-formal, semi-formal and formal. In object- oriented software development, UML has become a de facto modeling standard. However, although UML is intuitive and easy to understand and apply, it has inaccurate semantics, and UML is a semi-formal modeling language that cannot be formally verified. Event-B is a formal method based on a large number of mathematical predicate logic, which is accurate but difficult to understand and apply. Therefore, how to combine the advantages of UML diagrams and Event- B methods is the focus of re-search.


The Unified Modeling Language Reference Manual

The Unified Modeling Language Reference Manual

Author: James Rumbaugh

Publisher: Addison-Wesley Professional

Published: 2010

Total Pages: 721

ISBN-13: 9780321718952

DOWNLOAD EBOOK

"If you are a serious user of UML, there is no other book quite like this one. I have been involved with the UML specification process for some time, but I still found myself learning things while reading through this book-especially on the changes and new capabilities that have come with UML." -Ed Seidewitz, Chief Architect, IntelliData Technologies Corporation The latest version of the Unified Modeling Language-UML 2.0-has increased its capabilities as the standard notation for modeling software-intensive systems. Like most standards documents, however, the official UML specification is difficult to read and navigate. In addition, UML 2.0 is far more complex than previous versions, making a thorough reference book more essential than ever. In this significantly updated and expanded edition of the definitive reference to the standard, James Rumbaugh, Ivar Jacobson, and Grady Booch-the UML's creators-clearly and completely describe UML concepts, including major revisions to sequence diagrams, activity models, state machines, components, internal structure of classes and components, and profiles. Whether you are capturing requirements, developing software architectures, designing implementations, or trying to understand existing systems, this is the book for you. Highlights include: Alphabetical dictionary of articles covering every UML concept Integrated summary of UML concepts by diagram type Two-color diagrams with extensive annotations in blue Thorough coverage of both semantics and notation, separated in each article for easy reference Further explanations of concepts whose meaning or purpose is obscure in the original specifications Discussion sections offering usage advice and additional insight into tricky concepts Notation summary, with references to individual articles An enhanced online index available on the book's web site allowing readers to quickly and easily search the entire text for specific topics The result is an indispensable resource for anyone who needs to understand the inner workings of the industry standard modeling language.