Communicating sequential processes
Communicating sequential processes
Considerations on the insularity of performance evaluation
IEEE Transactions on Software Engineering
Fundamentals of queueing theory (2nd ed.).
Fundamentals of queueing theory (2nd ed.).
Performance models of multiprocessor systems
Performance models of multiprocessor systems
Introduction to operations research, 4th ed.
Introduction to operations research, 4th ed.
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
IEEE Transactions on Computers
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
Stochastic process algebras—between LOTOS and Markov chains
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Partial order models for quantitative extensions of LOTOS
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Compositional performance modelling with the TIPPtool
Performance Evaluation - Special issue on modelling techniques and tools for performance evaluation
Performance validation tools for software/hardware systems
Performance Evaluation
Process algebra for performance evaluation
Theoretical Computer Science
Communication and Concurrency
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Fundamentals of Performance Modeling
Fundamentals of Performance Modeling
Hardware/Software Codesign and Rapid Prototyping of Embedded Systems
IEEE Design & Test
IEEE Transactions on Software Engineering
Performance Evaluation: Origins and Directions
Performance Evaluation: Origins and Directions
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Throughput Approximation of Decision Free Processes Using Decomposition
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
MPA: a Stochastic Process Algebra
MPA: a Stochastic Process Algebra
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Study on parallel system performance modeling based on TCPN
HPCA'09 Proceedings of the Second international conference on High Performance Computing and Applications
Hi-index | 0.00 |
The main goal of this contribution is to advocate the increased use of formal methods (FM) in the field of performance evaluation (PE). Moreover, we try to reduce the mutual reservations between both areas, formal specification techniques and performance evaluation since both can profit from such an integration: FMs may find their way into a new and very attractive area of applications and some fundamental problems of PE may be overcome. The first part summarizes the evolution of PE, its methodology and the basic concepts of performance modeling and analysis, elaborated in specific contributions of this book. Classical modeling and analysis techniques have a high standard and have been quite successful. However, there are important problem classes still open, and there are some fundamental deficiencies: Task interdependencies and synchronization, interfacing in modeling hierarchies, methods and tools for automating the performance engineering process are typical examples. We therefore advocate the integration of FMs and PE and survey three advanced approaches, again, treated in detail in specific contributions: Stochastic Petri-Nets, Stochastic Activity Networks and Stochastic Process Algebras. We try to summarize our own experience with these techniques and conclude with a list of challenging topics and current research directions.