From UML to petri nets for non functional property verification

Industrial Embedded Systems - IES'2006

Volumn , Issue , 2006, Pages

  Mallet, F ^a   Peraldi Frati, M A ^a   Andre C ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION LANGUAGES; EMBEDDED SYSTEMS; ERROR ANALYSIS; GRAPH THEORY; INTEGRATED CIRCUITS; MARINE BIOLOGY; PETRI NETS; UNIFIED MODELING LANGUAGE;

(EXTENDED) PETRI NETS; ANALYSIS MODELS; EMBEDDED ARCHITECTURES; FORMAL VERIFICATIONS; HARDWARE COMPONENTS; MODEL DRIVEN APPROACH; MODEL ELEMENTS; NON-FUNCTIONAL; PERFORMANCE ANALYSES; REAL-TIME CONSTRAINTS; SPECIFICATION MODEL (SM); STRONG DEMAND; SYNCHRONOUS PARADIGM; SYSTEM FUNCTIONALITIES; TEMPORAL PROPERTIES; TIME PETRI NETS;

MODAL ANALYSIS;

EID: 46149115411     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IES.2006.357475     Document Type: Conference Paper

References (19)

1. "Unified Modeling Language: Superstructure. V 2.0". OMG document formal/05-07-04. April 2005. http://www.omg.org/docs/formal/05-07-04. pdf
2. B. Selic. "On the Semantic Foundations of Standard UML 2.0", SFM-RT 2004, LNCS 3185, Springer-Verlag, pp. 181-199, 2004.
3. Tony Clark, Andy Evans, Stuart Kent, Steve Brodsky, Steve Cook, A feasibility Study in Rearchitecturing UML as a Family of Languages using a Precise OO Meta-Modelling Approach, version 1.0, available from www.puml.org, September 2000.
4. H. Störrle. Semantics and Verification of Data Flow in UML 2.0 Activities. Electronic notes in Theoretical Computer Science, 127(4), pp. 35-52, 2005.
5. L. Apvrille, J.-P. Courtiat, C. Lohr, P de SaquiSannes, A Real-Time UML Profile Supported by a Formal Validation Toolkit, IEEE Transactions on Software Engineering, Vol 30, No 7, pp 473-487, July 2004
6. "UML Profile for Schedulability, Performance, and Time, version 1.1". OMG document formal/2005-01-02, January 2005, http://www.omg.org/ docs/-formal/05-0 l-02.pdf
7. "UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP", OMG Document realtime/05-02-06, February 2005, http://www.omg.org/docs/realtime/05-02-06.pdf
8. L. Cai and D. Gajski, "Transaction Level Modeling: An Overview", Proceedings of the International Conference on Hardware/Software Codesign & System Synthesis, Newport Beach, CA, October 2003.
9. T. Grandpierre, Y. Sorel. "From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations". MEMO¬CODE2003, Formal Methods and Models for Codesign Conference, Mont Saint-Michel, France, June 2003.
10. "UML profile for Systems Engineering RFP", OMG Document ad/03-03-41, September 2003, http://www.omg.org/docs/ad/03-03-41.pdf
11. A. Benveniste, P.Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, R. De Simone "The synchronous languages 12 Years Later", Proc. of the IEEE, Vol.91, no 1, pp. 64-83, 2003.
12. R. De Simone, C. André. "Towards a Synchronous Reactive UML subprofile?", International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag, ISBN= 1433-2779 (Paper) 1433-2787 (Online). DOI: 10.1007/s10009-005-0206-9, December 2005.
13. The Petri Nets World. http://www.informatik.unihamburg.de/TGI/PetriNets
14. J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber. "The Petri Net Markup Language: Concepts, Technology, and Tools", ICATPN 2003, Eindhoven, June 2003. http://www.informatik.huberlin.de/top/pnml/downl oad/about/PNML_CTT.pdf
15. B. Berthomieu, P-O. Ribet, F. Vernadat, "The tool TINA - Construction of abstract state space for Petri net and Time Petri Nets", Int. Journal of Production Research, Vol. 42, no 14, pp. 2741-2756. July 2004. http://www.laas.fr/tina
16. The Eclipse project, http://www.eclipse.org
17. C. André, F. Mallet, M-A. Peraldi-Frati. "Non-functional Property Analysis using UML2.0 and Model Transformations", Research Report no 5913, INRIA (F), May 2006.
18. Esterel Studio./Scade http://www.esterel-technologies.com
19. P. Le Guernic, J-P. Talpin, J-C. Le Lann. "Polychrony for system design", Journal of Circuits, Systems and Computers, 12(3), pp 261-304, April 2003.