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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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]
Colombo, P., Del Bianco, V., Lavazza, L., Coen-Porisini, A.: An Experience in modelling real-time systems with SysML. In: [GGH+06]
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]
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]
Esterel Technologies: The Scade and Esterel development environments. See also, http://www.esterel-technologies.com/
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)
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)
Giese, H., Henkler, S., Hirsch, M.: Analysis and Modelling of Real-Time Systems with Mechatronic UML taking Clock Drift into Account. In: [GGH+06]
Graf, S., Ober, I., Ober, I.: Timed annotations in UML. STTT, Int. Journal on Software Tools for Technology Transfer (April 2006)
Halvorsen, O., Kobro Runde, R., Haugen, Ø.: Time Exceptions in Sequence Diagrams. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, Springer, Heidelberg (2007)
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)
Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. Int. Journal on Software Tools for Technology Transfer (April 2006)
Prochnow, S., Schäfer, G., Bell, K., von Hanxleden, R.: Analyzing Robustness of UML State Machines. In: [GGH+06]
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]
Julie, A.: Street and Hassan Gomaa An Approach to Performance Modelling of Software Product Lines. In: [GGH+06]
Author information
Authors and Affiliations
Editor information
Rights 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)