Search for European Projects

The ongoing integration of software-intensive embedded systems and global communication networks into Cyber-Physical Systems (CPS) is considered to be the next revolution in ICT with a lot of game-changing business potential and novel business models for integrated services and products. CPS will be a core enabling technology for securing economic leadership in embedded systems/ICT, having an enor ...

COMBEST will provide a formal framework for component based design of complex embedded systems. This framework will:1.\tEnable formal integration of heterogeneous components, such as with different models of communication or execution;2.\tProvide complete encapsulation of components both for functional and extra-functional properties and develop foundations and methods ensuring composability of co ...