-
TEACHING
- /en/research-topics/dependable-systems-engineering/projects/teaching
TEACHING The goal of TEACHING is to design a computing platform and associated software toolkit to support the development and deployment of autonomous , adaptive and reliable CPSoS applications. In a
-
TRUSTED2
- /en/research-topics/dependable-systems-engineering/projects/trusted2
TRUSTED2 With the increasing integration of information technologies into vehicles, security is becoming a major concern in the automotive industry. The Austrian (FFG-)project TRUSTED contributed to s
-
FiBack3
- /en/research-topics/dependable-systems-engineering/projects/fiback3
FiBack3 Increasing the security of devices procured by BMLV (embedded systems) by examining binary files for backdoors. A large part of the critical IT infrastructure and IoT devices used by the BMLV
-
LearnTwins
- /en/research-topics/dependable-systems-engineering/projects/learntwins
LearnTwins Learning Digital Twins for the Validation and Verification of Dependable Cyber-Physical Systems. The Austrian “ICT for the Future” project LearnTwins will establish a method kit for automat
-
EVE
- /en/research-topics/dependable-systems-engineering/projects/eve
EVE Efficient prioritization of emergency vehicles in automated road traffic (EVE). In a cooperative and intelligent transport system (C-ITS), the different participants should be treated individually
-
CySiVuS
- /en/research-topics/dependable-systems-engineering/projects/cysivus
CySiVuS Cyber security for transport infrastructure and road operators (CySiVuS) From the point of view of road traffic infrastructure, cyber attacks pose an eminent threat to autonomously driving and
-
BESTE-AB
- /en/research-topics/dependable-systems-engineering/projects/beste-ab
BESTE-AB BESTE-AB stands for "Needs-based control of autonomous rail infrastructure" and is dedicated to the further development of an existing industrial substation for the management of autonomous t
-
AQUAS2
- /en/research-topics/dependable-systems-engineering/projects/aquas2
AQUAS2 For safety-critical systems in domains such as transportation, aerospace, or industrial control, this project focused on: Safety/Security/Performance to be considered together, during the overa
-
AUTODRIVE
- /en/research-topics/dependable-systems-engineering/projects/autodrive
AUTODRIVE The goal of the European ECSEL-project AUTODRIVE was to advance fail-aware, fail-safe, and fail-operational electronic components, systems, and architectures for highly and fully automated d
-
CyberSecPro
- /en/research-topics/dependable-systems-engineering/projects/cybersecpro
CyberSecPro The goals of the EU project CyberSecPro are to improve existing courses and training programmes on cyber security, to strengthen the focus on practical aspects of industrial security in di
-
AIDOaRT
- /en/research-topics/dependable-systems-engineering/projects/aidoart
AIDOaRT The ECSEL-project AIDOaRT plans to develop AI-augmented automation supporting modeling, coding, testing, and monitoring as part of a continuous development in Cyber-Physical Systems (CPSs), as
-
FATE
- /en/research-topics/dependable-systems-engineering/projects/fate
FATE The Austrian project FATE will develop a fault-based human-centric methodology for reasoning about cyber-physical systems (CPS) during different stages of their design. Because CPS combine digita
-
Comp4Drones
- /en/research-topics/dependable-systems-engineering/projects/comp4drones
Comp4Drones The project provided a key technologies enabler framework for safe integration of certified drones into the airspace. Adoption and use of civilian drones is very challenging due to the com
-
AFarCloud 2
- /en/research-topics/dependable-systems-engineering/projects/afarcloud-2
AFarCloud 2 The main objective of “Aggregate Farming in the Cloud“ was to provide a framework able to promote precision farming solutions by using not only new robotics platforms but also incorporatin
-
AI4CSM
- /en/research-topics/dependable-systems-engineering/projects/ai4csm
AI4CSM Develop the Functional Architecture for EV4.0 and EV5.0 and implement in ECS, enabled by Embedded Intelligence and Functional Virtualization for connected shared mobility. The H2020-ECSEL/FFG p
-
Machine Code Analysis
- /en/research-topics/dependable-systems-engineering/verification-validation/machine-code-analysis
Machine Code Analysis Machine Code Analysis Running any third-party software requires you to have trust in the software supplier not to have added any hidden functionality that could endanger your bus
-
Automated Test Case Generation
- /en/research-topics/dependable-systems-engineering/verification-validation/automated-test-case-generation
Automated Test Case Generation Automated Test Case Generation Model-based test case generation (MBTCG) is about automatically generating test cases from a computer readable specification. Its advantag
-
Runtime Verification
- /en/research-topics/dependable-systems-engineering/verification-validation/runtime-verification
Runtime Verification Runtime Verification Cyber-physical systems (CPS) integrate heterogeneous collaborative components that are interconnected between themselves and their physical environment. They
-
Safety & Security Co-Engineering
- /en/research-topics/dependable-systems-engineering/safety-security/safety-security-co-engineering
Safety & Security Co-Engineering Safety & Security Co-Engineering With the increasing connectivity of safety-critical systems, and with CPS (cyber-physical systems) and the upcoming IoT (internet of t
-
Adaptiv Systems Analysis
- /en/research-topics/dependable-systems-engineering/verification-validation/adaptiv-systems-analysis
Adaptiv Systems Analysis Adaptiv Systems Analysis The area of adaptive system analysis has been identified as a strategic expansion area, as future dependable systems will become increasingly adaptive
- «
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- 56
- 57
- 58
- 59
- 60
- 61
- 62
- 63
- 64
- 65
- 66
- 67
- 68
- 69
- 70
- 71
- 72
- 73
- 74
- 75
- 76
- 77
- 78
- 79
- 80
- 81
- 82
- 83
- 84
- 85
- 86
- 87
- 88
- 89
- 90
- 91
- 92
- 93
- 94
- 95
- 96
- 97
- 98
- 99
- 100
- 101
- 102
- 103
- 104
- 105
- 106
- 107
- 108
- 109
- 110
- 111
- 112
- 113
- 114
- 115
- 116
- 117
- 118
- 119
- 120
- 121
- 122
- 123
- 124
- 125
- 126
- 127
- 128
- 129
- 130
- 131
- 132
- 133
- 134
- 135
- 136
- 137
- 138
- 139
- 140
- 141
- 142
- 143
- 144
- 145
- 146
- 147
- 148
- 149
- 150
- 151
- 152
- 153
- 154
- 155
- 156
- 157
- 158
- 159
- 160
- 161
- 162
- 163
- 164
- 165
- 166
- 167
- 168
- 169
- 170
- 171
- 172
- 173
- 174
- 175
- 176
- 177
- 178
- 179
- 180
- 181
- 182
- 183
- 184
- 185
- »