Principled Engineering of Trustworthy Cyber-Physical Systems
Dr. Mark Winstead
Chief Engineer, Systems Security
Systems Engineering Innovation Center, MITRE
The development of assured trustworthy systems in general and cyber-physical systems specifically is not always a matter of following a prescriptive, repeatable process alone. Complexity in design and novel technology application requires following a principled approach for the engineering in establishing a system meets overarching claims about its trustworthiness.
These overarching claims – that a system meets intent for authorized entities, is implemented correctly, and avoids unintended behaviors leading to unacceptable loss – provide one organizing target set for the application of design principles described in the work by Daryl Hild, Michael McEvilley, and the speaker, “Principles for Trustworthy Design of Cyber Physical Systems”, that formed the basis for Appendix E of the US National Institute of Standards and Technology (NIST) Special Publication (SP) 800-160 Volume 1 Revision 1 Engineering Trustworthy Secure Systems. Another target set to be presented enables focuses on enabling better trade space studies.
Mark had over twenty-five years’ STEM experience before joining the MITRE Corporation in 2014, including stints as a cryptologic mathematician, software engineer, systems engineer, systems architect, and systems engineer in addition to being a systems security engineer from time to time. He has worked for several defense contractors involving cyber-physical systems, an Environmental Protection Agency contractor, a Facebook-like startup, a fabless semi-conductor manufacturer of commercial security protocol acceleration solutions, and a network performance management solutions company.
Mark serves as the MITRE Systems Security Engineering Department Chief Engineer while working with various MITRE sponsors on standardization of engineering practice efforts including for cyber-physical systems. In one effort, Mark led MITRE’s contributions to NIST SP 800-160 Volume 1 Revision 1 Engineering Trustworthy Secure Systems and earned credit as a co-author with NIST’s Ron Ross and MITRE’s Michael McEvilley.
Within the International Council on Systems Engineering (INCOSE), Mark works with the Systems Security Engineering Working Group as co-chair. He also serves on the FuSE Vision and Roadmap Stream group.
Mark is a graduate of the University of Virginia (PhD, Mathematics) and Florida State University (BS & MS, Mathematics). He resides in Colorado Springs, CO.