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

Towards Formal Support for UML-based Development of ded 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

J. Hooman

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

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

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

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

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

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

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

[8] David Harel,et al. Executable object modeling with statecharts , 1997, Computer.

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

[10] Bruce Powell Douglass,et al. Real-time UML (2nd ed.): developing efficient objects for embedded systems , 1997 .

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