Skip to main content
SpringerLink
Log in

Static Analysis of Real-Time Component-based Systems Congurations

  • Conference paper
  • First Online:
Book cover Coordinatio Languages and Models (COORDINATION 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1594))

Included in the following conference series:

  • 204 Accesses

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. Formal Methods for Industrial Applications. Abrial, J-R., Börger, E., Landmaack, H. Eds., Springer Verlag (1996).

    Google Scholar 

  3. 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.

    Google Scholar 

  4. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, 6(3) (1997) 213–249.

    Article  Google Scholar 

  5. Blair, G.S., Blair, L., Bowman, H., Chetwynd, A.: Formal Specification in Distributed Multimedia Systems. University College London Press (1997).

    Google Scholar 

  6. Bowman, H., Faconti, G., Katoen, J-P., Latella, D., Massink, M.: Automatic Verification of a Lip Synchronization Algorithm Using UPPAAL. In FMICS’98 (1998).

    Google Scholar 

  7. Aceto, L., Murphy, D.: Timing and Causality in Process Algebra. Acta Informatica 33(4) (1996), 317–350.

    Article  MATH  MathSciNet  Google Scholar 

  8. 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).

    Google Scholar 

  9. Coen-Porisini, A., Ghezzi, C., Kemmere, R.A.: Specification of Realtime Systems Using ASTRAL. In IEEE Transaction on Software Engineering 23 (9) (1997).

    Google Scholar 

  10. Corradini, F.,: On Performance Congruences for Process Algebras. Information and Computation 145 (1998), 191–230.

    Article  MATH  MathSciNet  Google Scholar 

  11. Project EP-ATR. Rapport d’activite’ scientifique 1997. IRISA, INRIA-Rennes (1997).

    Google Scholar 

  12. Friesen, V., Jähnichen, S., Weber, M.: Specification of Software Controlling a Discrete-Continuos Environment. ACM Proceedings ICSE97 (1997), 315–325.

    Google Scholar 

  13. Ghezzi, C., Mandrioli, D., Morzenti, A.: TRIO: A Logic Language for Executable Specifications of Real-Time Systems. Journal Systems and Software, 25 (2) (1994).

    Google Scholar 

  14. Gorrieri, R., Roccetti, M., Stancampiano, E.: A Theory of Processes with Durational Actions. Theoretical Computer Science 140 (1) (1995), 73–94.

    Article  MATH  MathSciNet  Google Scholar 

  15. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, New Jersey (1985).

    MATH  Google Scholar 

  16. Intrigila, B., Inverardi, P., Venturini Zilli, M.: A Comprehensive Setting for Matching and Unification over Iterative Terms. Submitted to Fundamenta Informaticae.

    Google Scholar 

  17. 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.

    Article  Google Scholar 

  18. Kramer, J., Magee J.: Exposing the skeleton in the coordination closet. Proc. of Coordination’97, LNCS 1282, Springer-Verlag (1997), 18–31.

    Google Scholar 

  19. Real-Time Systems Specification, Verification and Analysis. Mathai, J. Ed., Prentice Hall Internation Series in Computer Science (1996).

    Google Scholar 

  20. Milner, R.: Communication and concurrency. International series on computer science, Prentice Hall International (1989).

    Google Scholar 

  21. Moller, F., Tofts, C.: A Temporal Calculus of Communicating Systems. Proc. of CONCUR’90, LNCS 459, Springer-Verlag (1990), 401–415.

    Google Scholar 

  22. Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. Theoretical Computer Science 58, pp. 249–261, 1988.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica Pura ed Applicata, Universitá dell’Aquila, Via Vetoio, Loc. Coppito, L’Aquila, Italy

    Candida Attanasio, Flavio Corradini & Paola Inverardi

Authors
  1. Candida Attanasio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Flavio Corradini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paola Inverardi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università die Bologna, Mura Anteo Zamboni, 7, I-40127, Bologna, Italy

    Paolo Ciancarini

  2. Department of Computer Science, University of Colorado, Boulder, CO, 80309-0430, USA

    Alexander L. Wolf

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation