IEEE - Institute of Electrical and Electronics Engineers, Inc. - Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency

2007 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing

Author(s): A. Gherbi ; F. Khendek
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2007
Conference Location: Santorini Island, Greece
Conference Date: 7 May 2007
Page(s): 412 - 419
ISBN (Paper): 0-7695-2765-5
ISSN (Electronic): 2375-5261
ISSN (Paper): 1555-0885
DOI: 10.1109/ISORC.2007.57
Regular:

UML can be effectively used for the design and analysis of real-time systems. UML profiles for real-time, like the current OMG's standard UML/SPT, enable the modeling of quantitative requirements... View More

Advertisement