NEPTUNE 2014 c'est pour bientôt, le 3 juin, n'hésitez pas a vous inscrire :-)

May 23rd, 2014

IDM: Vérification, simulation .... consultez le programme ici

DASIA 2014: The Conference will take place in Warsaw, Poland, from June 3rd to June 5th

April 2nd, 2014

Conférence majeure sur les technologies utilisées dans le spatial, voir http://www.eurospace.org/1dasia-2014.aspx

4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z June 2 - 6 2014 Toulouse - France

March 31st, 2014

The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems  ....

BIG DATA & OPEN DATA Nouveaux carburants pour les transports ?

March 30th, 2014

BIG DATA & OPEN DATA Nouveaux carburants pour les transports ?


Des données très détaillées sur les systèmes de transport et leur exploitation pourraient permettre une évolution significative dans la prise de décision en matière de transports tant au niveau de l’utilisateur individuel qu’au niveau des entreprises et, de façon générale, de la société. Ceci concerne ....

NEPTUNE 2014, c'est parti pour les inscriptions ....

March 10th, 2014

Le programme des journées NEPTUNE 2014 au format pdf :
Inscription journées NEPTUNE 2011

L'inscription aux journées NEPTUNE 2014 se fait en renvoyant le bulletin suivant :
Inscription journées NEPTUNE 2011

Par courrier postal à : GL &IS - 8, rue du Parc - 92190 Meudon

Par mail à : genie-logiciel@orange.fr

Par fax. au : 01 46 23 82 93

neptune.irit.fr

 

Forum Méthodes Formelles Cycle de conférences: "Preuve de modèle, preuve de programme" Le 4/02/14 à Toulouse dans les locaux du LAAS

January 19th, 2014

