A New UML Profile for Real-Time System Formal Design and Validation-Reference-Cited by-同舟云学术

A New UML Profile for Real-Time System Formal Design and Validation

Published:2001 Issue: Volume: Page:287-301
ISSN:0302-9743
Container-title:≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools
language:
Short-container-title:

Author:

Apvrille L.,de Saqui-Sannes P.,Lohr C.,Sénac P.,Courtiat J. -P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45441-1_22

Reference25 articles.

1. André, C.: Object and synchronous paradigms in real-time systems (in French). Journée Objets Temps Réel du Club SEE Systémes Informatiques de Confiance, Paris, 18 January 2001. http://www.cert.fr/francais/deri/seguin/SEE/01.01.18/annonce.html

2. Andriantsiferana L., Courtiat J.-P., de Oliveira R. C., Picci L.: An experiment in using RTLOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system Proceedings IFIP Formal Description Techniques X, Osaka, Japan, November 97, Chapman & Hall (1997)

3. Apvrille L., de Saqui-Sannes P., Sénac P., Diaz M.: Formal Modeling of Space-Based Software in the Context of Dynamic Reconfiguration, Proceedings of DAta Systems In Aerospace (DASIA), 28 May-1st June, 2001, Nice, France (2001)

4. Artisan Software Tools: http://www.artisan-software.com (1999)

5. Bjorkander M.: Real-Time Systems in UML and SDL, Embedded System Engineering, October/November 2000 ( http://www.telelogic.com )

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Systematic Review on the Definition of UML Profiles;Model Driven Engineering Languages and Systems;2010

2. TOWARDS A VALIDATED OBJECT ORIENTED DESIGN APPROACH TO CONTROL SOFTWARE;IFAC Proceedings Volumes;2005

3. In car embedded electronic architectures: How to ensure their safety;IFAC Proceedings Volumes;2003-07

4. New Operators for the TURTLE Real-Time UML Profile;Lecture Notes in Computer Science;2003