Their correct behaviour will not simply be a matter of functional correctness that is, making sure that the results of the computations are correct, but they will depend on timing and reliability constraints. Building such networks and systems in an efficient, predictable and reliable way in spite of the increased complexity of functions and architectures in a way that allows predictable integration of software components and platforms is the future major challenge in the communications industry.



