Performance modelling with the formal specification language SDL
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Trace-Based Load Characterization for Generating Performance Software Models
IEEE Transactions on Software Engineering
Performance engineering of SDL/MSC systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Simulation Model Design and Execution: Building Digital Worlds
Simulation Model Design and Execution: Building Digital Worlds
IEEE Transactions on Software Engineering
EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems
EUROCAST '95 Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory
Performance Engineering Evaluation of Object-Oriented Systems with SPE*ED
Proceedings of the 9th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Software Performance Models from System Scenarios in Use Case Maps
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Automated Performance Modeling from Scenarios and SDL Designs of Distributed Systems
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
ACM Computing Surveys (CSUR)
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Embedded Systems Design
Hi-index | 0.00 |
In various domains, performance evaluation has proved very valuable, especially when done at early stages of the development process; the simulation technique, in particular, combines good properties (flexibility, low-cost, relevance of results) for the prediction of software systems performance. However, too often performance engineering is kept separate from the design process of software systems. We try to analyze reasons for that, and discuss ways to better motivate designers to tackle performance evaluation. We then present an approach that aims at producing performance models from design-oriented specifications (based on scenario and/or automata formalisms, such as MSC/SDL). The approach is well adapted to the study of service platforms, and targets basic queuing networks that offer a flexible and powerful framework for modeling performance, as well as mature simulators on the market.