一项名为「SANITAS」的研究项目已由德国数家产业领导厂商共同展开，希冀藉此发展出更弹性化且安全的自动化制造程序与验证方法，提升德国的竞争力。

「SANITAS」项目意指「在整体价值链推动新的协作验证方法，提升系统安全性」（Enabling safer systems by a new collaborative verification methodology across the entire value chain），在英飞凌的项目管理下，结合来自半导体、汽车和工业自动化领域之研究机构及企业的九位成员共同合作，预计在2012年9月以前完成研究计划。SANITAS项目系由德国教育研究部（BMBF）资助。

SANITAS项目的成果将能为复杂的微电子辅助系统等奠定提升弹性之基础，惠及制造自动化和汽车电子等领域。项目的宗旨之一，系发展出从系统组件的早期开发阶段即适用的一套协作验证方法，并能贯彻至整个附加价值链，从半导体供货商到系统制造商，制造设备皆使用最新开发的芯片。该验证方法的优点是，能够在系统组件进入生产以前便侦测到失误。

SANITAS项目研究成果可应用于如工业自动化等多项领域。例如，在整体附加价值链应用验证方法能自动分析并判断技术规格是否可行。项目的合作伙伴也将努力研究新的建模程序，未来能让供货商为本身的组件开发虚拟参考模型。 有了这些模型，系统制造商可以在计算机上「组装」其生产系统，以便在正式建构系统以前加以测试和修正。开发出来的方法亦适合工业自动化以外的其他领域使用，例如通讯和汽车领域。

SANITAS项目成员包括：德国信息科技研究中心FZI（Forschungszentrum Informatik）、德国IC设计研究机构IIS（Fraunhofer Institute for Integrated Circuits）、英飞凌科技股份有限公司、微科公司（Micronas GmbH）、罗伯特博世公司（Robert Bosch GmbH）、西门子公司（Siemens AG）、德国Tieto公司以及德国布莱梅（Bremen）和帕德博恩（Paderborn）大学。