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

2 139 (0,123s) •

Projekt

Reduced Certification Costs Using Multi-core Platforms (7H10007)

cost-efficient certification and re-certification of safety-critical systems and mixed-criticality systems, i.e. systems containing safety-critical and nonsafety-domain implementations of mixedcriticality...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2010 - 2012
    • •
  • 7 146 tis. Kč
    • •
  • 2 789 tis. Kč
    • •
  • MŠMT
Projekt

SESAMO - Methods and processes for safety-relevant embedded systems Embedded Systems for Security and Critical Infrastructures Protection Computing platforms for embedded systems (7H12010)

convergence of safety and security in embedded systems at architectural level, where subtle and poorly understood interactions between functional safety and security: the absence of a rigorous theoretical and practical und...

JC - Počítačový hardware a software

  • 2012 - 2015
    • •
  • 7 732 tis. Kč
    • •
  • 2 577 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 are used to design improved process workflows for V&V of automated

Computer hardware and architecture

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

Security and Safety Modelling (7H12007)

convergence of safety and security in embedded systems at architectural level, where subtle and poorly understood interactions between functional safety and security implementationof safe and secure systems - proc...

JC - Počítačový hardware a software

  • 2012 - 2015
    • •
  • 4 906 tis. Kč
    • •
  • 4 087 tis. Kč
    • •
  • MŠMT
Projekt

Reduced Certification Costs for Trusted Multi-core Platforms (7H10013)

cost-efficient certification and re-certification of safety-critical systems and mixed-criticalitysystems, i.e. systems containing safety-critical and non-safety embedded systems is mainly provid...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2010 - 2013
    • •
  • 11 970 tis. Kč
    • •
  • 10 449 tis. Kč
    • •
  • MŠMT
Projekt

Reduced Certification Costs Using Trusted Multi-core Platforms (7H10016)

cost-efficient certification and re-certification of safety-critical systems and mixed-criticalitysystems, i.e. systems containing safety-critical and nonsafety embedded systems is mainly provided by incr...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2010 - 2012
    • •
  • 16 381 tis. Kč
    • •
  • 9 627 tis. Kč
    • •
  • MŠMT
Projekt

Reduced Certification Costs for Trusted Multi-core Platforms (7H10004)

cost-efficient certification and re-certification of safety-critical systems and mixed-criticalitysystems, i.e. systems containing safety-critical and non-safety embedded systems is mainly provid...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2010 - 2012
    • •
  • 19 672 tis. Kč
    • •
  • 10 111 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 needed to ...

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 needed to ...

Computer hardware and architecture

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

Aggregated Quality Assurance for Systems (8A17001)

- particularly for safety critical systems such as the transportation, aerospace and theThere is an ever increasing complexity of the systems we engineer in modern factors including safety, security and performanc...

JC - Počítačový hardware a software

  • 2017 - 2020
    • •
  • 22 917 tis. Kč
    • •
  • 14 862 tis. Kč
    • •
  • MŠMT
  • 1 - 10 z 2 139