Back to Search
Start Over
Abstraction and Verification of Properties of a Real-Time Java
- Source :
- 8th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2013), 8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), 8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), Jun 2012, Kherson, Ukraine. pp.1-18, ICT in Education, Research, and Industrial Applications ISBN: 9783642357367, ICTERI, HAL
- Publication Year :
- 2013
- Publisher :
- Springer Berlin / Heidelberg, 2013.
-
Abstract
- International audience; 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.
- Subjects :
- Model checking
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
Java
Scala
Computer science
02 engineering and technology
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
computer.software_genre
Interface homme-machine
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Real time Java
Architectures Matérielles
020204 information systems
Multithreading
0202 electrical engineering, electronic engineering, information engineering
Génie logiciel
[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
computer.programming_language
Uppaal
Programming language
strictfp
Resource sharing conflict
Deadlock
Modélisation et simulation
Java concurrency
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Systèmes embarqués
Shared resource
Timed automaton
Cryptographie et sécurité
020201 artificial intelligence & image processing
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
computer
Java Modeling Language
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-642-35736-7
- ISBNs :
- 9783642357367
- Database :
- OpenAIRE
- Journal :
- 8th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2013), 8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), 8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), Jun 2012, Kherson, Ukraine. pp.1-18, ICT in Education, Research, and Industrial Applications ISBN: 9783642357367, ICTERI, HAL
- Accession number :
- edsair.doi.dedup.....6dbbf37199e5896dbaf73679901b7f85