A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints

Proceedings of the 3rd International Conference on Digital Society, ICDS 2009

Volumn , Issue , 2009, Pages 266-271

  Andrade, Ermeson ^a   Maciel, Paulo ^a   Callou, Gustavo ^a   Nogueira, Bruno ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; FORMAL METHODS; GRAPH THEORY; INFORMATION THEORY; INTEGRATED CIRCUITS; LIFE CYCLE; MATHEMATICAL TECHNIQUES; PETRI NETS; SEMANTICS; SYSTEMS ANALYSIS;

ACTIVITY DIAGRAMS; AUTOMATIC TRANSLATIONS; EMBEDDED REAL-TIME SYSTEMS; EMBEDDED SYSTEM DEVELOPMENT; ENERGY CONSTRAINTS; ENERGY CONSUMPTION; EXECUTION TIME; FORMAL SEMANTICS; HARDWARE PLATFORMS; LOW-POWER; MODELING AND ANALYSIS; PULSE OXIMETERS; REAL-TIME AND EMBEDDED SYSTEMS; SYSTEM MODELING; SYSTEM VALIDATIONS; TIME PETRI NETS; UML PROFILES;

REAL TIME SYSTEMS;

EID: 63749106886     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDS.2009.19     Document Type: Conference Paper

References (14)

1. OMG UML. Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE). http://www.omgmarte.org/, 2005.
2. L. Amorim, P. Maciel, M. Nogueira, R. Barreto, and E. Ta-vares. A Methodology for Mapping Live Sequence Chart to Coloured Petri Net. Systems, Man and Cybernetics, 2005 IEEE International Conference on, 2005.
3. R. David. Discrete, Continuous, And Hybrid Petri Nets. Springer, 2005.
4. E. Dustin, J. Rashka, and J. Paul. Automated Software Testing: Introduction. Management, and Performance, 1999.
5. M. Elkoutbi, M. Bennani, R. K. Keller, and M. Boulmalf. Real-time system specifications based on uml scenarios and timed petri nets. 2nd IEEE Internationnal Symposium on signal processing and information technology, ISSPIT'02, pages 362-366, 2002.
6. M. N. O. Júnior. Desenvolvimento de Um Protótipo para a Medida Não Invasiva da Saturaçk ão Arterial de Oxigênio em Humanos - Oxímetro de Pulso (in portuguese). MSc Thesis, Departamento de Biofísica e Radiobiologia, Univer-sidade Federal de Pernambuco, August 1998.
7. J. Lee, J. Pan, J. Kuo, Y. Fanjiang, and S. Yang. Towards the verification of scenarios with time Petri-nets. Computer Software and Applications Conference, 2000. COMP-SAC 2000. The 24th Annual International, pages 503-508, 2000.
8. P. Merlin and D. J. Faber. Recoverability of communication protocols: Implicatons of a theoretical study. IEEE Transactions on Communications, 24(9):1036-1043, Sept. 1976.
9. J. Merseguer, J. Campos, and E. Mena. Performance evaluation for the design of agent-based systems: A Petri net approach. 21st International Conference on Application and Theory of Petri Nets, pages 1-20, 2002.
10. P. Starke and S. Roch. INA - Integrated Net Analyzer - Version 2.2. Humbolt Universität zu Berlin - Institut für Informatik, 1999.
11. O. SysML. Systems Modeling Language (SysML) Specification final report. Object Management Group, 2007.
12. E. Tavares and P. Maciel. Amalghma tool. http://www.cin.ufpe.br/ ∼eagt/tools/, 2006.
13. E. Tavares, P. Maciel, B. Silva, and M. Oliveira. Hard realtime tasks' scheduling considering voltage scaling, precedence and exclusion relations. Information Processing Letters, 2008.
14. J. Trowitzsch and A. Zimmermann. Real-Time UML State Machines: An Analysis Approach. Object Oriented Software Design for Real Time and Embedded Computer Systems, 2005.