Skip to main content
SpringerLink
Log in

Preface of “Specification and Validation of Real Time and Embedded systems in UML”

  • Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

The ideas of the papers in this special section have originally been presented at the first edition of the workshop on Specification and Validation of Real Time and Embedded Systems (SVERTS) that was held as a satellite workshop of the UML 2003 Conference in San Francisco.

The motivation for initiating this workshop was the fact that UML started to be used more and more also for modelling real-time and embedded software systems, whereas it was lacking features for appropriately modelling this kind of systems. Another motivation was the fact that UML was missing an accepted dynamic semantics, or at least a framework for defining profiles not just in terms of syntax, but also their semantics.

The six papers in this section reflect all parts of this problem.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Alur, R., Dang, T., Esposito, J.M., Fierro, R.B., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G. J., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8–10, 2001. LNCS 2211 pp. 14–31 (2001)

  2. Alur, R., Dill, D.: A theory of timed automata. Theor. Comp. Sci. 126, 183–235 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  3. Arons, T., Hooman, J., Kugler, H., Pnueli, A., van der Zwaag, M.: Deductive verification of UML models in TLPVS. In: Proceedings UML 2004, pp. 335–349. LNCS 3273, Springer-Verlag (2004)

  4. Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. In: Proceedings of the IEEE, 91(1) (2003)

  5. Berkenkötter, K., Bisanz, S., Hennemann, U., Peleska, J.: Hybrid profile for UML 2.0. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)

  6. Bozga, M., Graf, S., Mounier, L.: IF-2.0: A validation environment for component-based real-time systems. In: Proceedings of Conference on Computer Aided Verification, CAV'02, Copenhagen. LNCS 2404, Springer Verlag (2002)

  7. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. LNCS 3185 (June 2004)

  8. Caspi, P., Benveniste, A., Le Guernic, P., Halbwachs, N.: A decade of concurrency, reflexions and perspeptives. In: REX Symposium, LNCS 803 (1993)

  9. Damm, W., Harel, D.: LSCs: Breathing life into Message Sequence Charts. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.), FMOODS'99 IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems. Kluwer Academic Publishers, 1999. J. Formal Methods Syst. Des. (July 2001)

  10. Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding UML: A formal semantics of concurrency and communication in real-time UML. In: de Boer, F., Bonsangue, M., Graf, S., de Roever, W.-P. (eds.), Proceedings of the 1st Symposium on Formal Methods for Components and Objects (FMCO 2002), pp. 70–98. LNCS Tutorials 2852 (2003)

  11. Damm W., Westphal, B.: Live and let die: LSC based verification of UML models. Science of Computer Programming (2004) (to appear) available at http//www.sciencedirect.com/

  12. de Simone, R., André, Ch.: Towards a “Synchronous Reactive” UML profile. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)

  13. Graf, S., de Boer, F.S., Combes, P., Hooman, J., Kugler, H., Kyas, M., Lesens, D., Ober, I., Votintseva, A., Yushtein, Y., Zenou, M.: Omega final project report. Deliverable of the Omega IST project (2005)

  14. Graf, S., Hooman, J.: Correct development of embedded systems. In: European Workshop on Software Architecture: Languages, Styles, Models, Tools, and Applications (EWSA 2004), co-located with ICSE 2004, St. Andrews, Scotland, LNCS 3047, pp. 241–249. Springer-Verlag (2004)

  15. Graf, S., Ober, I., Ober, I.: Timed annotations in UML. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)

  16. Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time. i. lower bounds. J. Comp. Syst. Sci. 38(1), 195–237 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  17. Henzinger, T.A.: The theory of hybrid automata. In: Conference on Logic in Computer Science, LICS, pp. 278–292 (1996)

  18. Küster-Filipe, J., Anderson, S.: On a time enriched OCL liveness template. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)

  19. Kyas, M.: A compositional proof of the sieve of Eratosthenes in PVS. Technical report, University of Kiel (2004)

  20. Kyas, M., Fecher, H., de Boer, F.S., van der Zwaag, M., Hooman, J., Arons, T., Kugler, H.: Formalizing UML models and OCL constraints in PVS. In: Workshop on Semantic Foundations of Engineering Design Languages, SFEDL 2004, ENTCS 115, pp. 39–47. Elsevier (2004)

  21. Marelly, R., Harel, D., Kugler, H.: Multiple instances and symbolic variables in executable sequence charts. In: Proceedings of 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'02), pp. 83–100. Seattle, WA (2002)

  22. Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)

  23. OMG Unified Modeling Language Specification—Object Constraint Language Version 2.0 (2003)

  24. OMG.: Response to the OMG RFP for Schedulability, Performance and Time, v. 2.0. OMG document ad/2002-03-04 (March 2002)

  25. OMG.: UML profile for modeling and analysis of real-time and embedded systems (February 2005)

  26. Richters, M., Gogolla, M.: A metamodel for OCL. In: France, R., Rumpe, B. (eds.), UML'99—The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28–30. 1999, Proceedings, LNCS 1723. Springer (1999)

  27. Schinz, I., Toben, T., Mrugalla, C., Westphal, B.: The Rhapsody UML verification environment. In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), pp. 174–183. IEEE Computer Society (2004)

  28. van der Zwaag, M., Hooman, J.: A semantics of communicating reactive objects with timing. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)

Download references

Author information

Authors and Affiliations

  1. Verimag, France

    Susanne Graf

  2. University of Oslo, Norway

    Oystein Haugen

  3. IRIT, Toulouse, France

    Ileana Ober

  4. IBM Rational Software, Canada

    Bran Selic

Authors
  1. Susanne Graf
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Oystein Haugen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ileana Ober
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Bran Selic
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Susanne Graf.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Graf, S., Haugen, O., Ober, I. et al. Preface of “Specification and Validation of Real Time and Embedded systems in UML”. Int J Softw Tools Technol Transfer 8, 93–96 (2006). https://doi.org/10.1007/s10009-005-0220-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-005-0220-y

Keywords

Search

Navigation