Previous editions
Related Projects and Papers
- Work done in the IST OMEGA project:
Susanne Graf, Ileana Ober, Iulian Ober "Validating Timed UML models by simulation and verification", to appear in STTT, 2005 (under press)
Susanne Graf, Ileana Ober, Iulian Ober "Timed annotations in UML", to appear in STTT, 2005 (under press)
S. Graf and I. Ober "A Real-Time profile for UML and how to adapt it to SDL" at the 11th SDL Forum 2003
D. Harel and R. Marelly, "Playing with Time: On the Specification and Execution of Time-Enriched LSCs", 10th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002)
W. Damm, B. Josko, A. Pnueli, A. Votintseva "A Formal Semantics for a UML Kernel Language" - The Integrated IST project ASSERT on Automated proof based System and Software Engineering for Real-Time
- The CARROLL program
- ModelWare Project
Related Tools
Related Workshops
This workshop is a merge of two series of complementary workshops that were dedicated to RT/E domains:
SIVOES and
SVERTS.
Other past and current workshops related to real-time and other non functional aspects in modelling formalisms, in particular UML, are:
- FESCA Formal Foundations of Embedded Software and Component-Based Software Architectures hold with ETAPS 2006 in Vienna
- Models for Non-functional Aspects of Component-Based Software, held in cunjunction with MoDELS 2005
- OMER Workshop on Object-oriented Modeling of Embedded Real-Time Systems Paderborn, October 2005
- FESCA Formal Foundations of Embedded Software and Component-Based Software Architectures, held with ETAPS 2005 in Edinburgh
- SVERTS 04: International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems, October, 2004 Lisbon, Portugal — in conjunction with Seventh International Conference on UML, UML 2004
- Workshop on Critical Systems Development with UML associated with UML 2004 in Lisbon
- Workshop on Models for Non-functional Aspects of Component-Based Software associated with UML 2004 in Lisbon
- SIVOES-SPT 2004: Workshop on the usage of the UML profile for Scheduling, Performance and Time held in conjunction with RTAS, 2004, Toronto
- SVERTS 03: International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems associated with the International Conference on UML, UML 2003, San Francisco
- Workshop on Critical Systems Development with UML associated with UML 2003 in San Francisco
- Compositional Verification of UML Models associated with UML 2003 in San Francisco
- Component Based Software Engineering and Modeling Non-functional Aspects (SIVOES-MDA) assoociated with UML 2003 in San Francisco
- Component Based Software Engineering and Modeling Non-functional Aspects (SIVOES-MONA) assoociated with UML 2002 in Dresden
- Formal Design Techniques for Real-Time UML assoociated with UML 2000 in York