Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Wed 8 Jul 2020 16:50 - 16:58 at Goguryeo - A11-Performance and Analysis Chair(s): Pooyan Jamshidi

ORIS is a toolbox enabling quantitative evaluation of transient and steady-state measures in stochastic models of concurrent behavior. As a salient and characterizing feature, ORIS supports numerical solution of models with generally distributed timers, possibly limited by firm upper and lower bounds, which break the limits of memoryless Markovian behavior so as to improve models validity through the ability to fit real data and firm timing constraints obtained by design.

The toolbox includes functions for creation, validation, and evaluation of models specified through the formalism of Stochastic Time Petri Nets (STPNs), which can be exploited through an interactive GUI or through programmatic access by a Java application.

ORIS provides a robust and well-engineered Java implementation for a suite of advanced numerical solution techniques, which can contribute to the practice of software engineering in multiple directions. On the one hand, ORIS supports engineering and early evaluation of non-functional requirements related to various characteristics, notably including Performance Efficiency, Reliability, and Maintainability. A rich literature of model transformation techniques supports integration of this capability into Model Driven Engineering processes fitting the needs of industrial practice.

On the other hand, ORIS functional capabilities can be embedded in software components implementing descriptive, diagnostic, predictive, and prescriptive analytics, which in turn can fit in advanced software architectures implementing the concepts of models@runtime and self-adaptation. For example, data analytics components acquiring data on a monitored system (e.g., a software architecture, a fault-tolerant system, a cyber-physical infrastructure) can use ORIS as a Java library to derive quantitative measures of interest (e.g., QoS violations, expected repair times) to tune system parameters and optimize system behavior.

Over the years, ORIS was tested against a number of different scenarios in both directions, for various application cases including: - Optimal input selection in testing of partially controllable real-time software; - Performability analysis of ERTMS/ETCS railway signaling standards under GSM-R failures; - Verification of real-time software in model-driven development processes based on model transformation from input UML statechart specifications; - Analysis of expected service disruption due to failures in critical infrastructures; - Evaluation of real-time mutual exclusion protocols among concurrent processes.

On the ground of this experience, the underlying Java implementation of ORIS was recently released in an open-source distribution, and its overall structural and functional characteristics were reported in a paper that appeared in the IEEE Transactions on Software Engineering.

Wed 8 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

16:05 - 17:05
A11-Performance and AnalysisNew Ideas and Emerging Results / Journal First / Technical Papers / Demonstrations at Goguryeo
Chair(s): Pooyan Jamshidi University of South Carolina
Nimbus: Improving the Developer Experience for Serverless ApplicationsDemo
Robert Chatley Imperial College London, Thomas Allerton Starling Bank
Testing with Fewer Resources: An Adaptive Approach to Performance-Aware Test Case GenerationJ1
Journal First
Giovanni Grano University of Zurich, Christoph Laaber University of Zurich, Annibale Panichella Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences
Link to publication DOI Pre-print
What's Wrong with My Benchmark Results? Studying Bad Practices in JMH BenchmarksJ1
Journal First
Diego Costa Concordia University, Canada, Cor-Paul Bezemer University of Alberta, Canada, Philipp Leitner Chalmers University of Technology & University of Gothenburg, Artur Andrzejak Heidelberg University
Towards the Use of the Readily Available Tests from the Release Pipeline as Performance Tests. Are We There Yet?ACM SIGSOFT Distinguished Paper AwardsTechnical
Technical Papers
Zishuo Ding University of Waterloo, Canada, Jinfu Chen Concordia University, Canada, Weiyi Shang Concordia University
ModGuard: Identifying Integrity & Confidentiality Violations in Java ModulesJ1
Journal First
Andreas Dann Paderborn University, Ben Hermann Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication DOI
Program Debloating via Stochastic OptimizationNIER
New Ideas and Emerging Results
Qi Xin Georgia Institute of Technology, Myeongsoo Kim Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology, USA, Alessandro Orso Georgia Tech
The ORIS Tool: Quantitative Evaluation of Non-Markovian SystemsJ1
Journal First
Marco Paolieri University of Southern California, Marco Biagi University of Florence, Laura Carnevali University of Florence, Enrico Vicario University of Florence