ADLV is an approach, a language and a tool for the realization of applications with control that can be verified.
This work was done in the context of the MoDriVal (Model Driven Validation) subproject of the Usine Logicielle project of the Systema@tic Paris-Région competitiveness cluster.
Available items
- Version 1.0 of the software (EPL 1.0 license)
- Final report of the activity (in French)
- Presentation (in French) for the final review of the MoDrival subproject on December 6 2007
Keywords
Architecture Description Language, Verification of Models, Component Based Design
License
ADLV is distributed under the Open Source Eclipse Public License 1.0
Publications
[1] 2008ADLVCOMPSACAn Architecture Description Language for Verification in Component-based Software , Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, August, 2008, IEEE Computer Society, pages 365-368, . IEEE(BibTeX)
[2] 2008CheckPropertiesMEMOCODEFrom Data to Events: Checking Properties on the Control of a System , Proceedings of the Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008), Anaheim, California, June, 2008, IEEE Computer Society, pages 17-26, . IEEE(BibTeX)
[3] 2008CheckHeteroMoVaHChecking Properties on the Control of Heterogeneous Systems , IEEE International Conference on Software Testing, verification and validation, MoVaH Workshop on Modeling, Validation and Heterogeneity, April, 2008, IEEE Digital Library, pages 141-150(BibTeX)