Conventional build-then-test practices are making today’s embedded, software-reliant systems unaffordable to build. In response, more than thirty leading industrial organizations have joined SAE (formerly, the Society of Automotive Engineers) to define the SAE Architecture Analysis & Design Language (AADL) AS-5506 Standard, a rigorous and extensible foundation for model-based engineering analysis practices that encompass software system design, integration, and assurance. Using AADL, you can conduct lightweight and rigorous analyses of critical real-time factors such as performance, dependability, security, and data integrity. You can integrate additional established and custom analysis/specification techniques into your engineering environment, developing a fully unified architecture model that makes it easier to build reliable systems that meet customer expectations. Model-Based Engineering with AADL is the first guide to using this new international standard to optimize your development processes. Coauthored by Peter H. Feiler, the standard’s author and technical lead, this introductory reference and tutorial is ideal for self-directed learning or classroom instruction, and is an excellent reference for practitioners, including architects, developers, integrators, validators, certifiers, first-level technical leaders, and project managers. Packed with real-world examples, it introduces all aspects of the AADL notation as part of an architecture-centric, model-based engineering approach to discovering embedded software systems problems earlier, when they cost less to solve. Throughout, the authors compare AADL to other modeling notations and approaches, while presenting the language via a complete case study: the development and analysis of a realistic example system through repeated refinement and analysis. Part One introduces both the AADL language and core Model-Based Engineering (MBE) practices, explaining basic software systems modeling and analysis in the context of an example system, and offering practical guidelines for effectively applying AADL. Part Two describes the characteristics of each AADL element, including their representations, applicability, and constraints. The Appendix includes comprehensive listings of AADL language elements, properties incorporated in the AADL standard, and a description of the book’s example system.

Model-based tools and methods are playing important roles in the design and analysis of cyber-physical systems before building and testing physical prototypes. The development of increasingly complex CPSs requires the use of multiple tools for different phases of the development lifecycle, which in turn depends on the ability of the supporting tools to interoperate. However, currently no vendor provides comprehensive end-to-end systems engineering tool support across the entire product lifecycle, and no mature solution currently exists for integrating different system modeling and simulation languages, tools and algorithms in the CPSs design process. Thus, modeling and simulation tools are still used separately in industry. The unique challenges in integration of CPSs are a result of the increasing heterogeneity of components and their interactions, increasing size of systems, and essential design requirements from various stakeholders. The corresponding system development involves several specialists in different domains, often using different modeling languages and tools. In order to address the challenges of CPSs and facilitate design of system architecture and design integration of different models, significant progress needs to be made towards model-based integration of multiple design tools, languages, and algorithms into a single integrated modeling and simulation environment. In this thesis we present the need for methods and tools with the aim of developing techniques for numerically stable co-simulation, advanced simulation model analysis, simulation-based optimization, and traceability capability, and making them more accessible to the model-based cyber physical product development process, leading to more efficient simulation. In particular, the contributions of this thesis are as follows: 1) development of a model-based dynamic optimization approach by integrating optimization into the model development process; 2) development of a graphical co-modeling editor and co-simulation framework for modeling, connecting, and unified system simulation of several different modeling tools using the TLM technique; 3) development of a tool-supported method for multidisciplinary collaborative modeling and traceability support throughout the development process for CPSs; 4) development of an advanced simulation modeling analysis tool for more efficient simulation.

Comprehensive resource covering methods to design, verify, and validate systems with a model-based approach, addressing engineering of current software-centric systems The newly revised and updated Fourth Edition of The Engineering Design of Systems includes content addressing model-based systems engineering, digital engineering, digital threads, AI, SysML 1.0 and 2.0, digital twins, and GENESYS software. The authors explore system and software-centric architecture, allocations, and logical and physical architecture development, including revised terminologies for a variety of subsections throughout. Composed of 15 chapters, this book includes important new sections on modeling approaches for middle-out engineering, reverse engineering, and agile systems engineering, with a separate section on emerging trends within systems engineering to explore the most update-to-date methods. The authors include comprehensive diagrams and a separate chapter on a complete exercise of the System Engineering process, ranging from the operational concept to integration and qualification. To aid in reader comprehension and retention of concepts, the text is embedded with problems at the end of each chapter, along with relevant case studies. Sample topics covered in The Engineering Design of Systems include: Structural system models to executable models, verification and validation on systems of systems, and external systems and context modeling Digital engineering, digital threads, artificial/augmented intelligence (AI), stakeholder requirements, and scientific foundations for systems engineering Quantifying a context and external systems’ model, including intended and unintended inputs, both deterministic and non-deterministic Functional architecture development, logical and physical architecture development, allocated architecture development, interface design, and decision analysis for design trades The Engineering Design of Systems is highly suitable as a main text for undergraduate and graduate students studying courses in system engineering design, systems architecture, and systems integration. The text is also valuable as a reference for practicing system architects, systems engineers, industrial engineers, engineering management professionals, and systems integrators.

Design and Analysis of Integrated Manufacturing Systems is a fresh look at manufacturing from a systems point of view. This collection of papers from a symposium sponsored by the National Academy of Engineering explores the need for new technologies, the more effective use of new tools of analysis, and the improved integration of all elements of manufacturing operations, including machines, information, and humans. It is one of the few volumes to include detailed proposals for research that match the needs of industry.