Many embedded applications have real-time characteristics, as they timely interact with their environment: the response to any event must be provided within a deadline, otherwise some data might be lost.
However, most design methodologies and tools do not currently take into account real-time constraints into the design cycle. Many important design and implementation decisions are still taken based on the designer’s experience.
The objective of this research is to provide a methodology for supporting the design and analysis of real-time applications in the telecommunications domain.
