论文信息 - Towards Formal Support for UML-based Development of Embedded Systems

Towards Formal Support for UML-based Development of Embedded Systems

We describe ongoing work on the definition of a UML-based development methodology for the software of embedded systems. The aim is to improve current tools and methods by incorporating formal techniques. As a starting point, we define a formal semantics for a selected subset of UML. Next this language is extended to increase expressibility, especially concerning timing. Keywords— UML, embedded systems, real-time, formal methods, development methodology

Jozef Hooman

[1] William J Edwards,et al. Doing Hard Time , 1994 .

[2] Amir Pnueli,et al. A Formal Semantics for a UML Kernel Language , 2001 .

[3] Bruce P. Douglass,et al. Doing hard time: developing real-time systems with uml , 1999 .

[4] Bran Selic,et al. Real-time object-oriented modeling , 1994, Wiley professional computing.

[5] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[6] David Harel,et al. Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[7] Joseph Sifakis,et al. Modeling Urgency in Timed Systems , 1997, COMPOS.

[8] Bruce Powel Douglass,et al. ROPES: Rapid Object-Oriented Process for Embedded Systems , 1999 .

[9] Bruce Powel Douglass. Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.

[10] D. Harel,et al. The Play-in / Play-out Approach and Tool : Specifying and Executing Behavioral Requirements , 2002 .

[11] Ivar Jacobson,et al. The Unified Software Development Process , 1999 .

[12] Anneke Kleppe,et al. The object constraint language: precise modeling with UML , 1998 .

[13] Juha Kuusela,et al. Object-oriented technology for real-time systems , 1996 .