Systems Engineering and Architecting: Creating Formal Requirements (Hardcover)

Systems Engineering and Architecting: Creating Formal Requirements presents formal requirements to help you accomplish key systems engineering and architecting activities more efficiently. The formal requirements—explicit, executable, verifiable instructions—explain how to model systems behavior, make decisions, establish natural language requirements, and improve your systems engineering and architecting processes.

Each chapter opens with case studies and lessons learned, which supply the real-world context for the formal requirements. Topics covered include how to use fuzzy logic and agents to model uncertainty and how to make decisions when confronted with ambiguity. The book also clarifies the differences between architecting and systems engineering.

Mathematical Tools for Systems Engineering and Architecting

Written in Mathematica^®, each formal requirement provides a tool or serves as the algorithm for a more efficient implementation in another form. All of the requirements are available as an open source library for anyone to use, improve upon, or add to. Worked examples, illustrations, and example surveys help you apply the requirements to your own systems. The book also lists heuristics to guide you in those systems engineering or architecting activities that cannot yet be formally stipulated.

Bring More Consistency to Your Systems Development and Management

Acknowledging that much of the practice remains an art, this book brings as much scientific rigor as possible to the tasks performed by systems engineers and architects. Written by a director of engineering who led systems engineering or architecting efforts for the Space Shuttle Program, Space Control Architecture Development, and others, this book shows you how to develop more consistent processes for large-scale systems.

《系統工程與架構：創建正式需求》提供正式需求，以幫助您更有效地完成關鍵的系統工程和架構活動。這些正式需求是明確、可執行、可驗證的指令，解釋了如何建模系統行為、做出決策、建立自然語言需求，並改進您的系統工程和架構流程。

每一章開頭都有案例研究和經驗教訓，為正式需求提供了現實世界的背景。涵蓋的主題包括如何使用模糊邏輯和代理模型不確定性，以及在面對模糊性時如何做出決策。本書還澄清了架構和系統工程之間的差異。

《系統工程與架構的數學工具》以Mathematica®編寫，每個正式需求都提供了一個工具或作為另一種形式更高效實現的算法。所有需求都作為開源庫提供，任何人都可以使用、改進或添加。實例、插圖和調查示例幫助您將需求應用於自己的系統。本書還列出了啟發法則，指導您在那些尚無法正式規定的系統工程或架構活動中進行。

《為您的系統開發和管理帶來更多一致性》承認許多實踐仍然是一門藝術，本書將盡可能多的科學嚴謹性引入系統工程師和架構師所執行的任務中。本書由一位曾領導太空梭計劃、太空控制架構開發等系統工程或架構工作的工程總監撰寫，向您展示如何為大型系統開發更一致的流程。