This paper deals with the definition of a UML profile addressing software for critical applications. This profile is implemented in the context of the HIDOORS project. It is based on both OMG standard profile "UML Profile for Schedulability, Performance and Time" and the ARINC 653 specification.

Quantitative analysis of software systems is being recognized as an important part of the software development process. In particular, performance analysis can be particularly helpful in identifying possible bottlenecks during the early stages of the software development life cycle. Early identification of problems is particularly desirable as the costs of changing the design are much higher th...

The software development community should be provided with an efficient methodology and tool support for proactive, quantitative performance management during functionality-driven software development. In this paper we present a UML (Unified Modeling Language) profile as part of the framework (shown in Figure 1) that allows the evaluation of software architecture decisions and design solutions ...

Requirements engineering and software reliability engineering both involve model building related to the usage of the intended system; requirements models and test case models respectively are built. Use case modelling for requirements engineering and operational profile testing for software reliability engineering are techniques which are evolving into software engineering practice. In this pa...

The estimation of the operational profile is one of the key factors during the use of software reliability growth models. But, the operational projle can be very dgficult to estimate in particular applications such as the one of sof iare used for process control. In other cases, a single operational profile may not be suf@cient to describe the use of the product by a number of different custome...

Purpose: This paper evaluates the mechanical parameters for three dimensions PTW automatic water phantom system (MP3-S) and its computer controlled measuring system (MEPHYSTO software version 7.3). Material and Methods: This study compares the scanning overall speed using the PTW water phantom and PTW MEPHYSTO software at different levels of overall speed 5, 10, 15, 20,30, 40, and 50mm/sec. The...

UNLABELLED The availability of advanced profile-profile comparison tools, such as PRC or HHsearch demands sophisticated visualization tools not presently available. We introduce an approach built upon the concept of HMM logos. The method illustrates the similarities of pairs of protein family profiles in an intuitive way. Two HMM logos, one for each profile, are drawn one upon the other. The al...