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.

---

back