Design Principles for Cyber Physical Systems.pdf

Mark Winstead
2021 figshare.com  
This report contains principles for systems engineering design of trustworthy cyber-physical systems (CPS), with emphasis on controlling the adverse effects (i.e., loss) that might occur as a direct or indirect result of the system delivering specified capability at specified levels of performance. Additionally, the document defines terms used in the definition, description, and interpretation of the principles.The principles and terms are representative of the practices of the safety,
more » ... survivability, and resilience communities and specialties – collectively the goals of these practices represent the "end objectives" the system must satisfy for trustworthy control of adverse effects. The concepts and theorems from the disciplines of computational science, control systems, systems engineering, software engineering, fault/failure tolerance, and mathematics – as employed collectively across the communities and specialties – constitute the "means to achieve" the end objectives.The principles and terms are intended to be used as a starting point for discussion, vetting, employment, and ultimately acceptance by the engineering community. Their acceptance facilitates standardization within and across the general and specialty systems engineering practices and provides content suitable for inclusion in engineering bodies of knowledge.The design principles are structured in three categories:• Engineering design principles fundamental to managing complexity,• Trustworthiness design principles fundamental to the design of a system for which there is justified confidence in its ability to function and produce outcomes only as intended, and• Loss control design principles fundamental to achieving loss control objectivesThe opportunity for future work based on these principles includes their extension and application to support systems engineering requirements, design, and analysis activities enabled by digital engineering environments, such as requirements and design patterns for the formal specification, verificatio [...]
doi:10.6084/m9.figshare.15175605.v1 fatcat:hsh6ps7nyzhrra4bjtmdqj543m