Drivers: Embedded and CPS Applications and Platforms

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.

European Projects:

ENABLE-S3

CRYSTAL MBAT

D3CoS

HoliDes CESAR SAFE

National Projects:

CSE SPESS XT IMOST2