OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Abstraction and Verification of Properties of a Real-Time Java

Baklanova, Nadezhda and Strecker, Martin Abstraction and Verification of Properties of a Real-Time Java. (2013) In: 8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), 6 June 2012 - 10 June 2012 (Kherson, Ukraine).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/978-3-642-35737-4_1


We present a tool for analysing resource sharing conflicts in multithreaded Java programs. Java programs are translated to timed automata models verified afterwards by the Uppaal model checker. Analysed programs are annotated with timing information indicating the execution duration of a particular statement. Based on the timing information, the analysis of execution paths is performed, which gives an answer whether resource sharing conflicts are possible in a multithreaded Java program. If the analysis succeeds, resource locks may be eliminated from the Java program.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 347 Communications in Computer and Information Science ISSN: 1865-0929 ISBN : 978-3-642-35736-7 The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-35737-4_1
HAL Id:hal-01264525
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:01 Dec 2015 13:33

Repository Staff Only: item control page