M. Bernardo, W.R. Cleaveland, S.T. Sims, W.J. Stewart. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. In Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (FORTE-PSTV'98), pp. 457-467, Kluwer, 1998.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... examples, see e.g. 12,34,51,60] and important advances have been made in exploiting the structure of the compositionality for analysis purposes, for an overview see [64] Several algorithms have been implemented in tools, like the TIPPtool [48] PEPA Workbench [33] and TwoTowers (for EMPA) [13]. For LOTOS preliminary proposals for stochastic extensions were presented by 10 Rico and von Bochmann [90] using semi Markov chains, and by Valderrutten et al. 102] who derived queueing networks from extended LOTOS specifications. A similar, informal approach, has been proposed by Schot [93] ....

M. Bernardo, R. Cleaveland, S. Sims and W. Stewart. TwoTowers: a tool integrating functional and performance analysis of concurrent systems. In S. Budkowski, A. Cavalli and E. Najm, eds, Proc. Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Spec., Testing, and Ver., pages 457--467, Kluwer, 1998.

....Mathematica session Lex Yacc proved transition system Autograph Instruction files Structures Functors Process and resources names Figure 1: The cost analyser. 4 The tool Some other tools for performance analysis based on stochastic process algebras have been implemented, see, e.g. [10, 12, 3]. Our approach mainly differ from them, in that we derive the stochastic information automatically from the functional specification of systems, relying on our enhanced operational semantics. Furthermore, we naturally deal with mobility as our input language is p calculus. Our tool has been ....

BERNARDO, M., CLEAVELAND, W., SIMS, S., AND STEWART, W. TwoTowers: A tool integrating functional and performance analysis of concurrent systems. In Proceedings of FORTE/PSTV '98 (1998), S. Budkowski, A. Cavalli, and E. Najm, Eds., Kluwer, pp. 457--467.

....such as the semiautomatic compositional aggregation of complex models. Among related work, the PEPA Workbench, developed by Hillston et al. in Edinburgh [19] is another tool for performance evaluation, where Markov chain models are also specified by means of a process algebra. The tool TWOTOWERS [6], based on two existing tools (one for functional analysis and one for performance analysis) also employs a stochastic process algebra as its specification formalism. The paper is organised as follows: In Sec. 2, we summarise the theoretical background of stochastic process algebras. Sec. 3 gives ....

M. Bernardo, W.R. Cleaveland, S.T. Sims, and W.J. Stewart. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. In FORTE/PSTV, 1998.

....before a grant) To check this property , we use the chk command, which invokes the CWB NC s model checker. After 2.3 seconds, the CWB NC responds with FALSE: the root arbiter cannot enter an error state. cwb nc pioa cwb nc pioa sys S = MUTEX cwb nc pioa obs awaitRequest1 = await R. SUBTREE[2].L. request1 cwb nc pioa obs awaitGrant1 = await R.SUBTREE[2] L. grant1 cwb nc pioa obs req1ToGrant1Prob = prob (awaitRequest1 ; awaitGrant1) cwb nc pioa obs result = apply S req1ToGrant1Prob cwb nc pioa obs req1ToGrant1Time = prob (awaitRequest1 ; time awaitGrant1) ....

....invokes the CWB NC s model checker. After 2.3 seconds, the CWB NC responds with FALSE: the root arbiter cannot enter an error state. cwb nc pioa cwb nc pioa sys S = MUTEX cwb nc pioa obs awaitRequest1 = await R.SUBTREE[2] L. request1 cwb nc pioa obs awaitGrant1 = await R. SUBTREE[2].L. grant1 cwb nc pioa obs req1ToGrant1Prob = prob (awaitRequest1 ; awaitGrant1) cwb nc pioa obs result = apply S req1ToGrant1Prob cwb nc pioa obs req1ToGrant1Time = prob (awaitRequest1 ; time awaitGrant1) cwb nc pioa obs result = apply S req1ToGrant1Time cwb nc pioa eval ....

[Article contains additional citation context not shown here]

M. Bernardo, R. Cleaveland, S. Sims, and W. Stewart. TwoTowers: A tool integrating functional and performance analysis of concurrent systems. In FORTE XI/PSTV XVIII '98, pages 457--467, Nov. 1998.

....gr n models of the other ve algorithms are similar to that of the Dijkstra algorithm; the interested reader is referred to [5] where each passive action should be read as having priority level and weight equal to one. 6. 1 An Overview of TwoTowers The case study has been conducted with TwoTowers [6,5], a software tool for modeling and analyzing functional and performance properties of computer, communication and software systems described in EMPA gr n . As shown in Fig. 4, TwoTowers is composed of a graphical user interface, a compiler, a functional analyzer, a performance analyzer, and an ....

