Formal Methods In Manufacturing

Author : Javier Campos,Carla Seatzu,Xiaolan Xie
Publisher : CRC Press
Page : 728 pages
File Size : 49,8 Mb
Release : 2018-09-03
Category : Technology & Engineering
ISBN : 9781466561564

Get Book

Formal Methods in Manufacturing by Javier Campos,Carla Seatzu,Xiaolan Xie Pdf

Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration. Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.

Author : Li, Zhiwu
Publisher : IGI Global
Page : 531 pages
File Size : 54,5 Mb
Release : 2013-05-31
Category : Technology & Engineering
ISBN : 9781466640351

Get Book

Formal Methods in Manufacturing Systems: Recent Advances by Li, Zhiwu Pdf

Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond to various market changes, necessitating processes that focus on small batches of multiple products rather than large, single-product lines. Formal Methods in Manufacturing Systems: Recent Advances explores this shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones. This book will be of particular use to industrial engineers and students of the field who require a detailed understanding of current trends and developments in manufacturing tools. This book is part of the Advances in Civil and Industrial Engineering series collection.

Author : Hossam A. Gabbar
Publisher : Springer Science & Business Media
Page : 197 pages
File Size : 51,5 Mb
Release : 2006-06-28
Category : Science
ISBN : 9781402042232

Get Book

Modern Formal Methods and Applications by Hossam A. Gabbar Pdf

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool. Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods. This book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different domains.

Author : Jean-Louis Boulanger
Publisher : John Wiley & Sons
Page : 496 pages
File Size : 48,8 Mb
Release : 2014-07-22
Category : Computers
ISBN : 9781119002680

Get Book

Formal Methods Applied to Complex Systems by Jean-Louis Boulanger Pdf

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).

Author : Paolo Masci,Cinzia Bernardeschi,Pierluigi Graziani,Mario Koddenbrock,Maurizio Palmieri
Publisher : Springer Nature
Page : 424 pages
File Size : 49,6 Mb
Release : 2023-02-10
Category : Computers
ISBN : 9783031262364

Get Book

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops by Paolo Masci,Cinzia Bernardeschi,Pierluigi Graziani,Mario Koddenbrock,Maurizio Palmieri Pdf

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.

Author : Tiziana Margaria,Bernhard Steffen
Publisher : Springer
Page : 866 pages
File Size : 47,7 Mb
Release : 2016-10-04
Category : Computers
ISBN : 9783319471693

Get Book

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications by Tiziana Margaria,Bernhard Steffen Pdf

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.

Author : Plácido Lizancos Mora,David Leite Viana,Franklim Morais,Jorge Vieira Vaz
Publisher : Springer Nature
Page : 522 pages
File Size : 55,5 Mb
Release : 2023-09-02
Category : Technology & Engineering
ISBN : 9789819922178

Get Book

Formal Methods in Architecture by Plácido Lizancos Mora,David Leite Viana,Franklim Morais,Jorge Vieira Vaz Pdf

This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. Some of the themes in the book are CAD and BIM, mixed realities, photogrammetry and 3D scan, architectural design automation, urban and building performance analysis, SCAVA-space configuration, accessibility and visibility analysis. This book proves a valuable resource for those in academia and industry.

Author : Falk Howar,Jiří Barnat
Publisher : Springer
Page : 291 pages
File Size : 40,6 Mb
Release : 2018-08-29
Category : Computers
ISBN : 9783030002442

Get Book

Formal Methods for Industrial Critical Systems by Falk Howar,Jiří Barnat Pdf

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in honor of Susanne Graf (Director of Research at VERIMAG Grenoble, France) on the occasion of her 60th birthday. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Author : Hoda A. ElMaraghy
Publisher : Springer Science & Business Media
Page : 665 pages
File Size : 44,5 Mb
Release : 2011-09-29
Category : Technology & Engineering
ISBN : 9783642238604

Get Book

Enabling Manufacturing Competitiveness and Economic Sustainability by Hoda A. ElMaraghy Pdf

The changing manufacturing environment requires more responsive and adaptable manufacturing systems. The theme of the 4th International Conference on Changeable, Agile, Reconfigurable and Virtual production (CARV2011) is “Enabling Manufacturing Competitiveness and Economic Sustainability”. Leading edge research and best implementation practices and experiences, which address these important issues and challenges, are presented. The proceedings include advances in manufacturing systems design, planning, evaluation, control and evolving paradigms such as mass customization, personalization, changeability, re-configurability and flexibility. New and important concepts such as the dynamic product families and platforms, co-evolution of products and systems, and methods for enhancing manufacturing systems’ economic sustainability and prolonging their life to produce more than one product generation are treated. Enablers of change in manufacturing systems, production volume and capability scalability and managing the volatility of markets, competition among global enterprises and the increasing complexity of products, manufacturing systems and management strategies are discussed. Industry challenges and future directions for research and development needed to help both practitioners and academicians are presented.

