Designing tool support for translating use cases and uml 2.0 sequence diagrams into a coloured petri net
JM Fernandes, S Tjell, JB Jorgensen… - … on Scenarios and …, 2007 - ieeexplore.ieee.org
Using a case study on the specification of an elevator controller, this paper presents an
approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model …
approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model …
Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: An approach based on coloured petri nets
This paper presents an approach for analyzing embedded systems' software energy
consumption and performance based on probabilistic modeling. Such an approach applies …
consumption and performance based on probabilistic modeling. Such an approach applies …
[图书][B] Performance analysis of real-time task systems using timed automata
G Igna - 2013 - repository.ubn.ru.nl
The electronic devices that we interact with on a daily basis have become ubiquitous and
have infiltrated many aspects of our life. Thinking about the future, it can be expected that …
have infiltrated many aspects of our life. Thinking about the future, it can be expected that …
Using colored petri nets and tools to support mobile terminal and network software development
J Xu - International Conference on Application and Theory of …, 2006 - Springer
In this paper we report our experience in several research projects that use Colored Petri
Nets in modeling and analysis of the software systems of Nokia products. These research …
Nets in modeling and analysis of the software systems of Nokia products. These research …
[PDF][PDF] 設計モデル上でのメモリ量見積もりに関する研究
山下幸之輔 - 2009 - dspace.jaist.ac.jp
概 要本稿では, タスク設計の段階におけるタスクと割り込みの最大メモリ使用量見積り手法を提案
する. 本見積もりは, 動的な振る舞いまで考慮して見積もることでより正確な見積もりを行うという点に …
する. 本見積もりは, 動的な振る舞いまで考慮して見積もることでより正確な見積もりを行うという点に …