This demo covers requirements proxies import from DOORS (traditional) using Cameo Data Hub integration plugin, linking requirements to system model in SysML, requirements update in DOORS and changes synchronization, requirements comparison before synchronization, requirements change impact analysis using suspect links, requirements automatic conversion to constraints for precise verification using parametric analysis