Cyber Physical Systems – Situation Analysis - Energetics Meetings ...

Cyber Physical Systems – Situation AnalysisDRAFT – March 9, 2012automation systems is that they can be more reconfigurable than custom-designed systems, but modulesthat have embedded controllers are more complex than a typical system and requires additional testingand validation before it can be applied. 39A study from the University of Michigan identified the following research needs in the areas of modelingand verification of mechanical and computing systems (direct quote from report): 40• Automatically generating models of physical systems that can interface with models ofcomputing system operation• Specifications of model correctness and uncertainty, and methods for validating thesespecifications• Abstraction methods for modules, to manage complexity• Specifications for re-configurability, and methods to validate these specifications• Specifications (interface models) that guarantee interoperability• Certification methods to guarantee conformance with international standards• Verification techniques for modular CPSThe study also identified a possible roadmap to achieve these needs, describing steps in specific order: 411. Survey of existing techniques for modular design in mechanical and software domains2. Mapping potential synergies from mechanical and software design domains to cyber-physicalsystems3. Definition/identification of ‗challenge problem‘4. Design and construction of testbed, with physical modules distributed at multiple sites(simulations at all sites)5. Definition of interface specifications for modules6. Demonstration of module operations, validation of conformance with interface specification7. Validation of simulation model in normal and fault modes8. Demonstration of module interoperation in normal mode9. Demonstration of module interoperation in fault mode, and fault recovery using unified HMI10. Definition of reconfiguration scenario that was not originally envisioned11. Demonstration of reconfiguration through adding a new module and/or rearranging existingmodulesBROAD CHALLENGES AND BARRIERSTo realize the benefits of smart manufacturing, the exchange of information in manufacturing networkshas to be seamless, but such a comprehensive infrastructure is not yet in existence. 42 Some of the main39 Ibid.40 Ibid.41 Ibid.9