The Experts below are selected from a list of 171 Experts worldwide ranked by ideXlab platform
Stephen Gilmore - One of the best experts on this subject based on the ideXlab platform.
-
automatic extraction of pepa performance models from uml activity diagrams annotated with the marte profile
Workshop on Software and Performance, 2008Co-Authors: Mirco Tribastone, Stephen GilmoreAbstract:Recent trends in software engineering lean towards modelcentric development methodologies, a context in which the UML plays a crucial role. To provide modellers with quantitative insights into their artifacts, the UML benefits from a framework for software performance evaluation provided by MARTE, the UML profile for model-driven development of Real Time and Embedded Systems. MARTE offers a rich semantics which is general enough to allow different quantitative analysis techniques to act as underlying performance engines. In the present paper we explore the use of the stochastic process algebra PEPA as one such engine, providing a procedure to systematically map activity diagrams onto PEPA models. Independent activity flows are translated into sequential automata which co-ordinate at the synchronisation points expressed by fork and join nodes of the activity. The PEPA performance model is interpreted against a Markovian semantics which allows the calculation of performance indices such as throughput and utilisation. We also discuss the implementation of a new software tool powered by the popular Eclipse Platform which implements the fully automatic translation from MARTE-annotated UML activity diagrams to PEPA models.
-
automatic extraction of pepa performance models from uml activity diagrams annotated with the marte profile
Workshop on Software and Performance, 2008Co-Authors: Mirco Tribastone, Stephen GilmoreAbstract:Recent trends in software engineering lean towards modelcentric development methodologies, a context in which the UML plays a crucial role. To provide modellers with quantitative insights into their artifacts, the UML benefits from a framework for software performance evaluation provided by MARTE, the UML profile for model-driven development of Real Time and Embedded Systems. MARTE offers a rich semantics which is general enough to allow different quantitative analysis techniques to act as underlying performance engines. In the present paper we explore the use of the stochastic process algebra PEPA as one such engine, providing a procedure to systematically map activity diagrams onto PEPA models. Independent activity flows are translated into sequential automata which co-ordinate at the synchronisation points expressed by fork and join nodes of the activity. The PEPA performance model is interpreted against a Markovian semantics which allows the calculation of performance indices such as throughput and utilisation. We also discuss the implementation of a new software tool powered by the popular Eclipse Platform which implements the fully automatic translation from MARTE-annotated UML activity diagrams to PEPA models.
Mirco Tribastone - One of the best experts on this subject based on the ideXlab platform.
-
automatic extraction of pepa performance models from uml activity diagrams annotated with the marte profile
Workshop on Software and Performance, 2008Co-Authors: Mirco Tribastone, Stephen GilmoreAbstract:Recent trends in software engineering lean towards modelcentric development methodologies, a context in which the UML plays a crucial role. To provide modellers with quantitative insights into their artifacts, the UML benefits from a framework for software performance evaluation provided by MARTE, the UML profile for model-driven development of Real Time and Embedded Systems. MARTE offers a rich semantics which is general enough to allow different quantitative analysis techniques to act as underlying performance engines. In the present paper we explore the use of the stochastic process algebra PEPA as one such engine, providing a procedure to systematically map activity diagrams onto PEPA models. Independent activity flows are translated into sequential automata which co-ordinate at the synchronisation points expressed by fork and join nodes of the activity. The PEPA performance model is interpreted against a Markovian semantics which allows the calculation of performance indices such as throughput and utilisation. We also discuss the implementation of a new software tool powered by the popular Eclipse Platform which implements the fully automatic translation from MARTE-annotated UML activity diagrams to PEPA models.
-
automatic extraction of pepa performance models from uml activity diagrams annotated with the marte profile
Workshop on Software and Performance, 2008Co-Authors: Mirco Tribastone, Stephen GilmoreAbstract:Recent trends in software engineering lean towards modelcentric development methodologies, a context in which the UML plays a crucial role. To provide modellers with quantitative insights into their artifacts, the UML benefits from a framework for software performance evaluation provided by MARTE, the UML profile for model-driven development of Real Time and Embedded Systems. MARTE offers a rich semantics which is general enough to allow different quantitative analysis techniques to act as underlying performance engines. In the present paper we explore the use of the stochastic process algebra PEPA as one such engine, providing a procedure to systematically map activity diagrams onto PEPA models. Independent activity flows are translated into sequential automata which co-ordinate at the synchronisation points expressed by fork and join nodes of the activity. The PEPA performance model is interpreted against a Markovian semantics which allows the calculation of performance indices such as throughput and utilisation. We also discuss the implementation of a new software tool powered by the popular Eclipse Platform which implements the fully automatic translation from MARTE-annotated UML activity diagrams to PEPA models.
Heiko Krumm - One of the best experts on this subject based on the ideXlab platform.
-
using spin and Eclipse for optimized high level modeling and analysis of computer network attack models
International workshop on Model Checking Software, 2005Co-Authors: Gerrit Rothmaier, Tobias Kneiphoff, Heiko KrummAbstract:Advanced attack sequences combine different kinds of steps (e.g. attacker, protocol, and administration steps) on multiple networked systems. We propose a SPIN based approach for formal modeling and analysis of such scenarios. Our approach is especially suited for scenarios were protocol and network level aspects matter simultaneously. Typical attack sequences and not yet considered variants can be automatically found. The development of scenario models is supported by a modeling framework and the use of the high-level process specification language cTLA. A compiler translates the high-level cTLA models to Promela. This allows the powerful model-checking tool SPIN to be employed for analysis. Through integration of the compiler and SPIN into the Eclipse Platform both model development and analysis are facilitated.
-
using spin and Eclipse for optimized high level modeling and analysis of computer network attack models
International workshop on Model Checking Software, 2005Co-Authors: Gerrit Rothmaier, Tobias Kneiphoff, Heiko KrummAbstract:Advanced attack sequences combine different kinds of steps (e.g. attacker, protocol, and administration steps) on multiple networked systems. We propose a SPIN based approach for formal modeling and analysis of such scenarios. Our approach is especially suited for scenarios were protocol and network level aspects matter simultaneously. Typical attack sequences and not yet considered variants can be automatically found. The development of scenario models is supported by a modeling framework and the use of the high-level process specification language cTLA. A compiler translates the high-level cTLA models to Promela. This allows the powerful model-checking tool SPIN to be employed for analysis. Through integration of the compiler and SPIN into the Eclipse Platform both model development and analysis are facilitated.
Gerrit Rothmaier - One of the best experts on this subject based on the ideXlab platform.
-
using spin and Eclipse for optimized high level modeling and analysis of computer network attack models
International workshop on Model Checking Software, 2005Co-Authors: Gerrit Rothmaier, Tobias Kneiphoff, Heiko KrummAbstract:Advanced attack sequences combine different kinds of steps (e.g. attacker, protocol, and administration steps) on multiple networked systems. We propose a SPIN based approach for formal modeling and analysis of such scenarios. Our approach is especially suited for scenarios were protocol and network level aspects matter simultaneously. Typical attack sequences and not yet considered variants can be automatically found. The development of scenario models is supported by a modeling framework and the use of the high-level process specification language cTLA. A compiler translates the high-level cTLA models to Promela. This allows the powerful model-checking tool SPIN to be employed for analysis. Through integration of the compiler and SPIN into the Eclipse Platform both model development and analysis are facilitated.
-
using spin and Eclipse for optimized high level modeling and analysis of computer network attack models
International workshop on Model Checking Software, 2005Co-Authors: Gerrit Rothmaier, Tobias Kneiphoff, Heiko KrummAbstract:Advanced attack sequences combine different kinds of steps (e.g. attacker, protocol, and administration steps) on multiple networked systems. We propose a SPIN based approach for formal modeling and analysis of such scenarios. Our approach is especially suited for scenarios were protocol and network level aspects matter simultaneously. Typical attack sequences and not yet considered variants can be automatically found. The development of scenario models is supported by a modeling framework and the use of the high-level process specification language cTLA. A compiler translates the high-level cTLA models to Promela. This allows the powerful model-checking tool SPIN to be employed for analysis. Through integration of the compiler and SPIN into the Eclipse Platform both model development and analysis are facilitated.
Wang Weiping - One of the best experts on this subject based on the ideXlab platform.
-
integration of navigation simulation system based on Eclipse Platform
Journal of Computer Applications, 2008Co-Authors: Wang WeipingAbstract:In order to satisfy the software integration requirements of navigation simulation system,an Eclipse based solution of integrating different experiment tasks was proposed.By developing Eclipse plugins of new wizards,experiment configures and experiment analyses,all the modules were well integrated,providing analysts with a system software of universal and consistent operation style.Depending on the ascendency of the Eclipse,this method has the advantages of shorter developing cycle and lower developing cost.Besides,this system software has an open framework,that is,the tasks modules developed in the future can also be integrated into this software.
