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

• The IF toolset for the validation of real-time and embedded systems with front-ends for SDL and UML
• Artisan Real Time studio
• Metropolis
• Meta-H
• The open source Fujaba Real-Time Tool Suite

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 Softwarehold 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 hold 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 hold 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