Tool Support for Estimating the Memory Usage of Mobile Phone Software

Authors:
Jens Bæk Jørgensen;Søren Christensen;Antti-Pekka Tuovinen;Jianli Xu
Affiliations:
Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, 8200, Aarhus N, Denmark;Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, 8200, Aarhus N, Denmark;Nokia Technology Platforms, Nokia Research Center, IT-parken, Aabogade 34, 00045, Helsinki, Finland;Nokia Technology Platforms, Nokia Research Center, IT-parken, Aabogade 34, 00045, Helsinki, Finland
Venue:
International Journal on Software Tools for Technology Transfer (STTT)
Year:
2006

Citing 0
Cited 3

Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Using colored petri nets and tools to support mobile terminal and network software development

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: an approach based on coloured petri nets

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present and discuss a tool that can estimate the worst-case memory usage of interacting software components. The tool applies formal analysis based on Coloured Petri nets (CPN). For a given set of interaction scenarios, the tool calculates a state space of a CPN model and finds a path, which corresponds to a worst-case memory usage interleaving of the events in the scenarios. To hide the formal analysis from the users of the tool, IBM Rational Rose is used as front-end to specify scenarios as annotated UML sequence diagrams, and Microsoft Excel is used as back-end to present the analysis results.