Integrating Performance Analysis in the Context of LOTOS-Based Design (Contributo in atti di convegno)

Type
Label
  • Integrating Performance Analysis in the Context of LOTOS-Based Design (Contributo in atti di convegno) (literal)
Anno
  • 1994-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/MASCOT.1994.284408 (literal)
Alternative label
  • M. Ajmone Marsan; A. Bianco; L. Ciminiera; R. Sisto; A. Valenzano (1994)
    Integrating Performance Analysis in the Context of LOTOS-Based Design
    in 2nd IEEE Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 1994), Durham, 31 Gennaio - 2 Febbraio 1994
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • M. Ajmone Marsan; A. Bianco; L. Ciminiera; R. Sisto; A. Valenzano (literal)
Pagina inizio
  • 292 (literal)
Pagina fine
  • 298 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=284408 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 7 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro di Studi per l'Elaborazione Numerale dei Segnali, CENS-CNR, Torino.Italy (literal)
Titolo
  • Integrating Performance Analysis in the Context of LOTOS-Based Design (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-8186-5292-6 (literal)
Abstract
  • Performance analysis and formal correctness verification of computer communication protocols and distributed systems have traditionally been considered as two separate fields. However, their integration can be achieved by using formal description techniques as paradigms for performance modeling. The authors investigate the possibility of using LOTOS, one of the two formal specification languages that have been standardized by ISO, as the formal basis for performance modeling. A LOTOS extension which encompasses both timing and probabilistic aspects is proposed, and a general performance model derivable from extended LOTOS specification is identified. The performance model is open to different evaluation techniques. A simple example, a stop-and-wait protocol, is used to concretely demonstrate the new approach (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it