Velo - Vérification pour l'Environnement et le LOgiciel

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

====== Welcome to the VELO Wiki ======

{{:eolienne_50004.jpg?100|}} 
(([[http://soupl.eole.monsite-orange.fr/conception/index.html]]))
**AeLoS/LS2N** \\ ''a wheel for VELO''{{::velo-logo-carre.png?200|}}

Team Web site : [[https://aelos.ls2n.fr/]] or [[https://www.ls2n.fr/equipe/aelos/|LS2N AELOS]]

[[https://wiki.ls2n.fr/|LS2N wiki]] (//former team wikies// [[http://www.lina.sciences.univ-nantes.fr/coloss/wiki/|COLOSS wiki]] [[http://www.lina.sciences.univ-nantes.fr/aelos/|AELOS]]) 

===== Missions =====

[[https://wiki.ls2n.fr/doku.php?id=administratif:missions:universitenantes|wiki LS2N missions Notilus]]


{{ :velo:photo-velo.jpg?300|}} 
[[https://uncloud.univ-nantes.fr/index.php/s/rqjJcCgJ5fccKZM|Plug & Check]] [[https://uncloud.univ-nantes.fr/index.php/s/rqjJcCgJ5fccKZM|{{::capsule.png?100 |}}]] 

===== Team Events and Presentations =====

  * [[velo::presentations]]
  * [[velo::events]]

  * AeLoS [[aelos::presentations]] (aelos)
  * AeLoS [[aelos::events]]
  * Séminaire au vert 2023 {{:20231012_195008_semin-vert-ls2n.jpg?200|}}

===== Projects =====

* [[projects:econet:start|Econet Project]]
* [[projects:coloc:start|COLOC Project]]
* [[https://onecad.univ-nantes.fr//|Onecad]]
* [[https://costo.univ-nantes.fr/|CostoTest]] //voir ci-dessous//
* [[https://hencher.ls2n.fr/|Hencher]]
* [[https://ev3.univ-nantes.fr|EV3]]

===== Kmelia/COSTO =====

Kmelia is a component specification model based on the description of complex services. 
Kmelia components are abstract, independent from their environment and therefore non-executable
Kmelia can be used to model software architectures and their properties, these models being later refined to execution platforms. It can also be used as a common model for studying component or service model properties (abstraction, interoperability, composability). 
Kmelia main characteristics are: components, services, software architectures, protocols, contracts, specification of complex interaction between services.
    
COSTO (Component Study Toolbox) is a software tool to support design and analysis of component using the Kmelia Abstract component model.

  * The Kmelia [[kmelia:start|Page ]] [[http://www.lina.sciences.univ-nantes.fr/aelos/projects/kmelia/index_en.php|team page]]
  * The COSTO [[costo:start|Page ]]

    Keywords: component model, services, software architectures, protocols, contracts...
===== Intranet =====

  * AeLoS [[intranet:start|private area]]
  * Promoting a fair research {{::guide_promouvoir_une_recherche_inte_gre_et_responsable_17_juillet_2014-2.pdf|the CNRS guide (french)}}

Velo - Vérification pour l'Environnement et le LOgiciel

Outils pour utilisateurs

Outils du site

Outils de la page