A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints
暂无分享,去创建一个
Gustavo Rau de Almeida Callou | Paulo Romero Martins Maciel | Ermeson Carneiro de Andrade | Bruno Costa e Silva Nogueira | G. Callou | P. Maciel | E. Andrade | B. Nogueira
[1] P. Merlin,et al. Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.
[2] J. Trowitzsch,et al. Real-Time UML State Machines : An Analysis Approach , 2005 .
[3] Paulo Romero Martins Maciel,et al. A methodology for mapping live sequence chart to coloured Petri net , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.
[4] Jonathan Lee,et al. Towards the verification of scenarios with time Petri-nets , 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.
[5] René David,et al. Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..
[6] R. Keller,et al. Real-time system specifications based on UML Scenarios and Timed Petri Nets , 2004 .
[7] John Paul,et al. Automated Software Testing: Introduction, Management, and Performance , 1999 .
[8] Paulo Romero Martins Maciel,et al. Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations , 2008, Inf. Process. Lett..
[9] Eduardo Mena,et al. Performance Evaluation for the Design of Agent-based Systems: A Petri Net Approach , 2000 .
[10] Fernando Vinícius Gonçalves Magro,et al. DESENVOLVIMENTO DE UM PROTÓTIPO DE UM OXÍMETRO DE PULSO , 2008 .
[11] Hassane Alla,et al. Discrete, continuous, and hybrid Petri Nets , 2004 .