Forschungsprojekte
Laufende Projekte
- CertML – Certifiable Machine Learning Based Control for Safety-critical Applications (X, 01/2022 - 12/2025)
- SFB TRR 339: Digitaler Zwilling Straße (DFG, 01/2022 - 12/2025)
- CeTI: Center for Tactile Internet with Human-in-the-Loop (DFG, 05/2019 - 12/2025)
- 6G Life (BMBF, 08/2021 - 08/2025)
- Boysen: Hydrogen 4 GreenIT (Friedrich and Elisabeth Boysen Foundation, 02/2022 - 01/2025)
- HybridPPS (DFG, 01/2020 - 12/2022)
- ARAILIS (TG70/SAB, 02/2020 - 12/2022)
- Clinical Data PROSPER (SAB, 11/2019 - 12/2022)
- GRK1907 - RoSI - Role-based Software Infrastructures for Continuous-Context-Sensitive Systems (DFG, 10/2013 - 09/2022)
- EEmotion - Embedded Excellence - Vehicle Dynamics with Artificial Intelligence ()
- EmbeddedSafeSec - Life Cycle Model and Integrated Methodology for Safety and Security Co-Engineering ()
Lehrstuhl-eigene Projekte
- Dresden OCL
- SalesPoint-Framework
- SLR Toolkit
- Zeitzeugen zum 50-Jahre-Jubiläum der Informatikausbildung an der TU Dresden
- INLOOP
- LINC - Lean Innovation Center
Abgeschlossene Projekte
- SNIFFBOT (SAB, 05/2019 - 12/2021)
- IPS Framework (AIF/IFL, 01/2020 - 12/2021)
- ConSens Data Glasses 4 SME (EKFZ/IIP, 09/2020 - 12/2021)
- RISCOS - Rule-Based Invasive Software Composition with Strategic Port-Graph Rewriting (DFG, 01/2017 - 12/2020)
- ILMA - Integrales Lifecycle Management für die Abwasserreinigung (BMBF, 08/2017 - 05/2020)
- CyPhyMan - Cyber-Physical Manufacturing Facility Management (SAB, 05/2016 - 04/2020)
- MQuaML: Multi-quality-based Selection Framework of Machine Learning Algorithms (BMBF, 04/2018 - 03/2020)
- OpenLicht (BMBF, 09/2016 - 12/2019)
- SFB 912 - HAEC - Highly Adaptive Energy-efficient Computing (DFG, 07/2011 - 06/2019)
- IoSense - Flexible FE/BE Sensor Pilot Line for the Internet of Everything (EU ECSEL, 05/2016 - 04/2019)
- Exzellenzcluster - cfAED (DFG, 01/2012 - 12/2018)
- AMOSY - Adaptive Mobile Systeme (SAB, 08/2017 - 12/2018)
- einfach:ambulant (100292821 , 10/2016 - 12/2018)
- GUIDES - Generalized Support and Investigation Design for Nested Systems (SAB, 09/2015 - 11/2017)
- SysPlace - Ecosystem of Displays (01IS14018E, 09/2014 - 03/2017)
- SmartLoader (SAB, 04/2016 - 12/2016)
- T-RoX - Teaching Robots in SaXony (SMWK, 01/2015 - 12/2016)
- VICCI - Visuelle Steuerung und Entwicklung von CPS Systemen (ESF, 01/2012 - 12/2014)
- euroTRACKex (SAB, 11/2012 - 10/2014)
- MATE - The Mobile Application Test Environment (ESF, 04/2011 - 03/2014)
- ZESSY - Entwurf Zukünftiger Eingebetteter Systeme (ESF, 11/2010 - 10/2013)
- CoolSoftware (BMBF, 10/2009 - 09/2012)
- SemVis - Flexible Visualizations of Semantic Web Data (ESF, 01/2009 - 12/2011)
- HyperAdapt - Wohlgeformte und kontrollierte mehrstufige aspektorientierte Adaption von Hypermediaanwendungen (DFG, 07/2008 - 09/2011)
- MOST - Marrying Ontology and Software Technology (EU FP7, 02/2008 - 04/2011)
- OUTPUT4Business (Bundesministerium für Verkehr, Bau und Stadtentwicklung (BMVBS) und Projektträger Jülich (PtJ), 01/2008 - 10/2010)
- MODELPLEX - Modelling Solution for Complex Systems (EU FP6, 09/2006 - 02/2010)
- feasiPLe - Feature-getriebene, aspektorientierte und modellgetriebene Produktlinienentwicklung (BMBF, 06/2006 - 05/2009)
- SuReal - Sicherheitsgarantien unter Realzeitanforderungen (BMBF, 05/2006 - 04/2009)
- REWERSE - Reasoning on the Web with rules and semantics (EU FP6, 03/2004 - 02/2008)
- B2-PDE (SAB, 07/2005 - 06/2007)
- PreCon - Predictive Configuration of Manufacturing Systems (SAP, 07/2006 - 06/2007)
- COMQUAD - COMponents with QUantitative properties and ADaptation (DFG, 01/2001 - 12/2004)
- HIDOORS - High-Integrity Distributed Object-Oriented Real-time Systems (EU FP5, 01/2002 - 09/2004)
- AQUILA - Adaptive Resource Control for QoS Using an IP-based Layered Architecture (EU FP5, 01/2000 - 12/2002)
- CoFI - Common Framework Initiative for algebraic specification and development of software (EU, 10/1998 - 04/2001)
- INSIGNIA (EU-Programm ACTS)
- ELISA - European experiment on the linkage between internet integrated services and atm (EU-Programm ACTS)
- SiReSS - Safety-related Reconfigurable Systems of Systems ()
- APVSS – ASIL Prepared Video Safety Systems ()