IEEE Transactions on Software Engineering
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software Performability: From Concepts to Applications
Software Performability: From Concepts to Applications
Performability Modeling with UltraSAN
IEEE Software
UML Modelling and Performance Analysis of Mobile Software Architectures
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Performance Validation of Mobile Software Architectures
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
Performability evaluation: where it is and what lies ahead
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
Hi-index | 0.00 |
The early validation of non-functional requirements of software systems is becoming a very stringent concern, especially in two domains: heterogeneous computing environments and interactive systems. In the former case the issue arises from the need of effectively exploiting the resources and capabilities that those environments may provide. In the latter case non-functional attributes (such as performance, reliability and availability) are peculiar for guaranteeing high levels of quality of services to users. Mobile software systems (e.g. web connected mobile phones) embrace both domains and therefore claim for accurate nonfunctional validation since the early phases of the software development process.This paper focuses on model based analysis of the performability of mobile software systems. We introduce a general framework that encompasses performance, dependability and mobility of software systems and that supports the specification and estimate of performability measures. The framework is based on the Stochastic Activity Networks notation. We also show the viability of our approach at work on a simple network management scenario.