Combining UML and formal notations for modelling real-time systems

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2001, Pages 196-206

  Lavazza, Luigi ^a   Quaroni, Gabriele ^b   Venturelli, Matteo ^c  

^a POLITECNICO DI MILANO   (Italy)

^b Logistics Reply   (Italy)

^c TXT e solutions ^*  (Italy)

Author keywords

Formal methods; Real time software; UML

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER GRAPHICS; HYBRID COMPUTERS; SEMANTICS;

REAL TIME SOFTWARE DEVELOPMENT;

REAL TIME SYSTEMS;

EID: 0035783711     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503234.503236     Document Type: Conference Paper

References (14)

1. Douglass B.P. Real-Time UML, Addison Wesley, 1998.
2. Ghezzi C., Mandrioli D., Morzenti A., TRIO, a logic language for executable specifications of real-time systems. The Journal of Systems and Software, 12, 2 (May 1990).
3. Heitmeyer C.L., Jeffords R.D., Labaw B.G., Comparing different approaches for Specifying and verifying Real-Time Systems, in Proc. 10th IEEE Workshop on Real-Time Operating Systems and Software (New York May 1993), 122-129.
4. Mandrioli D., Morzenti A., Pezzè M., San Pietro P., Silva S., A Petri Net and Logic Approach to the Specification and Verification of Real-Time Systems, Trends in Software n.5, Heitmeyer C. and Mandrioli D. Eds., Wiley, 1996.
5. OMG, Unified Modeling Language Specification Version 1.3, First Edition, March 2000.
6. Selic B., Gullekson G., Ward P.T., Real-Time Object-Oriented Modeling, Wiley, 1999.
7. Mandrioli D., Morasca S., Morzenti A., Generating test cases for real-time systems from logic specifications, ACM-TOCS Transactions on Computer Systems, 13,4 (November 1995).
8. Yovine S., Kronos: A Verification Tool for Real-Time Systems. In Springer International Journal of Software Tools for Technology Transfer, 1, 1/2 (October 1997).
9. Quaroni G. and Venturelli M., Utilizzo integrato di UML e TRIO per la specifica di sistemi Real Time, Politecnico di Milano, February 2001, Thesis (in Italian).
10. OMG, XML Metadata Interchange (XMI) Specification, Version 1.0, June2000, available at http://www.omg.org/technology/documents/formal/xml_meta data_interchange.htm.
11. Coen-Porisini A., Pradella M., San Pietro P., A finite domain semantics for testing temporal logic specifications, in Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium (Eds. A.P. Ravn and H. Rischel), LNCS Vol. 1486, Springer, September 1998.
12. Felder M., Morzenti A., Validating real-time systems by history-checking TRIO specifications, ACM TOSEM-Transactions On Software Engineering and Methodologies, 3,4 (October 1994).
13. http://www.rational.com/.
14. http://argouml.tigris.org/.