logseq/pages/hls__wp-7-digital-industry-and-space_horizon-2023-2024_en_(1)_1697629060680_0.md

file-path:: ../assets/wp-7-digital-industry-and-space_horizon-2023-2024_en_(1)_1697629060680_0.pdf

• file:: wp-7-digital-industry-and-space_horizon-2023-2024_en_(1)_1697629060680_0.pdf file-path:: ../assets/wp-7-digital-industry-and-space_horizon-2023-2024_en_(1)_1697629060680_0.pdf
• HORIZON-CL4-2024-DIGITAL-EMERGING-01-22: Fundamentals of Software Engineering (RIA) ls-type:: annotation hl-page:: 245 hl-color:: purple id:: 652fc39c-87d2-417f-b7a3-29b29f0780a7
• novel AI and data technologies ls-type:: annotation hl-page:: 245 hl-color:: purple id:: 652fc3bb-8b62-4a44-9dc3-560b22cd9785
• accelerate the development and maintenance of software ls-type:: annotation hl-page:: 245 hl-color:: purple id:: 652fc3c5-d1d5-4819-b49b-6e08f6674055
• efficient and agile modelling, verification and validation, as well as vulnerability assessment and mitigation ls-type:: annotation hl-page:: 245 hl-color:: purple id:: 652fc3d0-ab1f-4de8-8f1f-afcf86ab2586
• at least one of these areas ls-type:: annotation hl-page:: 245 hl-color:: purple id:: 652fc3d7-4734-4ed7-ba9d-b71393e94e33
• smart intelligent system specification ls-type:: annotation hl-page:: 245 hl-color:: purple id:: 652fc3f1-1d22-411f-b969-6e32971a9b93
• agile system and code development ls-type:: annotation hl-page:: 245 hl-color:: purple id:: 652fc3f5-ae2f-4b7f-8347-9d19f3b46a47
• advanced code analysis ls-type:: annotation hl-page:: 245 hl-color:: purple id:: 652fc3fb-0894-4b90-a6ce-ef5bf0c0ff8b
• fault prediction and location ls-type:: annotation hl-page:: 245 hl-color:: purple id:: 652fc401-c0a7-4be7-8196-b27e89902c53
• self-repair by using emerging techniques, in particular based on AI and data technologies ls-type:: annotation hl-page:: 246 hl-color:: purple id:: 652fc408-d7d7-4854-9846-7dde938b1375
• automatically derive requirements and produce conceptual and architectural models ls-type:: annotation hl-page:: 246 hl-color:: blue id:: 652fc418-8ffa-435d-b36d-b3d0d9f72244
• mastering complex requirements, design-by-contract programming at all levels of integration, semi-automatic creation of pre-conditions, post-conditions and invariants for software modules facilitating automated unit and integration testing ls-type:: annotation hl-page:: 246 hl-color:: blue id:: 652fc429-6b7c-4083-bd36-6d4486cbb254
• three industrial or societal use-case ls-type:: annotation hl-page:: 246 hl-color:: purple id:: 652fc432-5e5d-47b2-9b2a-950feda4332b
• responsible software engineerin ls-type:: annotation hl-page:: 246 hl-color:: purple id:: 652fc437-ff9b-4c85-8887-d4c03392349f
• optimising energy usage, reducing the environmental footprint, security-by-design, and data protection ls-type:: annotation hl-page:: 246 hl-color:: blue id:: 652fc441-6348-495e-81be-b0b77ab3b5fa
• interface with relevant existing standards ls-type:: annotation hl-page:: 246 hl-color:: purple id:: 652fc44e-0927-4db7-bc2f-94cb7f88e891
• deliver results under Open Source license ls-type:: annotation hl-page:: 246 hl-color:: purple id:: 652fc453-abef-4ea4-8275-880dcd89705d
• build on or seek collaboration with existing projects ls-type:: annotation hl-page:: 246 hl-color:: purple id:: 652fc45b-135c-436c-8a39-d461d9d7d85c
• develop synergies with other relevant European, national or regional initiatives, funding programmes and platforms ls-type:: annotation hl-page:: 246 hl-color:: purple id:: 652fc466-f5c1-4ea0-bf4a-28c81821d636
• TRL 2 and achieve TRL 5 ls-type:: annotation hl-page:: 245 hl-color:: blue id:: 6532287d-4f05-4622-b7af-542527d3f77d