Abstract
This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the MODELS/UML 2005 conference. The main themes discussed at this workshop concerned (1) methodologies and tools for quantitative analysis and (2) methodologies and languages for modeling quantitative aspects of real-time and embedded systems in the context of model driven development.
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
Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite. In: Wshp on Specification and Verification of Real Time Embedded systems, SVERTS 2004 (2004)
Caspi, P., Maler, O.: From Control loops to real-time programs. In: Handbook of Networked and Embedded Control Systems. CRC Press, Boca Raton (2005)
Caspi, P., Raymond, P.: From Control system design to embedded code: the synchronous data-flow approach. In: 40th IEEE Conference on Decision and Control (CDC 2001), Florida (December 2001)
Damm, W., Harel, D.: LSCs: Breathing life into Message Sequence Charts. In: FMOODS 1999 IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems. Kluwer, Dordrecht (1999); Also to appear in Journal on Formal Methods in System Design.
Espinoza, H., Dubois, H., Gérard, S., Medina, J.: A General Structure for the Analysis Framework of the UML MARTE Profile. In: GGHS 2005 (2000)
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: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 79–90. Springer, Heidelberg (2006)
Garousi, V., Briand, L., Labiche, Y.: A Unified Approach for Predictability Analysis of Real-Time Systems using UML-based Control Flow Information. In: GGHS 2005 (2005)
Gérard, S., Graf, S., Haugen, O., Selic, B. (eds.): MARTES 2005, Workshop on Modelling and Analysis of Real Time and Embedded Systems, with MODELS (2005)
Giese, H., Hirsch, M.: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 67–78. Springer, Heidelberg (2006)
Graf, S., Ober, I., Ober, I.: Timed annotations in UML. STTT. Int. Journal on Software Tools for Technology Transfer (2005) (under press)
Houberdon, J.-L., Combes, P., Babau, J.-P., Auge-Blum, I.: Validating temporal properties of a deployed application with an MDD approach. In: GGHS 2005 (2005)
Harel, D., Kugler, H., Pnueli, A.: Smart Play-Out Extended: Time and Forbidden Elements. In: Int. Conf. on Quality Software (QSIC 2004). IEEE Press, Los Alamitos (2004)
Jensen, K.: DesignCPN, 4th edn. University of Aarhus, Denmark (1999)
Labbani, O., Dekeyser, J.-L., Boulet, P., Rutten, E.: Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach. In: GGHS 2005 (2005)
Maraninchi, F., Rémond, Y.: Mode-automata: About modes and states for reactive systems. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, p. 185. Springer, Heidelberg (1998)
Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. Int. Journal on Software Tools for Technology Transfer (2005) (Under press)
Ober, I., Graf, S., Yushtein, Y.: Timing analysis and validation of the embedded MARS bus manager. In: GGHS 2005 (2005)
The homepage of the Omega project, http://www-omega.imag.fr/
OMG. UML Profile for Schedulability, Performance, and Time, formal/03-09-01, 09/2003
OMG. Object Constraint Language, version 2.0. Final adopted specification, document ptc/2003-10-14, 10/2003
OMG. UML Profile for Modelling Quality of Service and Fault Tolerance Characteristics and Mechanisms. Specification, ptc/2004-06-01, 06/2004
Pettit, R., Gomaa, H.: Modeling and Analysis of Concurrent and Real-Time Object-Oriented Designs. In: GGHS 2005 (2005)
Petriu, D., Woodside, M.: Some Requirements for Quantitative Annotations of Software Designs. In: GGHS 2005 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Graf, S., Gérard, S., Haugen, Ø., Ober, I., Selic, B. (2006). Modeling and Analysis of Real-Time and Embedded Systems. In: Bruel, JM. (eds) Satellite Events at the MoDELS 2005 Conference. MODELS 2005. Lecture Notes in Computer Science, vol 3844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11663430_7
Download citation
DOI: https://doi.org/10.1007/11663430_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31780-7
Online ISBN: 978-3-540-31781-4
eBook Packages: Computer ScienceComputer Science (R0)