Submitted by Janos.Sztipanovits on Mon, 02/11/2013 - 12:02pm
Three new reports prepared for the National Institute of Standards and Technology (NIST) distill the perspectives of executives and technical experts from industry, academia and government on the "ifs" and the "what's next" of emerging intelligent systems-of-systems technologies.
Submitted by Liz Wai Ping Ng on Wed, 02/06/2013 - 5:47pm
Model-Driven Safety Analysis of Closed-Loop Medical Systems: We studied the safety of a medical device system for the physiologic closed-loop control of drug infusion. The main contribution is the verification approach for the safety properties of closed-loop medical device systems. We demonstrated, using a case study, that the approach can be applied to a system of clinical importance.
The goal of the CPS program is to develop the core system science needed to engineer complex cyber-physical systems upon which people can depend with high confidence. The program aims to foster a research community committed to advancing research and education in CPS and to transitioning CPS science and technology into engineering practice.
