Skip to Main content Skip to Navigation
Conference papers

Validation of COSMOS DSL programs

Abstract : COSMOS DSL is a language dedicated to the domain of composition of context information. It allows, through its high-level constructions, to treat very large amounts of context data coming from distributed sources, whatsoever in ubiquitous systems or large-scale distributed systems. In this paper, we focus on the safety of programs developed in COSMOS DSL. We discuss the needs of reliability and validation of specific properties such as the lack of deadlocks and vivacity of context information. Then we propose an automatable modeling of COSMOS DSL using the Petri nets formalism to allow verification of behavioral properties in a software tool
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01309290
Contributor : Médiathèque Télécom SudParis & Institut Mines-Télécom Business School Connect in order to contact the contributor
Submitted on : Friday, April 29, 2016 - 11:27:55 AM
Last modification on : Wednesday, October 14, 2020 - 4:13:49 AM

Identifiers

Citation

Mohamed El Amine Matougui, Sébastien Leriche. Validation of COSMOS DSL programs. ICCES 2010 : 6th International Conference on Computer Engineering & Systems, Nov 2010, Cairo, Egypt. pp.307 - 313, ⟨10.1109/ICCES.2010.5674874⟩. ⟨hal-01309290⟩

Share

Metrics

Record views

125