Senior Member of Technical Staff
Chuck Weinstock is a senior member of the technical staff in the System of Systems Software Assurance initiative at the Software Engineering Institute at Carnegie Mellon. His interests are in the area of dependable computing with a recent emphasis on assurance cases.
In over 25 years at the SEI, Weinstock has worked in the areas of model-based verification, fault tolerant computing, open source software, distributed real-time systems, and architecture analysis.
Weinstock's interest in fault tolerant computing began while he was at SRI International where he was the principle software designer and implementer of the SIFT (software implemented fault tolerance) system. Weinstock has also worked at Tartan Laboratories and Illinois Institute of Technology.
Publications (recent or significant)
- S. Hissam, C. Weinstock, and L. Bass, "On Open and Collaborative Software Development in the DoD." 7th Annual Acquisition Research Symposium, Naval Post Graduate School's Acquisition Research Program, May 11-13, 2010, Monterey, CA
- C. Weinstock and J. Goodenough, Towards an Assurance Case Practice for Medical Devices, Technical Note, Software Engineering Institute (CMU/SEI-2009-TN-018)
- J. Goodenough, H. Lipson, and C. Weinstock, Arguing Security - Creating Security Assurance Cases, US Department of Homeland Security, Build Security In Website, 2007
- C. Weinstock and J. Goodenough, On System Scalability, Technical Note, Software Engineering Institute (CMU/SEI-2006-TN-012).
- C. Weinstock, J. Goodenough, and J. Hudak, Dependability Cases, SEI Technical Note CMU/SEI-2004-TN-016, Software Engineering Institute, 2004.