In this chapter we review the foundations Compositional Performance Analysis (CPA) and explain many extensions which support its application in design practice. CPA is widely used in automotive system design where it successfully complements or even replaces simulation based approaches
The integrated modelling and analysis of functional and non-functional aspects of system behaviour i...
The design of functionally correct systems greatly bene¯ts from modularity. When ex- pressed in a fo...
[[abstract]]In recent years, compositional analysis in the automatic verification techniques is know...
In this chapter we review the foundations Compositional Performance Analysis (CPA) and explain many ...
Performance modelling is concerned with the capture and analysis of the dynamic behaviour of compute...
International audienceFormal analysis methods of embedded systems provide safe, but unfortunately of...
This paper introduces the most basic concepts of the compositional analysis of data with a simple bu...
To make predictive analysis an effective tool for component-based software development (CBSD), it sh...
Stochastic Process Algebras have been proposed as compositional specification formalisms for perform...
The Common Component Architecture (CCA) is a component-based methodology for developing scientific s...
This paper presents a compositional performance analysis technique, enabling predictable deployment ...
We take stock of the present position of compositional data analysis, of what has been achieved in t...
A stepwise approach is proposed to predict the performance of component compositions. The approach c...
Dependability is a key concern for today's complex computer and communication systems. To make sure ...
Recent research on performance analysis for embedded systems shows a trend to formal compositional m...
The integrated modelling and analysis of functional and non-functional aspects of system behaviour i...
The design of functionally correct systems greatly bene¯ts from modularity. When ex- pressed in a fo...
[[abstract]]In recent years, compositional analysis in the automatic verification techniques is know...
In this chapter we review the foundations Compositional Performance Analysis (CPA) and explain many ...
Performance modelling is concerned with the capture and analysis of the dynamic behaviour of compute...
International audienceFormal analysis methods of embedded systems provide safe, but unfortunately of...
This paper introduces the most basic concepts of the compositional analysis of data with a simple bu...
To make predictive analysis an effective tool for component-based software development (CBSD), it sh...
Stochastic Process Algebras have been proposed as compositional specification formalisms for perform...
The Common Component Architecture (CCA) is a component-based methodology for developing scientific s...
This paper presents a compositional performance analysis technique, enabling predictable deployment ...
We take stock of the present position of compositional data analysis, of what has been achieved in t...
A stepwise approach is proposed to predict the performance of component compositions. The approach c...
Dependability is a key concern for today's complex computer and communication systems. To make sure ...
Recent research on performance analysis for embedded systems shows a trend to formal compositional m...
The integrated modelling and analysis of functional and non-functional aspects of system behaviour i...
The design of functionally correct systems greatly bene¯ts from modularity. When ex- pressed in a fo...
[[abstract]]In recent years, compositional analysis in the automatic verification techniques is know...
DOI
Add to ORKG