研究

Oxford University Innovation Ltd (OUI) 是 University of Oxford 的技术转移公司。其核心业务之一，是依托该校学者的专业知识为外部组织提供技术与科学咨询服务。OUI 已由计算机科学系的 Daniel Kroening 教授及其同事，就面向 C 程序的 CBMC 有界模型检验器向 BTC Embedded Systems AG 提供咨询服务。访问网站

OFFIS 是位于奥尔登堡的 Carl von Ossietzky University 的关联研究机构。自 1991 年成立以来，OFFIS 持续将计算机科学领域的科研知识转化为原型，再由商业合作伙伴进一步开发为可上市产品。OFFIS 以国际最高水平为企业和机构提供研究及原型开发服务。OFFIS 设有三个面向应用的研发部门，覆盖能源、社会、健康和生产领域。访问网站

位于奥尔登堡的 DLR Institute of Systems Engineering for Future Mobility 致力于研究自动化与自主交通系统的开发和评估方法。研究重点包括：开发新的高效系统工程方法与工具，用于证明功能性（验证）和实用性（确认），以及进一步发展可信系统。访问网站

Institute of Automatic Control 致力于开发现代控制工程方法，并将其应用于不同领域，尤其是医疗技术、系统医学和机器人技术。该研究所特别关注基于优化的控制与估计方法、非线性系统与控制理论，以及分布式和学习型控制系统。访问网站

ATLAS-L4（Automated Transport between Logistics centres on highways, Level 4）研发项目以前所未有的方式汇集工业界、科研机构和基础设施运营商的专业能力，形成在公共高速公路上运营自动驾驶车辆的一体化方案。ATLAS-L4 旨在验证四级自动驾驶车辆（即无需驾驶员的车辆）在高速公路上运行的可行性，并为创新运输与物流理念奠定基础。该项目直接利用德国 2021 年通过的自动驾驶立法所带来的新机遇；德国有望借此在全球发挥先行作用。因此，ATLAS-L4 既有助于推动公路货运面向未来发展，也有助于巩固德国作为商业中心的地位。项目合作伙伴：MAN Truck & Bus SE、Knorr-Bremse AG、Leoni AG、Robert Bosch Automotive Steering GmbH、FERNRIDE GmbH、Fraunhofer-Institut für Angewandte und integrierte Sicherheit AISEC、Technische Universität München、Technische Universität Braunschweig、TÜV SÜD、Autobahn GmbH访问项目网站

KI Wissen 研究项目致力于开发和研究将现有知识融入自动驾驶车辆数据驱动型 AI 功能的方法，目标是建立一个全面的生态体系，将知识集成到 AI 功能的训练与保障过程中。项目合作伙伴：Continental、Bosch、Valeo、Altran、AVL、EFS、DLR、Fortiss、Fraunhofer、OFFIS 等访问项目网站

BTC Embedded Systems 是 Step-Up!CPS 项目工业顾问委员会的成员。成员：FZI、Universität Oldenburg、OFFIS、DLR、KIT、SafeTRANS。工业顾问委员会：AVL LIST GmbH、BTC Embedded Systems AG、Denso Automotive Deutschland GmbH、DNV-GL Maritime Class Development、IAV GmbH Ingenieurgesellschaft Auto und Verkehr、NXP Semiconductor Germany GmbH、Vector Informatik GmbH访问项目网站

汽车、航空航天、轨道交通、海事、医疗和农业等不同领域的高度自动化与自主系统，基本都面临相同的挑战。复杂度激增、需要考虑的环境场景数量近乎无限，只是其中的部分问题。ENABLE-S3 联盟汇集六个不同领域的专家、工具供应商和学术界成员，共同应对主要测试挑战。项目合作伙伴：Denso、Toyota、Renault、Valeo、Magneti Marelli、Airbus、DLR、IBM、Thales 等访问项目网站

未来的出行解决方案将日益依赖持续监测环境的智能组件，这些组件将在保障舒适、安全、可靠运行方面承担越来越多责任。目前，这一市场最主要的障碍，是能否形成一种兼顾成本与安全的多核开发方法，使工业界能够以具有竞争力的价格提供可信的新功能。ASSUME 提供一套贯通构建与分析环节的工程方法，用以应对这一障碍。项目合作伙伴：Airbus、Daimler、Scania、Bosch、Sagem、Snecma、MES、OFFIS 等访问项目网站

利用先进方法让计算机解决实际且与工业相关的问题，已有悠久历史。符号计算关注通过算法求得复杂数学问题的精确解，而较新的可满足性判定则采用不同的算法和技术方案处理类似问题。该项目开展了广泛活动，推动两个研究领域开展合作，从而推动软件工具实现大幅改进。项目合作伙伴：University of Oxford、University of Freiburg、University of Oldenburg、Maplesoft、Microsoft Research 等访问项目网站

ARTEMIS 项目 MBAT 以参考技术平台 (MBAT RTP) 的形式，为欧洲工业界提供全新的前沿 V&V 技术，使其能够减少时间和资金投入，开发高质量、安全的嵌入式系统。这得益于一种很有前景的新方法：将基于模型的测试技术与静态分析技术相结合。项目合作伙伴：Daimler、Airbus、AVL List、EADS、Siemens、Thales Aleniaspace、Volvo 等访问项目网站

嵌入式安全关键系统设计与开发行业面临日益上升的复杂性、不断增多的系统与设备类型以及持续收紧的监管约束，同时还要应对成本、性能和上市时间方面的压力。CESAR 在两个系统工程领域带来了重要且具有明确成效的创新：一是需求工程，尤其是多视角、多准则、多层级需求的形式化；二是基于组件的工程，将其应用于设计空间探索，其中包括多视角、多准则和多层级的架构权衡。项目合作伙伴：Airbus、ABB、AbsInt、Astrium、Delphi、EADS、Infineon、Siemens、Volvo 等访问项目网站

技术转移项目 DeCoDe 旨在高效、精确地检测反应式、面向控制且以浮点运算为主的 C 程序中的死代码。这尤其包括由嵌入式控制应用的 Simulink/Stateflow 模型自动生成 C 代码而得到的程序，以及按照嵌入式领域规范手工编写的程序。项目合作伙伴：University of Oldenburg、University of Freiburg、SICK AG