Dans le cadre du Pôle de Compétitivité Aérospace Valley, CS co-organise (via sa participation au Domaine d'Activité Stratégique: Systèmes Embarqués, Electroniques et Logiciel)  le Forum "Méthodes Formelles", la journée du 4/02 (3ième de la série) est consacrée  à la preuve de modèle, preuve de programme. Pour en savoir plus et vous inscrire (inscription gratuite mais obligatoire) n'hésitez pas à aller sur la page du programme.

A noter que cette journée est retransmise en direct pour le pôle Minalogic à Grenoble.

Journées NEPTUNE 2014

January 13th, 2014

La journée NEPTUNE 2014 se déroulera le 3 juin 2014 à Telecom Paris Tech. Nous comptons sur votre présence.

 

 

 

La nuit de l'info 2013, c'est fini !!! rdv en 2014 .....

December 6th, 2013

14 équipes ont relevé le Défi CS

MasterOfDL [MODL]; Les Lances-Requetes [LLR F1]; Lamananas; Eniso warriors; Legacy; Fusion Team Phantom; Dark Teletubbies 2; Les guignols de l'info; Targaryen; Fork me I'm famous; .jSuisUn.pyVert; ISITANDROID; Push your hands up! et Babylone

7 ont livré un résultat

.jSuisUn.pyVert; Legacy; MasterOfDL; LesGuignols de l'info; Targaryen; ISITANDROID; Fusion Team Phantom

L'équipe gagnante est :


Targaryen (de Paris)


A noter que ISITANDROID (de Sousse) et MasterOfDL [MODL] (De Toulouse) obtiennent la 2ième et 3ième place.

CS Communication et Systèmes propose aux équipes participant à la Nuit de l'Info de relever le défi UML-CS (NEPTUNE) ....

December 2nd, 2013

 

Réaliser la meilleure modélisation UML en suivant la méthodologie UML-CS (NEPTUNE) en utilisant le modèle d'organisation NEPTUNE proposé dans la documentation.

Pour participer à ce défi les équipes devront utiliser un éditeur UML. Par exemple la dernière version open source de l'éditeur UML Topcased (rcp Linux ou win32) disponible sur :

et suivre l'approche méthodologique UML-CS (NEPTUNE) décrite dans le document suivant (Chapter 3 Page 43) :

Le jury se tiendra sur le site de Toulouse et regroupera des enseignants et des professionnels qui désigneront l'équipe qui aura su relever le défi UML-CS avec panache !!

 

Le 18 octobre 2013 se tiendra la journée IDM et modèles scientifiques à l'IRIT

September 18th, 2013

 

Le 18 octobre 2013 se tiendra la journée IDM et modèles scientifiques à l'IRIT (http://www.irit.fr), site Université Paul Sabatier (UPS) à Toulouse.

Cette journée a pour objectif de faire le point sur l'état de l'art et les opportunités que représentent la méta-modélisation et l'Ingénierie Dirigée par les Modèles (IDM) et plus généralement le génie logiciel pour mettre en place des plates-formes partagées pour la construction, l'utilisation, l'exploration, la pérennité, l'évolution, le couplage et la simulation par composants ou non des modèles scientifiques.


Pour vous inscrire:
http://agora.inp-toulouse.fr/limesurvey/index.php/876285/lang-fr

Pour consulter le programme:

http://devlog.cnrs.fr/journée-idm-et-modeles-scientifiques

Agile Tour : Toulouse Octobre 2013 ...

September 9th, 2013

CS Sponsorise l'Agile TOUR à Toulouse, la manifestation s'annonce très intéressante ...

Journée IDM et modèles scientifiques le 18 octobre 2013 à l'IRIT (Toulouse)

July 29th, 2013

Le 18 octobre 2013 se tiendra la journée IDM et modèles scientifiques à l'IRIT, site Université Paul Sabatier (UPS) à Toulouse. Cette journée a pour objectif de faire le point sur l'état de l'art et les opportunités que représentent la méta-modélisation et l'Ingénierie Dirigée par les Modèles (IDM) et plus généralement le génie logiciel pour mettre en place des plates-formes partagées pour la construction, l'utilisation, l'exploration, la pérennité, l'évolution, le couplage et la simulation par composants ou non des modèles scientifiques.

Pour vous inscrire

Pour consulter le programme




Fiabilité des logiciels: pas uniquement pour les avions!

June 21st, 2013

BGLE : Rendez-vous à 8h45 à l'IAS, 23 avenue Edouard Belin, 31400 Toulouse

June 11th, 2013

le Gouvernement a décidé d'une action dédiée au soutien aux technologies stratégiques du " cœur de filière " numérique (ie. les technologies de base du numérique : logiciel embarqué, cloud, calcul intensif, sécurité...)  dotée de 150 M€ dans le cadre du programme d'investissements d'avenir, dont le premier appel à projets concerne  le logiciel embarqué et les objets connectés, ouvert jusqu'au 15 Novembre 2013.

Cet appel fait suite au rapport de mission "Logiciel embarqué 2013" commandité à Dominique Potier. Ce rapport définit en particulier des priorités technologiques et applicatives qui sont aussi  largement les nôtres.

Pour vous donner toutes les chances de profiter au mieux de cette opportunité, nous vous proposons une journée de travail dédiée à la présentation de cet appel et à l'émergence de projets pouvant y prétendre, en interaction avec Fabien Terraillot, le chef du bureau du Logiciel à la Direction générale de la compétitivité, de l'industrie et des services (DGCIS) au ministère du Redressement productif.

Rendez-vous à 8h45 à l'IAS, 23 avenue Edouard Belin, 31400 Toulouse

Agenda :

8h45 - 9h00 Accueil

09h - 10h00 Séance de brainstorming avec les présents qui souhaitent proposer des idées, projets … à l'issu de cette réunion nous organisons les groupes de l'après-midi suivant les thèmes principaux

10h - 11h30 Intervention de Fabien Terraillot :
o Les nouvelles orientations du PIA sur le numérique
o Le rapport de mission Logiciel Embarqué 2013
o L'appel à projets 2013

11h30-12h : Q&A générales

12h-13h30 : Déjeuner à la charge des participants (cantine IAS)

13h30-16h30
o discussions en privé avec les porteurs de projets potentiels
o discussions publiques avec les porteurs de projets potentiels
o Réunions de pré-consortiums suivant les thèmes décidés le matin

16h30 - 17h00 Restitution par FT et GD

L’Analyse Statique : « Retour d’expériences industrielles »

June 7th, 2013

Les animateurs du DAS Systèmes Embarqués, avec le soutien du thème IFSE du RTRA AE/SE,  ont le plaisir de vous annoncer la poursuite du cycle de conférences techniques sur les méthodes formelles de développement. Non, ne partez pas tout de suite : les méthodes formelles sont faites pour vous !

Ces méthodes ne sont pas assez connues mais ont un potentiel énorme pour faire progresser la productivité ET la qualité intrinsèque des développements de logiciels embarqués et de leurs outils de développement et de vérification.  Et elles ne sont pas si difficiles à mettre en œuvre : certains l’ont déjà fait, avec succès, pourquoi pas vous ?

Nous vous proposons donc ce cycle de conférence/forum unique en France pour vous présenter bien sûr les fondements théoriques de ces méthodes, mais surtout faire un état de l’art et de la pratique, démystifier, échanger, et pourquoi pas monter ensemble des projets pour « passer à l’acte » ?  Les intervenants sont à la fois des scientifiques et universitaires  les plus compétents dans ces domaines et des utilisateurs  « de terrain » qui ont déjà pratiqué ces méthodes et vous livreront leurs retours d’expérience.

La deuxième conférence de ce cycle aura lieu le 28 Juin prochain, dans la salle de conférence du LAAS-CNRS -- Plan d'accès du LAAS et  sera retransmise en direct auGrand amphithéâtre Inria Grenoble en lien avec INRIA et Minalogic.  Elle sera dédiée à

L’Analyse Statique : « Retour d’expériences industrielles »

09h00-10h00 : Introduction 
« Static Program Analysis for Verification - an Introduction »
Reinhard Wilhelm (Saarland University)

10h00-11h00 : FRAMA-C 
« Différents cas d’application de l'Analyse Statique avec Frama-C dans un contexte industriel »
Florent Kirchner (CEA-LIST), Stéphane Duprat (Atos Origin), Benjamin Monate (TrustMySoft)

11h00 -11h30 : Pause-Café

11h30-12h50 : AbsInt a3/Astrée
« Abstract Interpretation-based Static Analysis Tools - Proving the Absence of Runtime Errors and Safe Upper Bounds on the Worst-Case Execution Time and Stack Usage »
Christian Ferdinand (AbsInt)

« Analyse statique de programmes avioniques »
Jean Souyris (Airbus)

12h50-14h00 Repas

14h00-15h00 : POLYSPACE
« Polyspace : démocratisation des méthodes formelles, sur le code et sur les modèles »
Patrick Munier (The Mathworks - Polyspace)

« Améliorer la qualité de logiciel spatial avec Polyspace »
Aurore Dupuis (CNES)

16h00-16h30 : Pause-Café

16h30-17h30 : Table Ronde animée par Cyrille Comar (AdaCore)
Analyse statique dans l’industrie, pourquoi ? comment ? pour qui ?