Performance evaluation of Fractal component-based systems (original) (raw)
Related papers
Advances in Intelligent Systems and Computing, 2013
Today, performance prediction of component-based systems is important to help software engineers to analyze their applications in early stages of the development life-cycle, so that performance problems are avoided. To achieve performance prediction, modelling is a crucial step. It would be interesting if component performance models can be derived automatically. To this aim, we describe in this paper a software toolset which allows component designers of specific systems, that are Fractal systems, to generate performance models, starting from the Fractal architectural description of their system and component behaviours. These models consist of Stochastic Well formed Nets (SWN) and Stochastic Petri nets (SPN), and can be analyzed using SPN/SWN analysis tools. A case study illustrates the effectiveness of our approach.
Structured performance analysis for component-based systems
International Journal of Critical Computer-Based Systems, 2012
The Component Based System (CBS) paradigm is now largely used to design software systems. In addition, performance and behavioural analysis remains a required step for the design and the construction of efficient systems. This is especially the case of CBS, which involve interconnected components running concurrent processes. This paper proposes a compositional method for modeling and structured performance analysis of CBS. Modeling is based on Stochastic Well-formed Nets (SWN), a high level model of Stochastic Petri nets, widely used for dependability analysis of concurrent systems. Starting from the definition of the system given in a suitable Architecture Description Language, and from the definition of the elementary components, we build an SWN of the global system together with a set of SWNs modeling the components of the CBS and their connections. From these models, we derive performances of the system thanks to a structured analysis induced by the structure of the CBS. We describe the application of our method through an example designed in the framework of the CORBA Component Model.
Component-based architecture: the Fractal initiative
annals of telecommunications - annales des télécommunications, 2009
Component-based software engineering (CBSE) [32] and software architecture [30] have become mature and very active fields of study. 1 Both can be traced back to an early vision of systematically produced software [24] and are primarily concerned with the construction of software systems by composition or assembly of software components, with well-defined interfaces and explicit dependencies. Nowadays, it is generally recognized that component-based software engineering and software architecture approaches are crucial to the development, deployment, management, and maintenance of large, dependable software systems [6]. Several component models and associated architecture description languages (i.e., notations for defining components and component assemblages) have been defined in the past
Performance Analysis of Component-Based Systems
2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, 2008
Dependability assessment of component-based systems must include verification of temporal and performance requirements as they can be of primary importance for many real-time and embedded systems. This paper uses labeled timed Petri nets as models of the behavior of components at their interfaces. These component models are systematically composed into an integrated model of the system which is used for verification of temporal characteristics and performance analysis.
Validation of software systems is very useful at the primary stages of their development cycle. Evaluation of functional requirements is supported by clear and appropriate approaches, but there is no similar strategy for evaluation of non-functional requirements (such as performance and reliability). Whereas establishing the non-functional requirements have significant effect on success of software systems, therefore considerable necessities are needed for evaluation of non-functional requirements. Also, if the software performance has been specified based on performance models, may be evaluated at the primary stages of software development cycle. Therefore, modeling and evaluation of non-functional requirements in software architecture level, that are designed at the primary stages of software systems development cycle and prior to implementation, will be very effective. We propose an approach for evaluate the performance and reliability of software systems, based on formal models (hierarchical timed colored petri nets) in software architecture level. In this approach, the software architecture is described by UML use case, activity and component diagrams, then UML model is transformed to an executable model based on hierarchical timed colored petri nets (HTCPN) by a proposed algorithm. Consequently, upon execution of an executive model and analysis of its results, non-functional requirements including performance (such as response time) and reliability may be evaluated in software architecture level.
Modelling and performance analysis of component-based systems
International Journal of Critical Computer-Based Systems, 2010
Assessment of dependability of component-based systems must include verification of temporal and performance requirements as they can be of primary importance for many real-time and embedded systems. This paper uses labelled timed Petri nets as models of the behaviour of components at their interfaces. These component models are systematically composed into an integrated model of the system which is used for verification of temporal characteristics and performance analysis.
Structured analysis for Component-based systems: an EJB/CORBA Application
Over the last years, modern software system design has been turning into the use of the Component Based System paradigm. Components are developed in isolation or pre-exist, and are then assembled to build a system. In this paper, we present an example of performance analysis of an Enterprise JavaBeans /Common Object Request Broker infrastructure. with an approach exploiting the component architecture of the system. This approach starts from the definition of the components and their interactions, and applies a structurally-driven way for performance analysis of the whole system. Components are modelled with Stochastic Well-formed Net, a high level model of Stochastic Petri Nets which have proved to be efficient for performance analysis of complex systems with symmetrical behaviours. Structured interconnections of SWN allow an efficient analysis of the global system based on our previous work on decomposable SWN.
This paper presents FRACTAL, a hierarchical and reflective component model with sharing. Components in this model can be endowed with arbitrary reflective capabilities, from plain black-box objects to components that allow a fine-grained manipulation of their internal structure. The paper describes JULIA, a Java implementation of the model, a small but efficient runtime framework, which relies on a combination of interceptors and mixins for the programming of reflective features of components. The paper presents a qualitative and quantitative evaluation of this implementation, showing that component-based programming in FRACTAL can be made very efficient.
A Formal Model Of SystemC Components Using Fractal Hypergraphs
In this paper, we introduce a new mathematical structure: fractal hypergraph. Due to the hierarchical and compositional nature of fractal hypergraphs, representations based on fractal hypergraphs can capture and abstract the object-oriented nature of SystemC. We propose a formal semantics of Sys-temC components based on fractal hypergraphs that has already be used in a formal debugger of SystemC components.