Author : Maurice H. ter Beek,Alessandro Fantechi,Laura Semini
Publisher : Springer Nature
Page : 574 pages
File Size : 54,6 Mb
Release : 2019-10-08
Category : Computers
ISBN : 9783030309855

Get Book

From Software Engineering to Formal Methods and Tools, and Back by Maurice H. ter Beek,Alessandro Fantechi,Laura Semini Pdf

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.

Author : David Leite Viana,Franklim Morais,Jorge Vieira Vaz
Publisher : Cambridge Scholars Publishing
Page : 405 pages
File Size : 50,5 Mb
Release : 2018-07-27
Category : Architecture
ISBN : 9781527514577

Get Book

Formal Methods in Architecture and Urbanism by David Leite Viana,Franklim Morais,Jorge Vieira Vaz Pdf

The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring advantages to human actions and involve the use of theoretically driven techniques, expressed in languages stemmed from mathematics. Formalization seeks to guarantee that solutions for daily problems are produced in a manner that ensures their greatest possible adequacy and the least test time in direct confrontation with reality. This book contributes to the progress of formalization in architectural methodologies by finding points of convergence between state of the art research on ontologies in architecture, BIM/VDC, CAD/CAM, cellular automata, GIS, parametric processes, processing and space syntax presented within the 3rd Symposium of Formal Methods in Architecture. The contents reach from millennial geometry to current shape grammars, engaging several formal approaches to architecture and urbanism, with different points of view, fields of application, grades of abstraction and formalization.

Author : Tiziana Margaria,Bernhard Steffen
Publisher : Springer Nature
Page : 431 pages
File Size : 44,8 Mb
Release : 2022-10-19
Category : Computers
ISBN : 9783031197628

Get Book

Leveraging Applications of Formal Methods, Verification and Validation. Practice by Tiziana Margaria,Bernhard Steffen Pdf

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.

Author : Jiacun Wang
Publisher : CRC Press
Page : 241 pages
File Size : 54,7 Mb
Release : 2019-06-21
Category : Computers
ISBN : 9781498775359

Get Book

Formal Methods in Computer Science by Jiacun Wang Pdf

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi

Author : Michael F. Zaeh
Publisher : Springer Science & Business Media
Page : 480 pages
File Size : 49,9 Mb
Release : 2013-09-12
Category : Technology & Engineering
ISBN : 9783319020549

Get Book

Enabling Manufacturing Competitiveness and Economic Sustainability by Michael F. Zaeh Pdf

The changing manufacturing environment requires more responsive and adaptable manufacturing systems. The theme of the 5th International Conference on Changeable, Agile, Reconfigurable and Virtual production (CARV2013) is "Enabling Manufacturing Competitiveness and Economic Sustainability. Leading edge research and best implementation practices and experiences, which address these important issues and challenges, are presented. The proceedings include advances in manufacturing systems design, planning, evaluation, control and evolving paradigms such as mass customization, personalization, changeability, re-configurability and flexibility. New and important concepts such as the dynamic product families and platforms, co-evolution of products and systems, and methods for enhancing manufacturing systems' economic sustainability and prolonging their life to produce more than one product generation are treated. Enablers of change in manufacturing systems, production volume and capability, scalability and managing the volatility of markets, competition among global enterprises and the increasing complexity of products, manufacturing systems and management strategies are discussed. Industry challenges and future directions for research and development needed to help both practitioners and academicians are presented. About the Editor Prof. Dr.-Ing. Michael F. Zaeh, born in 1963, has been and is Professor for and Manufacturing Technology since 2002 and, together with Prof. Dr.-Ing. Gunther Reinhart, Head of the Institute for Machine Tools and Industrial Management (iwb) at the Technische Universitaet Muenchen (TUM). After studying general mechanical engineering, he was doctoral candidate under Prof. Dr.-Ing. Joachim Milberg at TUM from 1990 until 1993 and received his doctorate in 1993. From 1994 to 1995, he was department leader under Prof. Dr.-Ing. Gunther Reinhart. From 1996 to 2002, he worked for a machine tool manufacturer in several positions, most recently as a member of the extended management. Prof. Dr.-Ing. Michael F. Zaeh is an associated member of the CIRP and member of acatech, WGP and WLP. His current researches include among others Joining and Cutting Technologies like Laser Cutting and Welding as well as Friction Stir Welding, Structural Behaviour and Energy Efficiency of Machine Tools and Manufacturing Processes like Additive Manufacturing.

Author : Jean Claude Gentina,Alessandro Giua,Manuel Silva
Publisher : Unknown
Page : 162 pages
File Size : 48,6 Mb
Release : 1999
Category : Electronic
ISBN : 8477335141

Get Book

Formal Methods and Manufacturing (FM&M'99) by Jean Claude Gentina,Alessandro Giua,Manuel Silva Pdf