Modeling and analysis of real-time and embedded systems

Authors:
Susanne Graf;Sébastien Gérard;Øystein Haugen;Iulian Ober;Bran Selic
Affiliations:
VERIMAG, Grenoble, France;CEA-List, Sacley, France;University of Oslo, Norway;VERIMAG, Grenoble, France;IBM, Canada
Venue:
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Year:
2005

Citing 5
Cited 0

Mode-Automata: About Modes and States for Reactive Systems

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
LSCs: Breathing Life into Message Sequence Charts

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Smart Play-Out Extended: Time and Forbidden Elements

QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Validating timed UML models by simulation and verification

International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Modular verification of safe online-reconfiguration for proactive components in mechatronic UML

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS

Quantified Score

Hi-index	0.00

Visualization

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.