The paper presents guidelines on criteria and procedures for evaluating software development tools used in safety-critical real-time systems. We present, first, a view of the taxonomy of software development tools from the perspective of the development process and the development environment. The investigation concentrates on evaluating the design tools, considering their interfaces with the r...

TwoTowers is a software tool for the functional verification and performance evaluation of computer, communication and software systems represented through stochastic process algebra (SPA). In this paper we describe a novel version (3.0), in which the modeling language is no longer a pure SPA, but a SPA-based architectural description language called Æmilia. We show that TwoTowers 3.0 improves ...

Stochastic activity networks (SANs) are a powerful and flexible extension of Petri nets. Modeling and analysis with Petri nets and their extensions need a software tool to help to construct and analyze the models. The original definition of SANs has been used as a modeling formalism in several tools. In this paper, we introduce a modeling tool called SharifSAN, which is based on a new definitio...