Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Using UML state machines and petri nets for the quantitative investigation of ETCS
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations
Information Processing Letters
Systems Engineering with SysML/UML: Modeling, Analysis, Design
Systems Engineering with SysML/UML: Modeling, Analysis, Design
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
A formal semantics of UML statecharts by means of timed petri nets
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.89 |
Before deciding which COTS (commercial off-the-shelf) component will be developed to a given embedded software system, there is a need to estimate the energy consumption and execution time, since a good estimation can help in the decision of whether to implement a COTS solution or not. Thus, a designer is able to guarantee that a component will fit into a target system. This paper presents the mapping process of SysML State Machine diagram into a Time Petri Net with energy constraints in order to analyze timing and energy consumption requirements in early phases of the real-time embedded component development life-cycle. The estimates obtained from the model show that the proposed approach is indeed a good approximation to the respective measures obtained from the real hardware platform.