Difference between revisions of "Seminar/2014-05-14"

From LRDE

Line 3: Line 3:
 
| date = Mercredi 14 mai 2014
 
| date = Mercredi 14 mai 2014
 
| schedule = 11h-12h30
 
| schedule = 11h-12h30
| location = Salle L0 du LRDE
+
| location = Salle L0, LRDE
 
}}
 
}}
 
{{Talk
 
{{Talk
 
| id = 2014-05-14
 
| id = 2014-05-14
| abstract = Nife est un langage de programmation basé sur les principes du langage
+
| abstract = Nife est un langage de programmation ``Forth-like'': basé sur les principes du
Forth défini par Charles H. Moore dans les années 1960. Il ne reprend
+
langage Forth, défini par Charles H. Moore dans les années 1960, il n'en
pas la totalité des fonctionnalités de Forth, ce qui explique qu'il
+
reprend pas la totalité des fonctionnalités. Son ambition est d'offrir à
 
aux non-informaticiens qui ont besoin de faire des mesures, de contrôler des
est considéré comme un langage « Forth-like ».
 
 
appareils distants, de surveiller des processus industriels, de manipuler
 
des grandes collections de données, de faire des calculs, des filtrages, des
 
statistiques, de pouvoir le réaliser facilement, dans un environnement Linux
  +
à faible coût.
   
  +
Simple, n'importe qui peut comprendre le fonctionnement de ce langage en
Son ambition est d'offrir à des personnes qui ne sont pas des
 
 
quelques minutes, et le maîtriser totalement en quelques heures - une
informaticiens, et qui ont besoin de faire des mesures, de contrôler
 
  +
semaine tout au plus. Il peut aussi être utilisé plus modestement comme une
des appareils distants, de surveiller des processus industriels, de
 
 
super calculatrice, pour faire ses comptes ou des calculs d'inversion de
manipuler des grandes collections de données, de faire des calculs,
 
 
matrice. Le public concerné est donc très large.
des filtrages, des statistiques, de pouvoir réaliser facilement leurs
 
besoins, dans un environnement Linux à faible coût.
 
   
 
Une extension de Nife pour les systèmes embarqués lui permet de pouvoir être
La simplicité de ce langage fait que n'importe qui peut en comprendre
 
 
directement chargé sur de petites ou moyennes unités de calcul. Pour cela,
le fonctionnement en quelques minutes, et le maîtriser totalement en
 
 
on lui associe un noyau ``bootable'' et il devient Knife : Kernelable Nife.
quelques heures voire une semaine tout au plus. Il peut aussi être
 
 
Dans ce cas, il devient un outil puissant pour coder dans des environnements
utilisé plus modestement comme une super calculatrice, pour faire
 
 
où la mémoire est denrée rare, et où le côté ``langage dynamique'' va
simplement ses comptes ou des calculs d'inversion de matrice. Le
 
 
permettre de résoudre des problèmes là où d'autres langages vont échouer.
public concerné est donc très large.
 
 
Une extension de Nife lui permet de pouvoir être directement chargé
 
sur de petites ou moyennes unités de calcul, que l'on appelle aussi «
 
systèmes embarqués ». Pour cela, on lui associe un noyau « bootable »
 
et il devient Knife : Kernelable Nife.
 
 
Dans ce cas, il devient un outil puissant pour coder dans des
 
environnements où la place mémoire est denrée rare, et où le côté «
 
langage dynamique » va permettre de résoudre des problèmes là où
 
d'autres langages vont échouer.
 
 
| duration = 1h
 
| duration = 1h
 
| keywords = language
 
| keywords = language
| orator = Patrick Foubet, gérant et directeur technique de S.E.R.I.A.N.E.
+
| orator = Patrick Foubet, gérant et directeur technique de SERIANE
  +
| resume = Patrick Foubet commence l'informatique en 1978 dans une SSII parisienne. Il
| resume = TBA
 
  +
y développe des applications de gestion en Cobol et en Fortran sur des
| schedule = 11h-12h30
 
  +
main-frames IBM (DOS-VSE) et Bull (Gcos), mais aussi en assembleur sur des
  +
mini-ordinateurs Computer Automation et Data General.
  +
  +
En 1986 il passe au CNAM un DEA en IA. Il y enseigne ainsi qu'au CEPIA,
  +
centre de formation de l'INRIA. En 1988, il crée la société SERIANE et
  +
développe des applications industrielles : bancs de tests, acquisition de
  +
données, traitement du signal, systèmes temps-réel et embarqués. Ses
  +
clients comptent le CEA, Thomson, la RATP, Michelin, PSA, etc. C'est dans
  +
cette période qu'il crée son propre système temps-réel sous DPMI et son
  +
interface graphique SerView. En 1996, il passe au CNAM un second DEA en
  +
``Construction de Programmes''. Il apprend la Méthode B avec Jean-Raymond
  +
Abrial. Entre 2003 et 2012, il est consultant auprès du CEA/DAM dans le
  +
cadre du projet Laser MégaJoule. Dans le même temps, il enseigne dans des
  +
écoles de la région parisienne: ECE, EFREI, EPSI, ESME-Sudria, ESIGETEL,
  +
INGESUP, INSIA, ITIN, etc.
  +
  +
Il a libéré une partie du code qu'il a développé lors de ses travaux et
  +
qu'il a utilisé pour écrire son langage Nife.
 
| schedule = 11h
 
| title = Nife : du Forth pour l'embarqué
 
| title = Nife : du Forth pour l'embarqué
 
| urls = http://www.seriane.fr/nife/
 
| urls = http://www.seriane.fr/nife/

Revision as of 11:52, 31 March 2014

Mercredi 14 mai 2014, 11h-12h30, Salle L0, LRDE


Nife : du Forth pour l'embarqué

Patrick Foubet, gérant et directeur technique de SERIANE

Nife est un langage de programmation ``Forth-like: basé sur les principes du langage Forth, défini par Charles H. Moore dans les années 1960, il n'en reprend pas la totalité des fonctionnalités. Son ambition est d'offrir à aux non-informaticiens qui ont besoin de faire des mesures, de contrôler des appareils distants, de surveiller des processus industriels, de manipuler des grandes collections de données, de faire des calculs, des filtrages, des statistiques, de pouvoir le réaliser facilement, dans un environnement Linux à faible coût.

Simple, n'importe qui peut comprendre le fonctionnement de ce langage en quelques minutes, et le maîtriser totalement en quelques heures - une semaine tout au plus. Il peut aussi être utilisé plus modestement comme une super calculatrice, pour faire ses comptes ou des calculs d'inversion de matrice. Le public concerné est donc très large.

Une extension de Nife pour les systèmes embarqués lui permet de pouvoir être directement chargé sur de petites ou moyennes unités de calcul. Pour cela, on lui associe un noyau ``bootable et il devient Knife : Kernelable Nife. Dans ce cas, il devient un outil puissant pour coder dans des environnements où la mémoire est denrée rare, et où le côté ``langage dynamique va permettre de résoudre des problèmes là où d'autres langages vont échouer.

Patrick Foubet commence l'informatique en 1978 dans une SSII parisienne. Il y développe des applications de gestion en Cobol et en Fortran sur des main-frames IBM (DOS-VSE) et Bull (Gcos), mais aussi en assembleur sur des mini-ordinateurs Computer Automation et Data General.

En 1986 il passe au CNAM un DEA en IA. Il y enseigne ainsi qu'au CEPIA, centre de formation de l'INRIA. En 1988, il crée la société SERIANE et développe des applications industrielles : bancs de tests, acquisition de données, traitement du signal, systèmes temps-réel et embarqués. Ses clients comptent le CEA, Thomson, la RATP, Michelin, PSA, etc. C'est dans cette période qu'il crée son propre système temps-réel sous DPMI et son interface graphique SerView. En 1996, il passe au CNAM un second DEA en ``Construction de Programmes. Il apprend la Méthode B avec Jean-Raymond Abrial. Entre 2003 et 2012, il est consultant auprès du CEA/DAM dans le cadre du projet Laser MégaJoule. Dans le même temps, il enseigne dans des écoles de la région parisienne: ECE, EFREI, EPSI, ESME-Sudria, ESIGETEL, INGESUP, INSIA, ITIN, etc.

Il a libéré une partie du code qu'il a développé lors de ses travaux et qu'il a utilisé pour écrire son langage Nife.

http://www.seriane.fr/nife/