Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

26622 A Model-Derivation Framework for Timing Analysis of Java Software Systems
Home Policy Brochure Browse Search User Area Contact Help

Yildiz, B.M. and Rensink, A. and Bockisch, C.M. and Akşit, M. (2015) A Model-Derivation Framework for Timing Analysis of Java Software Systems. Technical Report TR-CTIT-15-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Full text available as:


1035 Kb
Open Access

Exported to Metis


One of the main challenges in developing a software system is to assure that its properties fulfill the specifications. In the context of this paper, we are especially interested in timing properties. Model-based software verification is one of the approaches to achieve this. However, model-based verification requires expressive models of software systems and deriving such models is not a trivial task. Although there are a few model derivation tool proposals for the purpose of model-checking timing properties, these are dedicated tools supporting a selected set of verification techniques and as such they are not explicitly designed for coping with new demands. This paper presents a framework that derives models from Java programs in an automated way for analyzing timing properties. The framework has the following properties that are not provided by the previous proposals: (1) Efficiency in model development, (2) consistency of models with software, (3) expressiveness of models, (4) scalability and (5) extensibility of the model derivation process.

Item Type:Internal Report (Technical Report)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-General
Research Project:Aselsan/TIPS: Time Performance Improvement with Parallel Processing Systems
Uncontrolled Keywords:Automatic model derivation, timing analysis, model checking, model transformation, model-driven software engineering
ID Code:26622
Deposited On:07 January 2016
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item