During a case study we encountered some problems, which could be solved manually this time, but pose a grand challenge regarding a generally applicable methodology. The case study was about verification and performance evaluation of a Fault Tolerant Computer (FTC) System to be employed in the International Space Station (ISS). Four different specifications of the FTC had to be developped for di...

Context: Software performance models can be obtained by applying for specific roles, skills and techniques in software life cycle, and it depends on formulating the software problem as well as gathering the performance requirements. This paper presents a preliminary review of the software performance models. This constitutes a reference for the IT companies and personnel that help them select t...

Most software performance problems are due to fundamental architecture or design problems. Thus they are introduced early in development, but are typically not discovered until late, when they are more difficult and costly to fix. Software Performance Engineering (SPE) is a systematic, quantitative approach for cost-effectively building performance into software systems. It consists of a proces...

Improving the software development process requires tools and model of increasing complexity, capable of satisfying project managers’ and analyzers’ needs. In that paper we present a solution integrating a formalized and established model for performance evaluation like QEST nD, and an open source Business Intelligence platform like Spago4Q. We obtain a new environment that can produce immediat...