You are here: Tutorials
Friday, 2021-08-13


Gold Corporate Support

Corporate Support

Hands on DiSL: The Java Bytecode Instrumentation Framework

TimeShort description:

DiSL is an Java bytecode instrumentation framework developed in cooperation between University of Lugano, Charles University in Prague and Shanghai Jiao Tong University. DiSL language is inspired by AOP principles but tailored for instrumentation used in dynamic program analysis. The features, like no additional allocations and transparent code handling, make DiSL an excellent assistant for performance evaluation. The tutorial will explain basic features of DiSL presented on simple instrumentation task. The audience is encouraged to bring their own laptops as the tutorial will include simple practical examples that can be tried during the tutorial.


Holistic Optimization of Distribution Automation Smart-Grid Designs using Survivability Modeling

Time: April 21, 13:30 - 15:00

Short description:





Analysis of concurrent models with non-Markovian temporal parameters


Part 1: April 21, 13:30 - 15:00

Part 2: April 21, 15:30 - 17:00

Short description:

The tutorial addresses the analysis of stochastic models that include non-exponentially distributed temporal parameters.








Time: April 21, 15:30 -17:00

Short description:

1) The concept of concurrent users often causes confusion when used to define performance requirements in industrial software projects. The term is frequently used to state a performance requirement without clarification of what the users will be doing, or how often. This paper offers a thorough analysis of the concept and related notions.


3) But even when basing performance requirements on clear, well-suited concepts, there appears to be no uniform format in the literature for such requirements. In particular, the requirements are sometimes stated in general, rather than for the specific areas of functionality of the system. As a consequence, the point may be missed that the through-put may be unevenly distributed over the functionality of the system. In this paper we therefore advocate the format of performance-annotated use cases, adding requirements on through-put and response-times to the traditional use case.


5) Finally we outline an overall approach to performance test based on the above ideas. The approach has been followed in several industrial projects.