Publication

Formal methods for communication services: meeting the industry expectations

Jean-Pierre Hubaux
2002
Journal Articles

Abstract

We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider different communication architectures and work related to the feature interaction problem. Based on our survey and on extensive discussions with the industry, we investigate important industrial concerns and criticisms about about the use of FMs for the development of communication services. We report on a collaborative project between the Swiss Federal Institute of TEchnology in Lausanne, Swisscom, Alcatel and Thomson in which these industrial concerns have bee taken into account from the very beginning. The results of this project are currently being integrated into and industrial software development platform.

Official source

https://infoscience.epfl.ch/entities/publication/8090243e-263f-44cb-9e9e-d2c561360b27

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Jean-Pierre Hubaux
2002
Journal Articles

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/8090243e-263f-44cb-9e9e-d2c561360b27

About this result

Related concepts (32)

Project

A project is any undertaking, carried out individually or collaboratively and possibly involving research or design, that is carefully planned to achieve a particular goal. An alternative view sees a project managerially as a sequence of events: a "set of interrelated tasks to be executed over a fixed period and within certain cost and other limitations". A project may be a temporary (rather than a permanent) social system (work system), possibly staffed by teams (within or across organizations) to accomplish particular tasks under time constraints.

Project management

Project management is the process of leading the work of a team to achieve all project goals within the given constraints. This information is usually described in project documentation, created at the beginning of the development process. The primary constraints are scope, time, and budget. The secondary challenge is to optimize the allocation of necessary inputs and apply them to meet pre-defined objectives. The objective of project management is to produce a complete project which complies with the client's objectives.

Industrial policy

A country's industrial policy (IP) or industrial strategy is its official strategic effort to encourage the development and growth of all or part of the economy, often focused on all or part of the manufacturing sector. The government takes measures "aimed at improving the competitiveness and capabilities of domestic firms and promoting structural transformation". A country's infrastructure (including transportation, telecommunications and energy industry) is a major enabler of the wider economy and so often has a key role in IP.

Related publications (12)

Formal methods for communication services: meeting the industry expectations

Chat with Graph Search

Regenerative Architecture for the Barracks of Poya

Remote sensing of the nearshore zone using a rotary-wing UAV

Karahnjukar dam spillway: Comparison of operational data and results from hydraulic modelling