Systems/Embedded Software Development Processes
SafeTRANS supports R & D projects in the domain of Systems and Embedded Software Development Processes addressing the following challenges:
- Models: to develop mathematical models of design entities covering the entire design space for complex safety-critical embedded systems.
- Analysis: to develop scalable, mathematically rigorous analysis methods for cross-domain, cross-layer, and cross-viewpoint analysis for complex safety-critical embedded systems.
- Design: to develop a design theory for complex safety-critical embedded systems allowing their modular construction with guaranteed compliance to system-level requirements.
- Testing: to develop a comprehensive testing theory and technology for complex embedded systems.