Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

1 589 (0,133s) •

Projekt

European Initiative to Enable Validation for Highly automated Safe and Secure Systems - ENABLE-S3 (8A16006)

Development of the validation system for highly automated safe and secure systems, automotive, railways, navy , aerospace, farming, health. Automation of the system validation - "virtual reality".......

JD - Využití počítačů, robotika a její aplikace

  • 2016 - 2019
    • •
  • 14 017 tis. Kč
    • •
  • 4 124 tis. Kč
    • •
  • MŠMT
Projekt

European initiative to enable validation for highly automated safe and secure systems (8A16005)

global race of automated systems with an expected market potential of 60B€ in 2025 automated systems (ACPS). The technical objectives addressed are: 1. Provision of a test. Promotion of a new technique for testing...

JD - Využití počítačů, robotika a její aplikace

  • 2016 - 2019
    • •
  • 4 730 tis. Kč
    • •
  • 4 730 tis. Kč
    • •
  • MŠMT
Projekt

Integrated, Fail-Operational, Cognitive Perception, Planning and Control Systems for Highly Automated Vehicles (8A19006)

Design and implementation of intelligent algorithms and systems for perception systems and powertrains control and diagnostics....

Automation and control systems

  • 2019 - 2023
    • •
  • 29 164 tis. Kč
    • •
  • 18 959 tis. Kč
    • •
  • MŠMT
Projekt

Verification and Validation of Automated Systems' Safety and Security (8A20010)

VALU3S will design and evaluate a novel framework for V&V of automated systems with respect to safety, security and privacy requirements. Two reference lists are designed and detailed referring to (i) V&V methods and (ii) test scena...

Computer hardware and architecture

  • 2020 - 2023
    • •
  • 6 447 tis. Kč
    • •
  • 2 578 tis. Kč
    • •
  • MŠMT
Projekt

Verification and Validation of Automated Systems' Safety and Security (8A20008)

The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost n...

Computer hardware and architecture

  • 2020 - 2023
    • •
  • 8 251 tis. Kč
    • •
  • 3 300 tis. Kč
    • •
  • MŠMT
Projekt

Verification and Validation of Automated Systems' Safety and Security (8A20009)

The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost n...

Computer hardware and architecture

  • 2020 - 2023
    • •
  • 16 825 tis. Kč
    • •
  • 10 935 tis. Kč
    • •
  • MŠMT
Projekt

Integrated, Fail-Operational, Cognitive Perception, Planning and Control Systems for Highly Automated Vehicles (8A19007)

Deliver fail-operational holistic virtualized platforms for vehicular subsystems that are critical to automated driving (SAE Levels 3+), enabling mobility-as-a-service for next generation highly automated vehicles.......

Automation and control systems

  • 2019 - 2023
    • •
  • 16 009 tis. Kč
    • •
  • 6 405 tis. Kč
    • •
  • MŠMT
Projekt

Cyber Security for Cross Domain Reliable Dependable Automated Systems (8A18014)

The high-level goal of SECREDAS is to develop and validate multi-domain architecting methodologies, reference architectures, components and suitable integration and verification approaches for automated systems in different domains,...

Computer hardware and architecture

  • 2018 - 2021
    • •
  • 15 135 tis. Kč
    • •
  • 9 714 tis. Kč
    • •
  • MŠMT
Projekt

Integrated Process Chain for Automated and Flexible Production of Fibre-Reinforced Plastic Products (7E12088)

development of worldwide first automated turnkey manufacturing systems for fibre and well transferable manufacturing systems for the automated and robustThe proposed project ?Integrated Process Chain for Autom...

JQ - Strojní zařízení a nástroje

  • 2012 - 2014
    • •
  • 4 447 tis. Kč
    • •
  • 4 447 tis. Kč
    • •
  • MŠMT
Projekt

Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů. (OC10048)

Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.......

IN - Informatika

  • 2010 - 2012
    • •
  • 1 641 tis. Kč
    • •
  • 1 318 tis. Kč
    • •
  • MŠMT
  • 1 - 10 z 1 589