一項名為「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）大學。