Grant: Canada Research Chairs

End-user services (e.g. Multimedia and multiparty games, distance learning, video on demand) are the raison dêtre of communications networks. The specification and validation of architectures for end-user services in communication networks is a majorengineering challenge. The widest possible range of services needs to be engineered; all the phases of the life cycle (e.g. development, deployment, execution, usage and withdrawal) need to be addressed; and the specifics of the communications networks need to be taken into account. This research program focus on specification and validation of comprehensive architectures (e.g. concepts, principles, rules) for engineering end-user services in communications networks. The program draws on several disciplines (e.g. distributed systems, software engineering, networking) and deals with both conventional networks (e.g. 3G) and challenged networks (e.g. mobile ad hoc networks, wireless sensors and actuators networks).