A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
Journal of Systems and Software - Special issue on: Component-based software engineering
MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Contributing to Eclipse: Principles, Patterns, and Plugins
Contributing to Eclipse: Principles, Patterns, and Plugins
Experience Using an Expert System to Assist an Architect in Designing for Modifiability
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Extend: the Extend simulation environment
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Performance by unified model analysis (PUMA)
Proceedings of the 5th international workshop on Software and performance
Proceedings of the 5th international workshop on Software and performance
A model transformation framework for the automated building of performance models from UML models
Proceedings of the 5th international workshop on Software and performance
Tuning Systems: From Composition to Performance
The Computer Journal
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation
ISORC '06 Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Moving Architectural Description from Under the Technology Lamppost
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Model-driven development with predictable quality
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Predicting the Behavior of a Highly Configurable Component Based Real-Time System
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Predicting Performance Properties for Open Systems with KAMI
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Model-Driven v&v processes for computer based control systems: a unifying perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |
Model-Driven Engineering (MDE) is an approach to develop software systems by creating models and applying automated transformations to them to ultimately generate the implementation for a target platform. Although the main focus of MDE is on the generation of code, it is also necessary to support the analysis of the designs with respect to quality attributes such as performance. To complement the model-to-implementation path of MDE approaches, an MDE tool infrastructure should provide what we call model-driven analysis. This paper describes an approach to model-driven analysis based on reasoning frameworks. In particular, it describes a performance reasoning framework that can transform a design into a model suitable for analysis of real-time performance properties with different evaluation procedures including rate monotonic analysis and simulation. The concepts presented in this paper have been implemented in the PACC Starter Kit, a development environment that supports code generation and analysis from the same models.