M. Bernardo, W.R. Cleaveland, S.T. Sims, W.J. Stewart, \TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems", in Proc. of the IFIP Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specication, Testing and Verication (FORTE/PSTV '98), Kluwer, 457-467, Paris (France), 1998

....the functional and performance analysis of concurrent and distributed systems modeled in EMPA, in which a symbolic model based support for data driven computations is implemented and we recall its advantages both from the expressiveness and the analysis standpoint. 1 Introduction TwoTowers [4] is a software tool for the functional and performance analysis of concurrent and distributed systems compositionally modeled in the stochastically timed process algebra EMPA [3] The purpose of TwoTowers is similar to that of other stochastically timed process algebra based tools, such as the ....

....not need to write code for implementing most of the analysis routines, thereby making the development of TwoTowers easier and faster, and we provided users with a full range of automated techniques implemented in widely used tools. Unfortunately, when using the version of TwoTowers described in [4], a large class of systems cannot be dealt with. Such systems are those where data plays a fundamental role, so it is not possible to abstract from data in the modeling process. Think e.g. of a system that receives messages and undertakes different activities depending on the contents of the ....

M. Bernardo, R. Cleaveland, S. Sims, W. Stewart, "TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems", in Proc. of FORTE/PSTV '98, Kluwer, pp. 457-467, 1998

....allows system properties efficiently derived at the net level to be reinterpreted at the algebraic level. Because of its practical advantages, such a label oriented net semantics has been recently implemented to integrate the stochastically timed process algebra EMPA based software tool TwoTowers [3] with the generalized stochastic Petri net based software tool GreatSPN [6] 16 in order to create a multiparadigm tool for the analysis of concurrent and distributed systems which benefits from the complementary strengths of process algebras and Petri nets. As far as future work is concerned, ....

M. Bernardo, W.R. Cleaveland, S.T. Sims, W.J. Stewart, "TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems", in Proc. of FORTE/PSTV '98, Kluwer, pp. 457-467, 1998

No context found.

M. Bernardo, R. Cleaveland, S. Sims, W. Stewart, "TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems", to appear in Proc. of the IFIP Joint Int. Conf. on Formal Description Techniques and Protocol Specification, Testing, and Verification (FORTE/PSTV '98), Paris (France), 1998

....for which, instead, resource allocation is needed in order to satisfy their deadlines. Second, we show in Sect. 3 how the performance of such a proposed mechanism may be predicted by using a software tool (termed TwoTowers) which is based on the stochastically timed process algebra EMPA [1, 2]. The main motivation behind the use of the above mentioned algebraic formalism in order to describe and analyze the audio mechanism is that it has permitted an easier and faster modelling activity, thanks to its compositionality. 2 PACKETIZED AUDIO: A BACKGROUND Packetized audio applications ....

....model (state transition graph with action type labeled edges) and a performance semantic model (Markov chain) Moreover, algebraic terms can be compared by means of a suitable notion of equivalence accounting for both functional and performance aspects. EMPA is the language adopted in TwoTowers [1], a software tool for the functional and performance analysis of concurrent systems which implements the integrated approach proposed in [2] TwoTowers is composed of a tool driver (including routines for parsing EMPA specifications and performing lexical, syntactic, and static semantic checks on ....

M. Bernardo, R. Cleaveland, S. Sims, W. Stewart, 1998, "TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems ", to appear in Proc. of FORTE/PTSV'98, Paris (France)

....for compositional reasoning and highlighting the necessity (beside the convenience) of defining a notion of equivalence directly on the integrated semantic model. Tool support: As the various semantics for EMPA can be fully mechanized, we are currently designing a software tool called TwoTowers [BCSS98] which implements the integrated approach of Fig. 1 in the exponential case. The tool is composed of a graphical user interface written in Tcl Tk [Ous94] a tool driver, an integrated kernel, a functional kernel and a Markovian kernel. The tool driver, which is written in C [KR88] and uses Lex ....

M. Bernardo, R. Cleaveland, S. Sims, W. Stewart, "TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems", submitted for publication, 1998

No context found.

M. Bernardo, W.R. Cleaveland, S.T. Sims, W.J. Stewart. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. In Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (FORTE-PSTV'98), pp. 457-467, Kluwer, 1998.

No context found.

M. Bernardo, W.R. Cleaveland, S.T. Sims, W.J. Stewart, TwoTowers: a tool integrating functional and performance analysis of concurrent systems, in: FORTE/PSTV, 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC