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 conguring 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.
This work has been partially funded by CNR, Progetto:Metodologie, e strumenti di analisi, verifica e validazione per sistemi software affidabili
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Amagbegnon, T.P., Besnard, L., Le Guernic, P.: Implementation of the data-flow Synchronous Language Signal. Proc. ACM Symposium on Programming Languages design and ImplementationACM (1995) 163–173.
Formal Methods for Industrial Applications. Abrial, J-R., Börger, E., Landmaack, H. Eds., Springer Verlag (1996).
Attanasio, C., Corradini, F., Inverardi, P.: Yet Another Real-Time Specifitgftcation for the Steam Boiler: Local Clocks to Statically Measure Systems Performance, Proc. of Fase’99, LNCS, Springer-Verlag (1999), to appear.
Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, 6(3) (1997) 213–249.
Blair, G.S., Blair, L., Bowman, H., Chetwynd, A.: Formal Specification in Distributed Multimedia Systems. University College London Press (1997).
Bowman, H., Faconti, G., Katoen, J-P., Latella, D., Massink, M.: Automatic Verification of a Lip Synchronization Algorithm Using UPPAAL. In FMICS’98 (1998).
Aceto, L., Murphy, D.: Timing and Causality in Process Algebra. Acta Informatica 33(4) (1996), 317–350.
Cleaveland, R., Parrow, J., Steffen, B.: The concurrency workbench: A semantics-based tool for the verification of concurrent systems. In ACM Transaction on Programming Languages and Systems 15 (1993).
Coen-Porisini, A., Ghezzi, C., Kemmere, R.A.: Specification of Realtime Systems Using ASTRAL. In IEEE Transaction on Software Engineering 23 (9) (1997).
Corradini, F.,: On Performance Congruences for Process Algebras. Information and Computation 145 (1998), 191–230.
Project EP-ATR. Rapport d’activite’ scientifique 1997. IRISA, INRIA-Rennes (1997).
Friesen, V., Jähnichen, S., Weber, M.: Specification of Software Controlling a Discrete-Continuos Environment. ACM Proceedings ICSE97 (1997), 315–325.
Ghezzi, C., Mandrioli, D., Morzenti, A.: TRIO: A Logic Language for Executable Specifications of Real-Time Systems. Journal Systems and Software, 25 (2) (1994).
Gorrieri, R., Roccetti, M., Stancampiano, E.: A Theory of Processes with Durational Actions. Theoretical Computer Science 140 (1) (1995), 73–94.
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, New Jersey (1985).
Intrigila, B., Inverardi, P., Venturini Zilli, M.: A Comprehensive Setting for Matching and Unification over Iterative Terms. Submitted to Fundamenta Informaticae.
Inverardi, P., Wolf, A.L.: Formal Specification and Analysis of Software Architectures using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21 (4) (1995), 373–386.
Kramer, J., Magee J.: Exposing the skeleton in the coordination closet. Proc. of Coordination’97, LNCS 1282, Springer-Verlag (1997), 18–31.
Real-Time Systems Specification, Verification and Analysis. Mathai, J. Ed., Prentice Hall Internation Series in Computer Science (1996).
Milner, R.: Communication and concurrency. International series on computer science, Prentice Hall International (1989).
Moller, F., Tofts, C.: A Temporal Calculus of Communicating Systems. Proc. of CONCUR’90, LNCS 459, Springer-Verlag (1990), 401–415.
Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. Theoretical Computer Science 58, pp. 249–261, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Attanasio, C., Corradini, F., Inverardi, P. (1999). Static Analysis of Real-Time Component-based Systems Congurations. In: Ciancarini, P., Wolf, A.L. (eds) Coordinatio Languages and Models. COORDINATION 1999. Lecture Notes in Computer Science, vol 1594. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48919-3_23
Download citation
DOI: https://doi.org/10.1007/3-540-48919-3_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65836-8
Online ISBN: 978-3-540-48919-1
eBook Packages: Springer Book Archive