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
Our Technical Expertise
- System specification
- Change management
- Software certification
- Formal software verification
Projects
There 36 projects in this research area:
