Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 377-381

  Andrade, Ermeson ^a   Maciel, Paulo ^a   Callou, Gustavo ^a   Nogueira, Bruno ^a   Araújo, Carlos ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

Embedded systems; Requirement validation; Time petri net; UML

Indexed keywords

CRITICAL TASKS; EARLY DETECTION; EMBEDDED REAL TIME SYSTEMS; EMBEDDED SYSTEM DEVELOPMENT; ENERGY CONSTRAINT; ENERGY REQUIREMENTS; HARDWARE PLATFORM; HUMAN LIVES; MAPPING PROCESS; POTENTIAL PROBLEMS; REQUIREMENT VALIDATION; REQUIREMENTS VALIDATION; TIME PETRI NETS; TIMING CONSTRAINTS; UML SEQUENCE DIAGRAMS;

COMPUTER SCIENCE; GRAPH THEORY; PETRI NETS; REAL TIME SYSTEMS; TIME MEASUREMENT; TIMING CIRCUITS;

EMBEDDED SYSTEMS;

EID: 72949092062     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529364     Document Type: Conference Paper

References (12)

1. OMG UML. 2.0 Superstructure Specification. http://www.uml.org/, 2005.
2. OMG UML. Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE). http://www.omgmarte.org/, 2005.
3. L. Amorim, P. Maciel, M. Nogueira, R. Barreto, and E. Tavares. A Methodology for Mapping Live Sequence Chart to Coloured Petri Net. Systems, Man and Cybernetics, 2005 IEEE International Conference on, 2005.
4. R. David. Discrete, Continuous, And Hybrid Petri Nets. Springer, 2005.
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ção Arterial de Oxigênio em Humanos - Oxímetro de Pulso (in portuguese). MSc Thesis, Universidade 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. COMPSAC 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äat zu Berlin - Institut füur Informatik, 1999.
11. E. Tavares and P. Maciel. Amalghma tool. http://www.cin.ufpe.br/~eagt/ tools/, 2006.
12. E. Tavares, P. Maciel, B. Silva, and M. Oliveira. Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations. Information Processing Letters, 2008.