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.
CPS Vice Director
+49 421 218 59830
Our Technical Expertise
- System specification
- Change management
- Software certification
- Formal software verification
There 27 projects in this research area: