Title :
Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software
Author :
Iazeolla, Giuseppe ; Mirandola, Raffaela ; D´Ambrogio, Andrea
Author_Institution :
Lab. for Comput. Sci., Rome Univ., Italy
Abstract :
Software performance engineering is a software engineering methodology whose scope is continuing performance IV&V during the life cycle. SPEED (Software Performance Evaluation and Modeling) is a toolkit for software performance IV&V according to performance engineering criteria. It is in course of development at the Laboratory for Computer Science, and CERTIA Research Center University of Rome at TorVergata. In its present version, it generates and evaluates the Master Model of the product, a performance analysis model that continuously evolves with the product design, and that includes the software workload model and the abstract machine model, or model of the executing environment. Conventional analytical and hybrid simulation techniques can then be applied to the MM to obtain performance predictions for the product under design. The paper gives a description of the SPEED philosophy and architecture, with an accompanying application example of DBMS performance design
Keywords :
computer aided software engineering; database management systems; program verification; safety-critical software; software performance evaluation; Master Model; SPEED; Software Performance Evaluation and Modeling; abstract machine model; collaborative software verification; critical software; database design; hybrid simulation; life cycle; performance analysis model; performance predictions; software engineering methodology; software performance engineering; software toolkit; software workload model; Analytical models; Collaborative tools; Computer architecture; Computer science; Laboratories; Performance analysis; Predictive models; Product design; Software engineering; Software performance;
Conference_Titel :
Enabling Technologies: Infrastructure for Collaborative Enterprises, 1995., Proceedings of the Fourth Workshop on
Conference_Location :
Berkeley Springs, WV
Print_ISBN :
0-8186-7019-3
DOI :
10.1109/ENABL.1995.484567