研究

Oxford University Innovation Ltd（OUI）は、University of Oxford の技術移転会社です。主な活動の一つとして、同大学の研究者が持つ専門知識を活用し、外部組織に技術・科学コンサルティングサービスを提供しています。OUI は、Department of Computer Science の Prof Daniel Kroening とその同僚を通じて、C プログラム向け CBMC 有界モデル検査器の分野で BTC Embedded Systems AG にコンサルティングサービスを提供しました。ウェブサイトを見る

OFFIS は、Oldenburg の Carl von Ossietzky University の関連研究所として、1991年の設立以来、コンピューターサイエンスの科学的知見をプロトタイプへと転換してきました。これらはその後、商業パートナーによって市場投入可能な製品へと発展します。OFFIS は、企業や機関に国際的に最高水準の研究・プロトタイプ開発を提供しています。OFFIS は、エネルギー、社会、健康、生産という3つの応用指向型研究開発部門で構成されています。ウェブサイトを見る

Oldenburg に所在する 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 は、高速道路における Level-4 自動運転、すなわち無人運転車両の使用が実現可能であることを実証し、新たな輸送・物流コンセプトの基盤を築くことを目指しています。このプロジェクトは、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 コンソーシアムは、主要なテスト課題に対処するため、6つの異なる分野の専門家とツールサプライヤー、学術機関を結集しています。プロジェクトパートナー：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 は、Reference Technology Platform（MBAT RTP）という形で、欧州産業界に新たな最先端 V&V 技術を提供します。これにより、時間と費用を削減しながら、高品質で安全な組み込みシステムを生産できます。これは、モデルベーステスト技術と静的解析技術を組み合わせる、新しく非常に有望なアプローチによって可能になります。プロジェクトパートナー：Daimler、Airbus、AVL List、EADS、Siemens、Thales Aleniaspace、Volvo ほか多数プロジェクトのウェブサイトを見る

組み込みセーフティクリティカルシステムの設計・開発産業では、複雑性の増大とシステム／デバイスの多様化が進み、規制上の制約も強まる一方、コスト、性能、市場投入までの期間が絶えず課題となっています。CESAR は、システムズエンジニアリングの2つの分野に重要かつ確かなイノベーションをもたらします。一つは要求工学で、特に複数の視点、基準、レベルにわたる要求の形式化に取り組みます。もう一つはコンポーネントベース開発で、複数の視点、基準、レベルにわたるアーキテクチャ上のトレードオフを含む設計空間探索に適用されます。プロジェクトパートナー：Airbus、ABB、AbsInt、Astrium、Delphi、EADS、Infineon、Siemens、Volvo ほか多数プロジェクトのウェブサイトを見る

移転プロジェクト DeCoDe は、リアクティブ型、制御指向型、浮動小数点演算中心の C プログラムに含まれるデッドコードを、効率的かつ正確に検出することを目的としています。特に、組み込み制御アプリケーションの Simulink/Stateflow モデルから C コードの自動生成によって作成されたプログラムと、組み込み分野のガイドラインに従って手作業で実装されたプログラムを対象とします。プロジェクトパートナー：University of Oldenburg、University of Freiburg、SICK AG