https://velo.wiki.ls2n.fr/ 2026-05-02T08:23:51+02:00 https://velo.wiki.ls2n.fr/ https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:check_with_b&rev=1522767575&do=diff Check with B TODO MM text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:check_with_lotos&rev=1522767575&do=diff Check with LOTOS TODO CA text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:check_with_mec&rev=1522767575&do=diff Check with MEC TODO PA Processus de vérification - From Kmelia to MEC : run ''costo.checks.kmelia2mec.KmlToMecBis''\\ * you need to provide an environment file ''Mec.userprefs'' in the root directory of CostoData * used to select the directories text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:createkmeliaproject&rev=1522767575&do=diff Create your first Kmelia Project * Create a Java project * Create a new directory called kmelia to store the specification * Create a new Kmelia Component by selecting the Others option * Toggle the Kmelia Nature of the project text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:examples&rev=1522767575&do=diff Kmelia examples started by PA on 26/07/12 The Modevva 2013 Project project source [zip] The TestKmelia Project ImportTestKmeliaProject Run the examples * RunAutonomousPlatoonExample * RunSimplePlatoonExample * RunStockExample The KmeliaSpec Project ImportKmeliaSpecProject Run the examples * ATMExample * CoComeExample * ChatExample back to the guide text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:generate_latex&rev=1522767575&do=diff Generate LaTeX generate a Latex file with eps files to document a Kmelia specification see the costo.utils.exports.KMLtoTEX text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:importkmeliaproject&rev=1522767575&do=diff Import a Kmelia Project * Download the Project example archive * Select the Import menu in the left side window (package explorer) * Choose Create new projects from an archive file or directory. * Select the example archive * Open an example component text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:importtestkmeliaproject&rev=1522767575&do=diff Import the Test Kmelia Project * Download the Project example archive * Select the Import menu in the left side window (package explorer) * Choose Create new projects from an archive file or directory. * Select the example archive * Open an example component text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:load_a_specification&rev=1522767575&do=diff Load a specification Mode // executing inside Eclipse (currently used by PA, MM) * program : costo.Loader.java Run>As Java Application * you need to provide an environment file Costolib.userprefs in the root directory of CostoData * used to select the directories text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:runautonomousplatoonexample&rev=1522767575&do=diff Run an Example Autonomous Platoon system In this example, the vehicule control their behavior by an autorun service. This example was a base example for testing Kmelia components and applications. * Open the PlatoonSystem component of the autonomousSimplePlatoon text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:runsimpleplatoonexample&rev=1522767575&do=diff Run an Example Simple Platoon system In this example, the vehicule control their behavior by an autorun service. * Open the PlatoonSystem component of the simplePlatoon folder * On the above picture you can see the Kmelia action buttons on the right of the shortcut bar. text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:runstockexample&rev=1522767575&do=diff Run an Example Stock system * Open the StockSystem component of the FACS10 folder * On the above picture you can see the Kmelia action buttons on the right of the shortcut bar. click on the kml2java button * Refresh the files of the project ( text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:start&rev=1522767575&do=diff COSTO User Guide Installation guide plugins descriptions First steps Import a Kmelia Project ImportKmeliaProject Create your first Kmelia Project CreateKmeliaProject Run examples examples Tutorials tutorials Case Studies Writing specifications (see the spec/kmelia folder in COSTO) * ATM or french GAB * CoCoME * text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:test_the_grammar&rev=1522767575&do=diff Test the grammar (currently used by GA) costo.checks.tests.GrammarDebugTest text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:tutorials&rev=1522767575&do=diff COSTO/Kmelia Tutorial started by PA on 26/07/12 Create a Kmelia Project see Project creation Tutorial 1 : Specification Specifications * Example 1s * Example 2s Verifications * Example 1v * Example 2v Animations * Example 1a * Example 2a Tutorial 2: Client/server Tutorial 3: Processes Run the examples * RunAutonomousPlatoonExample * text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:uginstall&rev=1522767575&do=diff User Installation Guide of COSTO last update by PA on 02/10/12 Install Eclipse * Download an Eclipse Platform (the classic version is sufficient) at the Eclipse Project web site * To run the Costo plugins use any Eclipse release since Ganymede 4.3.2 text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:userguide:verification_process&rev=1522767575&do=diff Verification Process ongoing work started in 2007 by a TER student see the costo.checks.verifprocess package