Static Analysis of Real-Time Component-Based Systems Configurations

  • Authors:

  • Candida Attanasio;Flavio Corradini;Paola Inverardi

  • Affiliations:

  • -;-;-

  • Venue:
  • COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

Nowadays, more and more often, complex systems are built by assembling together different system components. This technology also affects the construction of heterogeneous and/or hybrid systems where components can represent hardware sensors, software controllers, etc. Moreover the resulting system is normally distributed. These systems have often real-time constraints/requirements and each component is characterized by its own speed determined by its local clock. In this paper we present a framework in which it is possible to specify and statically analyze the architecture of a system as a network of (parallel) components, each one with its own local clock. Then configuring the system means to formally define how to get the global clock out of the local clocks. This allows us, besides the usual behavioral and timing analysis, to, for example, verify if, and how changing the local speed of a component can affect the global performance of the system.