Towards UML-based formal specifications of component-based real-time software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2621, Issue , 2003, Pages 118-134

  Del Bianco, Vieri ^a,b   Lavazza, Luigi ^a,b   Mauri, Marco ^b   Occorso, Giuseppe ^c  

^a POLITECNICO DI MILANO   (Italy)

^b CEFRIEL   (Italy)

^c Logistics Reply   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; MODELING LANGUAGES; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SPECIFICATIONS;

COMPONENT BASED; DEVELOPMENT FRAMEWORKS; NON DETERMINISM; REAL-TIME APPLICATION; REAL-TIME SOFTWARE; SPECIFICATION STAGE; SUPPORT DESIGN;

FORMAL SPECIFICATION;

EID: 35248838288     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36578-8_9     Document Type: Article

References (20)

1. Alur, R., Dill, D.L.: A Theory of-Timed Automata. Theoretical Computer Science, n.126 (1994) 183-235
2. Bertin, V., Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S.: Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded systems. Conference on Decision and Control, CDC'01. Orlando, IEEE Control Systems Society (2001)
3. del Bianco, V., Lavazza, L., Mauri, M.: An application of the DESS modeling approach: The Car Speed Regulator, In Proc. SIVOOES 2001, Budapest (2001)
4. del Bianco, V., Lavazza, L., Mauri, M.: A classification of real-time specifications complexity, In Proc. SIVOOES 2001, Budapest (2001)
5. del Bianco, V., Lavazza, L., Mauri, M.: An introduction to the DESS approach to the specification of real-time software. CEFRIEL Technical Report RT01002 (2001)
6. del Bianco, V., Lavazza, L., Mauri, M.: Model Checking UML Specifications of Real Time Software. The Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS02), Greenbelt (2002)
7. del Bianco, V., Lavazza, L., Mauri, M.: A Formalization of UML Statecharts for Real-Time Software Modeling. The 6th Biennial World Conference On Integrated Design Process Technology (IDPT 2002), "Towards a rigorous UML" session, Pasadena (2002)
8. Eshuis, R., Wieringa, R.: Requirements-Level Semantics For UML Statecharts. Formal Methods for Open Object-Based Distributed Systems - FMOODS'2000, Stanford (2000)
9. Ghezzi, C., Mandrioli, D., Morzenti A.: TRIO, a logic language for executable specifications of real-time systems. The Journal of Systems and Software, Vol. 12, n. 2. Elsevier Science (1990)
10. Heitmeyer C.L., Jeffords R.D., Labaw B.C., Comparing different approaches for Specifying and verifying Real-Time Systems, in Proc. 10th IEEE Workshop on Real-Time Operating Systems and Software, New York (1993) 122-129
11. nd International Symposium (1992)
12. Lavazza, L., Quaroni, G., Venturelli, M.: Combining UML and formal notations for modelling real-time systems. In: Gruhn, V. (ed.): Proceedings of ESEC/FSE 2001, Vienna, ACM Press (2001)
13. Mauri, M.: Estensionc di UML per la specifica e la verifica delle proprietà di sistemi Real Time. Politecnico di Milano, Thesis (in Italian), http://www.polimi.it (2001)
14. OMG: Unified Modeling Language Specification, Version 1.4. http://www.omg.org (2001)
15. Pnueli A., Shalev, M.: What is in a step: On the semantics of Statecharts. In: Ito T., Meyer, A. R. (eds.): Intl. Conf. TAGS '91: Theoretical Aspects of Computer Software. Lecture Notes in Computer Science, Vol. 526. Springer-Verlag, Berlin Heidelberg New York (1991) 244-264
16. Rational Software Corporation: Modeling Language Guide, Rational Rose® RealTime, http://www.rational.com (2002)
17. Reggio, G., Astesiano, E., Choppy C., Hussmann, H.: Analysing UML Active Classes and Associated State Machines-A Lightweight Formal Approach. In Maibaum, T. (ed.): Proc. FASE 2000- Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, Vol. 1783. Springer-Verlag, Berlin Heidelberg New York (2000)
18. Selic, B., Gullekson, G., Ward, P. T.: Real-Time Object-Oriented Modeling. Wiley (1994)
19. Sifakis, J.: Modeling real-time systems-challenges and work directions. EMSOFT01, Tahoe City, October 2001. Lecture Notes in Computer Science, Vol. 2211. Springer-Verlag, Berlin Heidelberg New York (2001)
20. Yovine, S.: Kronos, A Verification Tool for Real-Time Systems, Kronos User's Manual Release 2.2. Springer International Journal of Software Tools for Technology Transfer, Vol. 1 October (1997)