Mapping of software model to simulation model for performance requirement verification

Authors:
Ronaldo Arias;Celso Massaki Hirata
Affiliations:
Instituto de Pesquisas Espaciais (INPE), Aerospace, Electronic Division, Onboard Data Handling Group, São José dos Campos, SP, Brazil;Instituto Tecnologico de Aeronautica (ITA), São José dos, Campos, SP, Brasil
Venue:
Proceedings of the 44th Annual Simulation Symposium
Year:
2011

Citing 10
Cited 0

Misconceptions About Real-Time Computing: A Serious Problem for Next-Generation Systems

Computer
A UML tool for an automatic generation of simulation programs

Proceedings of the 2nd international workshop on Software and performance
Performance solutions: a practical guide to creating responsive, scalable software

Performance solutions: a practical guide to creating responsive, scalable software
Computer Simulation in Management Science

Computer Simulation in Management Science
XACDML- Extensible ACD Markup Language

ANSS '03 Proceedings of the 36th annual symposium on Simulation
A simulation-based approach to software performance modeling

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Model-Based Performance Prediction in Software Development: A Survey

IEEE Transactions on Software Engineering
Automatic performance evaluation and feedback for MASCOT designs

Proceedings of the 5th international workshop on Software and performance
From Model Driven Engineering to Verification Driven Engineering

SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
RUP Extension For the Software Performance

COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the mapping of a software model to a simulation model in order to support the performance requirement verification. More specifically, we describe a mapping of a software model, based on UML Deployment, and State Machine diagrams annotated with performance information, to a simulation model that is specified in Activity Cycle Diagrams. The simulation model is translated to a simulation program so that verification of performance requirements can be made. The mapping is part of a framework based on the UML Profile for MARTE (Modeling and Analysis of Real-Time and Embedded Systems) employed for performance requirement verification of real time computers systems. An example is presented to show the feasibility of the mapping.