Research Area Software Systems

(Quelle: DFKI GmbH/Universität Bremen)

Software systems contain a nearly unmanageable amount of information and complexity. When designing and implementing software for cyber-physical systems, scientists must make complexity manageable. To this end, both the system and the environment it will be working in are modelled in order to analyse the requirements. The resulting specification is translated, in many steps, into program code. The architecture designed in this fashion has to satisfy the requirements initially laid out, in particular with regards to safety and security of the system. To make this process safe, robust, and reliable requires an integrated approach to quality assurance on all levels of the system design.

Our expertise covers the whole design process, from system specification and formal modelling to comprehensive document management, software certification and formal verification.

Contact

chlu01 Prof. Dr. Christoph Lüth
CPS Vice Director
+49 421 218 59830


Our Technical Expertise

  • System specification
  • Change management
  • Software certification
  • Formal software verification

Projects

There 27 projects in this research area:

Entwicklung einer den Prinzipien der Künstlichen Intelligenz folgenden Suchmaschine, Teil 2/B2C
Jan 2018 - Jun 2019
Sicherheit der Transport-Infrastruktur im TEN-T Netzwerk
Mai 2017 - Apr 2020
Selbstverifikation von Elektronischen Systemen
Aug 2016 - Jul 2019
Manipulation von BDDs für Approximate Computing
Jan 2016 - Dez 2018
Wartbares rollenbasiertes Berechtigungsmanagement
Okt 2015 - Jan 2016
Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments
Okt 2014 - Aug 2016
Entwicklung einer den Prinzipien der Künstlichen Intelligenz folgenden Suchmaschine
Okt 2014 - Jan 2016
Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität
Mai 2014 - Okt 2016
Quality-driven Design Flow using Formal Specifications and Functional Change Management
Aug 2013 - Jul 2016
Automatische Formalisierung gesetzlicher Regularien mit Hilfe von Natural Language Processing Techniken
Jan 2013 - Jun 2014
Assistants for Safe Mobility
Jun 2012 - Mai 2015
Software Engineering for Spreadsheet Interaction
Mär 2012 - Feb 2014
Semantisch fundierte Implementierung klinischer Leitlinien
Okt 2011 - Sep 2013
Semantic Integration of Heterogenous Processes
Jan 2011 - Dez 2013
Echtzeitbildverarbeitung und -bewegungsplanung für einen ballfangenden humanoiden Roboter
Jan 2010 - Dez 2012
Sicherer Kegelscanner
Jan 2010 - Dez 2011
Logic Atlas & Integrator
Nov 2009 - Dez 2012
Formale Entwicklung für Sichere Robotik
Jan 2008 - Dez 2010
Ontology-Driven Management of Change
Jan 2008 - Jan 2010
Generische Algorithmen und Komplexitätsschranken für Koalgebraische Modallogiken
Okt 2007 - Sep 2009
Sicherungskomponente für Autonome Mobile Systeme
Mai 2006 - Aug 2009
Generische Benutzerschnittstellen für interaktive Theorembeweiser
Jan 2005 - Dez 2007
Abstraktion und Wiederverwendung Formaler Entwicklungen
Jan 2002 - Jan 2007
HasCASL
Jan 2001 - Jan 2007
Automatische Plan- und Intentionserkennung fremder mobiler Roboter in kooperierenden und konkurrierenden dynamischen Umgebungen
Jan 2001 - Jan 2007
Multimedia - Instruktion in Sicheren Systemen
Jan 2001 - Dez 2003
Heterogeneous Tool Set
Jan 2000 - Dez 2007

© DFKI GmbH
last updated 19/07/2018
to top