- Table View
- List View
Modalanalyse (Fachwissen Technische Akustik)
by Michael MöserIn diesem Band der Reihe Fachwissen Technische Akustik wird das Verfahren der experimentellen Modalanalyse vorgestellt. Mit diesem Verfahren können die von der Ausbreitung von Luft- und Körperschall bestimmten dynamischen Eigenschaften von Systemen untersucht werden. Beispiele für solche Systeme sind Strukturen im Maschinen- und Fahrzeugbau oder auch kleinere Innenräume, deren akustischen Verhalten von Interesse ist. In einer Einführung wird zunächst auf den Zusammenhang des physikalischen Modells und des systemtheoretischen Modells eingegangen sowie der Nutzen des modalen Modells für die Beschreibung der Systemeigenschaften erläutert. Danach wird die dem modalen Modell zugrunde liegende Theorie sowie der Zusammenhang der modalen Parameter mit den im Systemmodell verwendeten Frequenzgängen dargestellt. Verschiedene Verfahren der experimentellen Modalanalyse werden diskutiert, darunter sowohl solche zur getrennten Bestimmung einzelner modaler Parameter als auch solche, bei denen eine Vielzahl modaler Parameter gleichzeitig aus den gemessenen Frequenzgängen ermittelt wird. Zusätzlich wird auf das praktische Vorgehen bei der Gewinnung der dazu notwendigen Messdaten und die Möglichkeiten zur Überprüfung der Ergebnisse eingegangen. Zur Demonstration der verschiedenen Möglichkeiten und Verfahren wird ein einfaches praktisches Beispiel ausführlich behandelt. Das umfasst die Vorgehensweise bei der Messung ebenso wie die Anwendung unterschiedlich aufwändiger Verfahren zur Extraktion der modalen Parameter. Dazu werden zahlreiche Ergebnisse gezeigt, so dass Möglichkeiten und Grenzen der experimentellen Modalanalyse deutlich werden.
Model Based Approach for Energy and Resource Efficient Machining Systems (Sustainable Production, Life Cycle Engineering and Management)
by Nadine MadanchiThis book provides a concept to analyze and increase the energy and resource efficiency of machining systems. Machining systems are widely used to produce workpieces in large quantities and with complex geometrical shapes. These systems, however, are also relevant in terms of energy and resource consumption, which is strongly connected to the choice of cutting fluid strategy. Within the focus of the concept, cutting fluid connects the elements of the machining system and results in interactions between them. Based on this description and an extensive literature review, a modeling approach is developed that comprises the relations between process parameters, cutting fluid strategies, and relevant machining system elements. The performance of the machining system is assessed with regard to environmental, economic as well as technological indicators and improved by various organizational and technical measures. The exemplary application of the developed concept is carried out in the context of two case studies and also indicates the corresponding effects of improvement measures.
Model-Based Approaches to the Internet of Things
by Pascal HirmerThis book gives an overview of existing models that cover the whole lifecycle of an IoT application, ranging from its design, implementation, deployment, operation, and monitoring to its final termination and retirement. Models provide abstraction and can help IoT application developers into creating more robust, secure, and reliable applications. Furthermore, adaptation of applications can be eased by using these models, leading to an increased dynamic of the developed IoT applications.In the book, research of the last years in the area of model based approaches to the Internet of Things is described and these approaches are incorporated into the lifecycle of IoT applications.Finally, use cases from different domains are introduced that show how these models could be applied in real-world applications.
Model-Based Control of Flying Robots for Robust Interaction Under Wind Influence (Springer Tracts in Advanced Robotics #151)
by Teodor TomićThis book addresses the topic of autonomous flying robots physically interacting with the environment under the influence of wind. It aims to make aerial robots aware of the disturbance, interaction, and faults acting on them. This requires reasoning about the external wrench (force and torque) acting on the robot and distinguishing between wind, interactions, and collisions. The book takes a model-based approach and covers a systematic approach to parameter identification for flying robots. The book aims to provide a wind speed estimate independent of the external wrench, including estimating the wind speed using motor power measurements. Aerodynamics modeling is approached in a data-driven fashion, using ground-truth measurements from a 4D wind tunnel. Finally, the book bridges the gap between trajectory tracking and interaction control, to allow physical interaction under wind influence. Theoretical results are accompanied by extensive simulation and experimental results.
Model-Based Design for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Gabriela Nicolescu Pieter J. MostermanThe demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components—all on a single chip. As a result, now the most prominent challenge for the design automation community is to efficiently plan for such heterogeneity and to fully exploit its capabilities.A compilation of work from internationally renowned authors, Model-Based Design for Embedded Systems elaborates on related practices and addresses the main facets of heterogeneous model-based design for embedded systems, including the current state of the art, important challenges, and the latest trends. Focusing on computational models as the core design artifact, this book presents the cutting-edge results that have helped establish model-based design and continue to expand its parameters.The book is organized into three sections: Real-Time and Performance Analysis in Heterogeneous Embedded Systems, Design Tools and Methodology for Multiprocessor System-on-Chip, and Design Tools and Methodology for Multidomain Embedded Systems. The respective contributors share their considerable expertise on the automation of design refinement and how to relate properties throughout this refinement while enabling analytic and synthetic qualities. They focus on multi-core methodological issues, real-time analysis, and modeling and validation, taking into account how optical, electronic, and mechanical components often interface. Model-based design is emerging as a solution to bridge the gap between the availability of computational capabilities and our inability to make full use of them yet. This approach enables teams to start the design process using a high-level model that is gradually refined through abstraction levels to ultimately yield a prototype. When executed well, model-based design encourages enhanced performance and quicker time to market for a product. Illustrating a broad and diverse spectrum of applications such as in the automotive aerospace, health care, consumer electronics, this volume provides designers with practical, readily adaptable modeling solutions for their own practice.
Model-Based Design of Adaptive Embedded Systems
by Twan Basten Frans Reckers Jacques Verriet Roelof HambergThis book describes model-based development of adaptive embedded systems, which enable improved functionality using the same resources. The techniques presented facilitate design from a higher level of abstraction, focusing on the problem domain rather than on the solution domain, thereby increasing development efficiency. Models are used to capture system specifications and to implement (manually or automatically) system functionality. The authors demonstrate the real impact of adaptivity on engineering of embedded systems by providing several industrial examples of the models used in the development of adaptive embedded systems.
Model-Based Enterprise: Achieving Lasting Value with MBD and MBE
by Bryan R. FischerModel-Based Enterprise describes Model-Based Enterprise (MBE) and Model-Based Definition (MBD) in detail, focusing on how to obtain significant business value from MBE.This book presents MBE from technical and business perspectives, focusing on process improvement, productivity, quality, and obtaining greater value from our information and how we work. The evolution of MBD and MBE, from computer-aided design (CAD) topics to current approaches and to their future roles, is discussed. Following the progression from manual drawings to 2D CAD, 3D CAD, and to digital data and digital information models, MBE is presented as the method to achieve productivity and profitability by understanding the cost of how we work and refining our approaches to creating and using information. Many MBD and MBE implementations have changed how we work but yield little real business value – processes changed, engineering drawings were replaced with 3D models, but the organization achieved minor benefits from their efforts. This book provides methods to become an MBE and achieve the full value possible from digital transformation.Model-Based Enterprise is essential reading for anyone who creates or uses product-related information in original equipment manufacturers (OEMs) and suppliers, in the private sector, and in government procurement and development activities. This book is also essential for students in all engineering disciplines, manufacturing, quality, information management, product lifecycle management (PLM), and related business disciplines.
Model-Based Fault Diagnosis Techniques
by Steven X. DingGuaranteeing a high system performance over a wide operating range is an important issue surrounding the design of automatic control systems with successively increasing complexity. As a key technology in the search for a solution, advanced fault detection and identification (FDI) is receiving considerable attention. This book introduces basic model-based FDI schemes, advanced analysis and design algorithms, and mathematical and control-theoretic tools. This second edition of Model-Based Fault Diagnosis Techniques contains: * new material on fault isolation and identification and alarm management; * extended and revised treatment of systematic threshold determination for systems with both deterministic unknown inputs and stochastic noises; * addition of the continuously-stirred tank heater as a representative process-industrial benchmark; and * enhanced discussion of residual evaluation which now deals with stochastic processes. Model-based Fault Diagnosis Techniques will interest academic researchers working in fault identification and diagnosis and as a text it is suitable for graduate students in a formal university-based course or as a self-study aid for practising engineers working with automatic control or mechatronic systems from backgrounds as diverse as chemical process and power engineering.
Model-based Geostatistics for Global Public Health: Methods and Applications (Chapman & Hall/CRC Interdisciplinary Statistics)
by Peter J. Diggle Emanuele GiorgiModel-based Geostatistics for Global Public Health: Methods and Applications provides an introductory account of model-based geostatistics, its implementation in open-source software and its application in public health research. In the public health problems that are the focus of this book, the authors describe and explain the pattern of spatial variation in a health outcome or exposure measurement of interest. Model-based geostatistics uses explicit probability models and established principles of statistical inference to address questions of this kind. <P><P>Features: <li>Presents state-of-the-art methods in model-based geostatistics. <li>Discusses the application these methods some of the most challenging global public health problems including disease mapping, exposure mapping and environmental epidemiology. <li>Describes exploratory methods for analysing geostatistical data, including: diagnostic checking of residuals standard linear and generalized linear models; variogram analysis; Gaussian process models and geostatistical design issues. <li>Includes a range of more complex geostatistical problems where research is ongoing. <li>All of the results in the book are reproducible using publicly available R code and data-sets, as well as a dedicated R package. <li>This book has been written to be accessible not only to statisticians but also to students and researchers in the public health sciences. <P><P>The Authors <P><P>Peter Diggle is Distinguished University Professor of Statistics in the Faculty of Health and Medicine, Lancaster University. He also holds honorary positions at the Johns Hopkins University School of Public Health, Columbia University International Research Institute for Climate and Society, and Yale University School of Public Health. His research involves the development of statistical methods for analyzing spatial and longitudinal data and their applications in the biomedical and health sciences. <P><P>Dr Emanuele Giorgi is a Lecturer in Biostatistics and member of the CHICAS research group at Lancaster University, where he formerly obtained a PhD in Statistics and Epidemiology in 2015. His research interests involve the development of novel geostatistical methods for disease mapping, with a special focus on malaria and other tropical diseases. In 2018, Dr Giorgi was awarded the Royal Statistical Society Research Prize "for outstanding published contribution at the interface of statistics and epidemiology." He is also the lead developer of PrevMap, an R package where all the methodology found in this book has been implemented.
Model-based Health Monitoring of Hybrid Systems
by Shai Arogeti Danwei Wang Chang Boon Low Ming YuThis book systematically presents a comprehensive framework and effective techniques for in-depth analysis, clear design procedure, and efficient implementation of diagnosis and prognosis algorithms for hybrid systems. It offers an overview of the fundamentals of diagnosis\prognosis and hybrid bond graph modeling. This book also describes hybrid bond graph-based quantitative fault detection, isolation and estimation. Moreover, it also presents strategies to track the system mode and predict the remaining useful life under multiple fault condition. A real world complex hybrid system--a vehicle steering control system--is studied using the developed fault diagnosis methods to show practical significance. Readers of this book will benefit from easy-to-understand fundamentals of bond graph models, concepts of health monitoring, fault diagnosis and failure prognosis, as well as hybrid systems. The reader will gain knowledge of fault detection and isolation in complex systems including those with hybrid nature, and will learn state-of-the-art developments in theory and technologies of fault diagnosis and failure prognosis for complex systems.
Model-based Nonlinear Control of Aeroengines
by Jiqiang Wang Weicun Zhang Zhongzhi HuThis book aims to develop systematic design methodologies to model-based nonlinear control of aeroengines, focusing on (1) modelling of aeroengine systems—both component-level and identification-based models will be extensively studied and compared; and (2) advanced nonlinear control designs—set-point control, transient control and limit-protection control approaches will all be investigated. The model-based design has been one of the pivotal technologies to advanced control and health management of propulsion systems. It can fulfil advanced designs such as fault-tolerant control, engine modes control and direct thrust control. As a consequence, model-based design has become an important research area in the field of aeroengines due to its theoretical interests and engineering significance. One of the central issues in model-based controls is the tackling of nonlinearities. There are publications concerning with either nonlinear modelling or nonlinear controls; yet, they are scattered throughout the literature. It is time to provide a comprehensive summary of model-based nonlinear controls. Consequently, a series of important results are obtained and a systematic design methodology is developed which provides consistently enhanced performance over a large flight/operational envelope, and it is thus expected to provide useful guidance to practical engineering in aeroengine industry and research.
Model-Based Optimization for Petroleum Refinery Configuration Design
by Cheng Seong KhorModel-Based Optimization for Petroleum Refinery Configuration Design An accessible, easy-to-read introduction to the methods of mixed-integer optimization, with practical applications, real-world operational data, and case studies Interest in model-based approaches for optimizing the design of petroleum refineries has increased throughout the industry in recent years. Mathematical optimization based on mixed-integer programming has brought about the superstructure optimization method for synthesizing petroleum refinery configurations from multiple topological alternatives. Model-Based Optimization for Petroleum Refinery Configuration Design presents a detailed introduction to the use of mathematical optimization to solve both linear and nonlinear problems in the refining industry. The book opens with an overview of petroleum refining processes, basic concepts in mathematical programming, and applications of mathematical programming for refinery optimization. Subsequent chapters address superstructure representations of topological alternatives, mathematical formulation, solution strategies, and various modeling frameworks. Practical case studies demonstrate refinery configuration design, refinery retrofitting, and real-world issues and considerations. Presents linear, nonlinear, and mixed-integer programming approaches applicable to both new and existing petroleum refineriesHighlights the benefits of model-based solutions to refinery configuration design problemsFeatures detailed case studies of the development and implementation of optimization modelsDiscusses economic considerations of heavy oil processing, including cash flow analysis of refinery costs and return on capitalIncludes numerical examples based on real-world operational data and various commercial technologies Model-Based Optimization for Petroleum Refinery Configuration Design is an invaluable resource for researchers, chemical engineers, process and energy engineers, other refining professionals, and advanced chemical engineering students.
Model-Based Predictive Control: A Practical Approach (Control Series)
by J. A. RossiterModel Predictive Control (MPC) has become a widely used methodology across all engineering disciplines, yet there are few books which study this approach. Until now, no book has addressed in detail all key issues in the field including apriori stability and robust stability results. Engineers and MPC researchers now have a volume that provides a complete overview of the theory and practice of MPC as it relates to process and control engineering.Model-Based Predictive Control, A Practical Approach, analyzes predictive control from its base mathematical foundation, but delivers the subject matter in a readable, intuitive style. The author writes in layman's terms, avoiding jargon and using a style that relies upon personal insight into practical applications.This detailed introduction to predictive control introduces basic MPC concepts and demonstrates how they are applied in the design and control of systems, experiments, and industrial processes. The text outlines how to model, provide robustness, handle constraints, ensure feasibility, and guarantee stability. It also details options in regard to algorithms, models, and complexity vs. performance issues.
Model-Based Processing: An Applied Subspace Identification Approach (Adaptive And Cognitive Dynamic Systems: Signal Processing, Learning, Communications And Control Ser. #36)
by James V. CandyA bridge between the application of subspace-based methods for parameter estimation in signal processing and subspace-based system identification in control systems Model-Based Processing: An Applied Subspace Identification Approach provides expert insight on developing models for designing model-based signal processors (MBSP) employing subspace identification techniques to achieve model-based identification (MBID) and enables readers to evaluate overall performance using validation and statistical analysis methods. Focusing on subspace approaches to system identification problems, this book teaches readers to identify models quickly and incorporate them into various processing problems including state estimation, tracking, detection, classification, controls, communications, and other applications that require reliable models that can be adapted to dynamic environments. The extraction of a model from data is vital to numerous applications, from the detection of submarines to determining the epicenter of an earthquake to controlling an autonomous vehicles—all requiring a fundamental understanding of their underlying processes and measurement instrumentation. Emphasizing real-world solutions to a variety of model development problems, this text demonstrates how model-based subspace identification system identification enables the extraction of a model from measured data sequences from simple time series polynomials to complex constructs of parametrically adaptive, nonlinear distributed systems. In addition, this resource features: Kalman filtering for linear, linearized, and nonlinear systems; modern unscented Kalman filters; as well as Bayesian particle filters Practical processor designs including comprehensive methods of performance analysis Provides a link between model development and practical applications in model-based signal processing Offers in-depth examination of the subspace approach that applies subspace algorithms to synthesized examples and actual applications Enables readers to bridge the gap from statistical signal processing to subspace identification Includes appendices, problem sets, case studies, examples, and notes for MATLAB Model-Based Processing: An Applied Subspace Identification Approach is essential reading for advanced undergraduate and graduate students of engineering and science as well as engineers working in industry and academia.
Model-Based Processing for Underwater Acoustic Arrays
by Edmund J. SullivanThis monograph presents a unified approach to model-based processing for underwater acoustic arrays. The use of physical models in passive array processing is not a new idea, but it has been used on a case-by-case basis, and as such, lacks any unifying structure. This work views all such processing methods as estimation procedures, which then can be unified by treating them all as a form of joint estimation based on a Kalman-type recursive processor, which can be recursive either in space or time, depending on the application. This is done for three reasons. First, the Kalman filter provides a natural framework for the inclusion of physical models in a processing scheme. Second, it allows poorly known model parameters to be jointly estimated along with the quantities of interest. This is important, since in certain areas of array processing already in use, such as those based on matched-field processing, the so-called mismatch problem either degrades performance or, indeed, prevents any solution at all. Thirdly, such a unification provides a formal means of quantifying the performance improvement. The term model-based will be strictly defined as the use of physics-based models as a means of introducing a priori information. This leads naturally to viewing the method as a Bayesian processor. Short expositions of estimation theory and acoustic array theory are presented, followed by a presentation of the Kalman filter in its recursive estimator form. Examples of applications to localization, bearing estimation, range estimation and model parameter estimation are provided along with experimental results verifying the method. The book is sufficiently self-contained to serve as a guide for the application of model-based array processing for the practicing engineer.
Model-Based Reliability Systems Engineering
by Yi Ren Cheng Qian Dezhen Yang Qiang Feng Bo Sun Zili WangThis book introduces a new Model-Based Reliability System Engineering (MBRSE) methodology, including its concept connotation, basic theory and technologies, framework of integrated platform and engineering application cases. Different from traditional Reliability System Engineering (RSE) methods that mainly rely on the management of documents, MBRSE is model centric method, with which the design for hexability (including “reliability, maintainability, testability, supportability, environmental adaptability and safety”) is performed by the revolution of united models in complete R&D fields and the process of closed- loop failure mitigation. This method can integrate all techniques and approaches of reliability engineering into the main process of R&D, and therefore is considered as a generalized hexability design and analysis tool. Furthermore, the future perspectives in the development of MBRSE are also presented through the combination of Digital Twin technology. The main objective of the book is to provide the readers who have engaged in theoretical and technical researches, project management and engineering design applications of reliability engineering, as well as for teachers, senior undergraduates and postgraduates in colleges and universities working on reliability engineering and system engineering.
Model-Based System Architecture
by Stephan Roth Tim Weilkiens Jesko G. Lamm Markus WalkerPresents modeling approaches that can be performed in SysML and other modeling languages This book combines the emerging discipline of systems architecting with model-based approaches using SysML. The early chapters of the book provide the fundamentals of systems architecting; discussing what systems architecting entails and how it benefits systems engineering. Model-based systems engineering is then defined, and its capabilities to develop complex systems on time and in a feasible quality are discussed. The remainder of the book covers important topics such as: architecture descriptions; architecture patterns; perspectives, viewpoints, views and their relation to system architecture; the roles of a system architect, their team, and stakeholders; systems architecting processes; agile approaches to systems architecting; variant modeling techniques; architecture frameworks; and architecture assessment. The book's organization allows experts to read the chapters out of sequence. Novices can read the chapters sequentially to gain a systematic introduction to system architecting. Model-Based System Architecture: Provides comprehensive coverage of the Functional Architecture for Systems (FAS) method created by the authors and based on common MBSE practices Covers architecture frameworks, including the System of Systems, Zachman Frameworks, TOGAF®, and more Includes a consistent example system, the "Virtual Museum Tour" system, that allows the authors to demonstrate the systems architecting concepts covered in the book Model-Based System Architecture is a comprehensive reference for system architects and systems engineers in technology companies. This book will also serve as a reference to students and researchers interested in functional architectures. Tim Weilkiens is the CEO at the German consultancy oose Innovative Informatik and co-author of the SysML specification. He has introduced model-based systems engineering to a variety of industry sectors. He is author of several books about modeling and the MBSE methodology SYSMOD. Jesko G. Lamm is a Senior Systems Engineer at Bernafon, a Swiss manufacturer for hearing instruments. With Tim Weilkiens, Jesko G. Lamm founded the Functional Architectures working group of the German chapter of INCOSE. Stephan Roth is a coach, consultant, and trainer for systems and software engineering at the German consultancy oose Innovative Informatik. He is a state-certified technical assistant for computer science from Physikalisch-Technische Lehranstalt (PTL) Wedel and a certified systems engineer (GfSE)®- Level C. Markus Walker works at Schindler Elevator in the research and development division as elevator system architect. He is an INCOSE Certified Systems Engineering Professional (CSEP) and is engaged in the committee of the Swiss chapter of INCOSE.
Model-Based System Architecture (Wiley Series in Systems Engineering and Management)
by Tim Weilkiens Jesko G. Lamm Stephan Roth Markus WalkerMODEL-BASED SYSTEM ARCHITECTURE AN UP-TO-DATE EXPLORATION OF THE NEWEST STANDARDS AND BEST PRACTICES IN SYSTEM ARCHITECTING In the newly revised Second Edition of Model-Based System Architecture, a team of expert engineers deliver a detailed and authoritative review of the practice of system architecture in organizations that use models to support the systems engineering process. In the book, readers will find introductions to the fundamentals of architecting systems and using models to assist the architecting process. The latest edition offers refreshed content based on ISO 15288:2015 and a renewed focus on the role of the system architect. New chapters on systems-of-systems, and cyber-physical systems, and system architect tools offer guidance to practicing professionals on how to apply the presented concepts in the real-world. In addition to the latest definitions of the architecture governance and evaluation processes described in ISO 42020 and 42030, the book provides: A thorough introduction to the value of systems architecting, definitions of system architecture, and model-based system architecture Comprehensive explorations of model governance, architecture descriptions, patterns, and principles, and the roles of typical architecture stakeholders Practical discussions of Agile approaches to systems architecture, the FAS Method, and architecture frameworks In-depth examinations of systems architecting work and necessary soft skills for systems architects Modeling of system architectures with SysML including a brief overview of SysML v1 and an outlook to SysML v2 Perfect for system architects and system engineers, Model-Based System Architecture will also earn a place in the libraries of students and researchers studying functional architectures.
Model Based Systems Engineering
by Patrice MicouinThis book is a contribution to the definition of a model based system engineering (MBSE) approach, designed to meet the objectives laid out by the INCOSE. After pointing out the complexity that jeopardizes a lot of system developments, the book examines fundamental aspects of systems under consideration. It goes on to address methodological issues and proposes a methodic approach of MBSE that provides, unlike current practices, systematic and integrated model-based engineering processes. An annex describes relevant features of the VHDL-AMS language supporting the methodological issues described in the book.
Model-Based Systems Engineering (Systems Engineering #3)
by A. Wayne WymoreModel-Based Systems Engineering explains the fundamental theories behind model-based systems and the considerations involved in applying theory to the design of real systems. The book begins by presenting terms used in systems engineering and introducing the discrete system and its components. The remainder of the text explains topics such as the mathematical theory of system coupling, the homomorphic relationship between systems, the concept of system mode, the mathematical structure of T3SD system requirements, and the implications of that structure for T3SD system design. Appendices include a short bibliography, detailed definitions of all examples discussed in the text, a list of all notations used, and an index. Model-Based Systems Engineering is an excellent text for engineering students, and an invaluable reference for engineers and scientists.
Model-Based Testing for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Justyna ZanderWhat the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students." —Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA "This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems." —Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway "As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today." —Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings (Lecture Notes in Computer Science #13872)
by Georgiana Caltais Christian SchillingThis book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (Lecture Notes in Computer Science #14624)
by Thomas Neele Anton WijsThis book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Model-Driven Design Using IEC 61499
by Li Hsien Yoong Partha S. Roop Zeeshan E. Bhatti Matthew M. Y. KuoThis book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis. The well-known synchronous approach is used as the main vehicle for defining an unambiguous semantics that ensures determinism and deadlock freedom. The proposed approach also ensures very efficient implementations either on small-scale embedded devices or on industry-scale programmable automation controllers (PACs). It can be used for both centralized and distributed implementations. Significantly, the proposed approach can be used without the need for any run-time support. This approach, for the first time, blurs the gap between embedded systems and automation systems and can be applied in wide-ranging applications in automotive, robotics, and industrial control systems. Several realistic examples are used to demonstrate for readers how the methodology can enable them to reduce the time-to-market, while improving the design quality and productivity.
Model-Driven Development of Akoma Ntoso Application Profiles: A Conceptual Framework for Model-Based Generation of XML Subschemas
by Amelie Flatt Arne Langner Olof LepsThis book presents a model-driven approach for creating a national application profile of the international legislative document standard Akoma Ntoso (AKN). AKN is an XML-based document standard that serves as the basis for modern machine-readable and fully digital legislative and judicial processes. The described model-driven development approach ensures consistent and error-proof application of AKN concepts and types, even when using different software tools. It allows for easy maintenance, is self-documenting, and facilitates stakeholder validation with nontechnical legal experts. The resulting application profile remains fully compliant to and compatible with AKN. For the sake of illustration, the approach is paradigmatically applied to the German federal legislative process, as a corresponding approach was used in the creation of the German AKN application profile, LegalDocML.de. We discuss how the methodology yields a model, schema definition and specification that correspond to the artefacts created by LegalDocML.de, using examples from Germany. The book is of interest to both legal and technical project teams on the cusp of introducing AKN in a legislative domain and intended as a practical guideline for teams preparing to create a custom application profile for their own domain. Furthermore, it can serve as both a resource and an inspiration for similar and yet to be developed methodologies in the public sector, the health sector or in defense, where international standardization and interoperability efforts are to be applied to a local level.