Model-driven development with predictable quality

Ivers, James; Moreno, Gabriel A.

doi:10.1145/1297846.1297933

Cited by 7 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…All these concepts of predictable assembly have been integrated together and demonstrated in the PACC Starter Kit (PSK) [9]. The PSK is a development environment that includes the Construction and Composition Language (CCL) [10], a language to describe the interface and behavioral specification of components and their assembly into systems.…”

Section: Predictable Assemblymentioning

confidence: 99%

Performance analysis of real-time component architectures

Moreno

Smith²,

Williams³

2008

Proceedings of the 7th International Workshop on Software and Performance

Self Cite

View full text Add to dashboard Cite

Model interchange approaches support the analysis of software architecture and design by enabling a variety of tools to automatically exchange performance models using a common schema. This paper builds on one of those interchange formats, the Software Performance Model Interchange Format (S-PMIF), and extends it to support the performance analysis of real-time systems. Specifically, it addresses real-time system designs expressed in the Construction and Composition Language (CCL) and their transformation into the S-PMIF for additional performance analyses. This paper defines extensions and changes to the S-PMIF meta-model and schema required for real-time systems. It describes transformations for both simple, best-case models and more detailed models of concurrency and synchronization. A case study demonstrates the techniques and compares performance results from several analyses.

show abstract

Section: Predictable Assemblymentioning

confidence: 99%

Performance analysis of real-time component architectures

Moreno

Smith²,

Williams³

2008

Proceedings of the 7th International Workshop on Software and Performance

Self Cite

View full text Add to dashboard Cite

show abstract

“…The Software Engineering Institute has developed an MDE tool infrastructure that offers code generation along with various analytic capabilities. This tool infrastructure is called the PACC Starter Kit (PSK) [2]. It uses the concept of reasoning frameworks [3] to implement analytic capabilities.…”

Section: Introductionmentioning

confidence: 99%

Model-Driven Performance Analysis

Moreno

Merson

2008

Quality of Software Architectures. Models and Architectures

Self Cite

View full text Add to dashboard Cite

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-toimplementation 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.

show abstract