Specification of real-time systems in UML

Electronic Notes in Theoretical Computer Science

Volumn 39, Issue 3, 2000, Pages 293-305

  Roubtsova, E E ^a   Van Katwijk, J ^b   Toetenel, W J ^b   Pronk, C ^b   De Rooij, R C M ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SERVERS; SPECIFICATIONS; TREES (MATHEMATICS);

COMMUNICATION SERVERS; SYSTEM SPECIFICATION; TIMED COMPUTATION TREE LOGIC (TCTL); UNIFIED MODELING LANGUAGES (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 11244357073     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80753-4     Document Type: Conference Paper

References (14)

1. Seeman J., v.Gudenberg J.W. Extension of UML Sequence Diagrams for Real-Time Systems, The Unified Modeling Language. UML'98: Beyond the Notation. LNCS. 1618:1998;240-252
2. Douglass B.P. "Real-Time UML. Developing Efficient Objects for Embedded Systems" 1998;Addison-Wesley
3. Kabous L., Nebel W. Modeling Hard Real Time Systems using UML: The OOHARTS Approach., UML'99. LNCS. 1723:1999;339-355
4. Lutje Spelberg R.F., Toetenel W.J., Ammerlaan M. Partition Refinement In Real-Time Model Checking, Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS. 1486:1998;143-157
5. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., Yovine S. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 138:1995;3-34
6. Ellsberger J., Hogrefe D., Sarma A. "SDL - Formal Object-oriented Language for Communicating Systems" 1997;Prentice Hall, Europe
7. Reniers M.A. Message Sequence Chart: Syntax and Semantics. Eindhoven University of Technology. 1999
8. Alur R., Courcoubetis C., Dill D.L. Model-Checking in Dense Real-Time. Information and Computation. 104:(1):1993;2-34
9. Lilius J., Paltor I.P. Formalizing UML State Machines for Model Checking, UML'99. Beyond the Standard. LNCS. 1723:1999;430-445
10. Selic B., Dhaussy Ph., Ek A., Haugen O., Leblanc Ph., Moller-Pedersen B. SDL as UML: Why and What. UML'99. Beyond the Standard. LNCS. 1723:1999;446-455
11. Novoselov O.N., Frolov A.F. "Theory and calculation of control-measure systems" 1991;Mashinostroenie, Moscow
12. Selic B. Turning Clockwise: Using UML in the Real-Time Domain. Communications of the ACM 42. October, 10, 1999;339-355
13. OMG"Unified Modeling Language Specification v.1.3", ad/99-06-10 (1999), URL: http://www.rational.com/uml/resources/documentation/index.jsp.
14. OMG "Analysis and Design Platform Task Force. Version 1.0 ", ad/99-04-07 (1999), URL: www.iti.upv.es/iti/i+d/mirrors/ftp.omg.org/pub/docs/ad/ 99-04-07.txt.