Skip to main content

Modelling and Analysis of Real Time and Embedded Systems – Using UML

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 4364)

Abstract

This paper presents an overview on the outcomes of the workshop MARTES on Modelling and Analysis of Real Time and Embedded Systems that has taken place for the second time in association with the MoDELS/UML 2006 conference. Important themes discussed at this workshop concerned (1) tools for analysis and model transformation and (2) concepts for modelling quantitative aspects with the perspective of analysis.

Keywords

  • Modelling
  • Analysis
  • Real Time
  • Embedded Systems

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-69489-2_16
  • Chapter length: 5 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-69489-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. André, C., Cuccuru, A., de Simone, R., Gautier, T., Mallet, F., Talpin, J.P.: Modelling with logical time in UML for real-time embedded system design. In: [GGH+06]

    Google Scholar 

  2. Colombo, P., Del Bianco, V., Lavazza, L., Coen-Porisini, A.: An Experience in modelling real-time systems with SysML. In: [GGH+06]

    Google Scholar 

  3. Espinoza, H., Dubois, H., Gérard, S., Medina, J., Petriu, D.C., Woodside, M.: Annotating UML Models with Non-Functional Properties for Quantitative Analysis. In: [GGH+05]

    Google Scholar 

  4. Espinoza, H., Medina, J., Dubois, H., Gerard, S., Terrier, F.: Towards a UML-based Modelling Standard for Schedulability Analysis of Real-time systems. In: [GGH+06]

    Google Scholar 

  5. Esterel Technologies: The Scade and Esterel development environments. See also, http://www.esterel-technologies.com/

  6. Gérard, S., Graf, S., Haugen, O., Ober, I., Selic, B.: MARTES 2005, Workshop on Modelling and Analysis of Real Time and Embedded Systems. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, Springer, Heidelberg (2006)

    Google Scholar 

  7. Gérard, S., Graf, S., Haugen, O., Ober, I., Selic, B(ed.): MARTES 2006, Workshop on Modelling and Analysis of Real Time and Embedded Systems. Research Report 343, Univ. of Oslo, Department of Informatics (October 2006)

    Google Scholar 

  8. Giese, H., Henkler, S., Hirsch, M.: Analysis and Modelling of Real-Time Systems with Mechatronic UML taking Clock Drift into Account. In: [GGH+06]

    Google Scholar 

  9. Graf, S., Ober, I., Ober, I.: Timed annotations in UML. STTT, Int. Journal on Software Tools for Technology Transfer (April 2006)

    Google Scholar 

  10. Halvorsen, O., Kobro Runde, R., Haugen, Ø.: Time Exceptions in Sequence Diagrams. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  11. Nechypurenko, A., Wuchner, E., White, J., Schmidt, D.C.: Applying Model Intelligence Frameworks for Deployment Problem in Real Time and Embedded Systems. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  12. Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. Int. Journal on Software Tools for Technology Transfer (April 2006)

    Google Scholar 

  13. Prochnow, S., Schäfer, G., Bell, K., von Hanxleden, R.: Analyzing Robustness of UML State Machines. In: [GGH+06]

    Google Scholar 

  14. Rouxel, S., Gogniat, G., Diguet, J-P., Philippe, J-L., Moy, C.: A3S method and tools for analysis of real time embedded systems. In: [GGH+06]

    Google Scholar 

  15. Julie, A.: Street and Hassan Gomaa An Approach to Performance Modelling of Software Product Lines. In: [GGH+06]

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Graf, S., Gérard, S., Haugen, Ø., Ober, I., Selic, B. (2007). Modelling and Analysis of Real Time and Embedded Systems – Using UML. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69489-2_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69488-5

  • Online ISBN: 978-3-540-69489-2

  • eBook Packages: Computer ScienceComputer Science (R0)