SUCHE
Inhaltstyp
Kategorien
-
CREDENTIAL kick-off meeting
define next steps and goals. CREDENTIAL is a EU Horizon 2020 funded research project developing, testing and showcasing innovative cloud-based services for storing, managing, and sharing digital identity
-
AIT Austrian Institute of Technology key partner in MBAT (Combined Model-based Analysis and Testing of Embedded Systems)
University of Technology is providing its expertise and tools in model-based testing. Especially, their novel fault-based testing approach for automatically generating test cases that cover certain fault [...] use case (Virtual Prototype Airbag ECU) and is active in tasks on modelling, timing analysis and testing and analysis of the HW Interface API Layer. Because of their strong involvement, AIT and AVL are
-
AIT veranstaltet internationales ARTEMIS Projektmeeting
ist zudem auch die Domäne „Healthcare“ dazugekommen, in die sich das AIT im Bereich Standards und Testing einbringt.Der WorkshopNach einer Vorstellung des AIT Austrian Institute of Technology durch Manfred [...] Integrierten Projektes DECOS, Verantwortlicher Egbert Althammer), MoMuT (Model-based Mutation-based Testing and Test Case Generation, entwickelt im FP7 Projekt MOGENTES und im nationalen Projekt TRUFAL weiter
-
Crisis and Disaster Management experiment
ng crowdtasking implementations. For this purpose, professionals of the Austrian Red Cross were testing the crowdtasking tools at the premises of the AIT Austrian Institute of Technology to interact
-
Crisis and Disaster Management experiment
ng crowdtasking implementations. For this purpose, professionals of the Austrian Red Cross were testing the crowdtasking tools at the premises of the AIT Austrian Institute of Technology to interact
-
Software innovation: boosting high-tech employment and industry
latest developments concerning software based workflow engines for the analysis, certification and testing of safety relevant systems. These tools are necessary for a reduction of costs and efforts within
-
ICT 2010
well as individual feedback via adapted human machine interfaces. 4. Verification & Validation Testing and verification tools for the automated generation of efficient test cases relying on development
-
ICT 2010
well as individual feedback via adapted human machine interfaces. 4. Verification & Validation Testing and verification tools for the automated generation of efficient test cases relying on development
-
EU-Projekt MOGENTES: AIT Know-how für sichere Technologien
sicherheitskritischen, eingebetteten Systemen, z.B. im ARTEMIS Projekt MBAT (Model-Based Analysis and Testing) oder bei pSafeCer (Safety Certification of Software-Intensive Systems with Reusable Components)
-
Weltkonferenz für cyber-physikalische Systeme in Wien
sicherheitskritischer Systeme“ war das Thema für das erste Workshop „1st Workshop on Monitoring and Testing of Cyber-Physical Systems“ (MT CPS), der von Dejan Nickovic, Senior Scientist am AIT Digital Safety
-
AIT Vorträge auf dem International Symposium on Visual Computing (ISVC)
images (EPIs) and subsequent EPI-based depth estimation. We compare several approaches based on testing various slope hypotheses in the EPI domain, which can directly be related to depth. The considered
-
Österreichische Spitzenforschung holt Weltkonferenz für cyber-physikalische Systeme nach Wien
sicherheitskritischer Systeme“ ist Hintergrund für den Workshop „1st Workshop on Monitoring and Testing of Cyber-Physical Systems“ (MT CPS), der von Dejan Nickovic, Senior Scientist am AIT Digital Safety
- 1