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 in which it will be working in are modelled in order to analyze the requirements. The resulting specification is translated in sevaral steps into program code. The architecture designed in this fashion has to satisfy the requirements initially laid out, particularly with regard to safety and security of the system. To make this process safe, robust, and reliable, an integrated approach to quality assurance on all levels of the system design is required.

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:

Developing a search engine for the B2C area using artificial intelligence.
Jan 2018 - Jun 2019
Safety of Transport Infrastructure on the TEN-T Network
May 2017 - Apr 2020
Self-Verification of Electronic Systems
Aug 2016 - Jul 2019
BDD Manipulation for Approximate Computing
Jan 2016 - Dec 2018
Maintainable Role-Based Rights Management
Oct 2015 - Jan 2016
Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments
Oct 2014 - Aug 2016
Developing a Search Machine using Principles of Artificial Intelligence
Oct 2014 - Jan 2016
Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität
May 2014 - Oct 2016
Quality-driven Design Flow using Formal Specifications and Functional Change Management
Aug 2013 - Jul 2016
Automatic Formalisation of legal texts aided by natural language processing
Jan 2013 - Jun 2014
Assistants for Safe Mobility
Jun 2012 - May 2015
Software Engineering for Spreadsheet Interaction
Mar 2012 - Feb 2014
Semantically Founded Implementation of Clinical Practice Guidelines
Oct 2011 - Sep 2013
Semantic Integration of Heterogenous Processes
Jan 2011 - Dec 2013
Echtzeitbildverarbeitung und -bewegungsplanung für einen ballfangenden humanoiden Roboter
Jan 2010 - Dec 2012
Sicherer Kegelscanner
Jan 2010 - Dec 2011
Logic Atlas & Integrator
Nov 2009 - Dec 2012
Formal Development for Safe Robotics
Jan 2008 - Dec 2010
Ontology-Driven Management of Change
Jan 2008 - Jan 2010
Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic
Oct 2007 - Sep 2009
Safety component for autonomous mobile service robots
May 2006 - Aug 2009
Generic User Interfaces for Interactive Theorem Provers
Jan 2005 - Dec 2007
Abstraction and Reuse of Formal Developments
Jan 2002 - Jan 2007
HasCASL
Jan 2001 - Jan 2007
Automatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments
Jan 2001 - Jan 2007
Multimedia - Instruktion in Sicheren Systemen
Jan 2001 - Dec 2003
Heterogeneous Tool Set
Jan 2000 - Dec 2007

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