Spécification des logiciels. Software Specification (spec2)

原书名： The B-Book:Assigning Programs to Meanings

2011-11-03T15:27:00.000+01:00

B方法
点击看大图

定价：￥57.00
普通会员：￥51.30
1-3星会员：￥50.16
4-5星会员：￥48.45

团购急调缺货预定

促销活动

基本信息

原书名： The B-Book:Assigning Programs to Meanings
原出版社： Cambridge University Press

作者： [美]Jean-Raymond Abrial, J.-R. Abrial [作译者介绍]
译者：裘宗燕
丛书名：国外计算机科学教材系列
出版社：电子工业出版社
ISBN：7505393391
上架时间：2004-7-1
出版日期：2004 年6月
开本：16开
页码：526
版次：1-1

Structures de données et méthodes formelles (génie logiciel, méthodes formelles, programmation, algorithmes, mathématiques discrètes, logique, méthode B)

2011-06-19T15:06:00.000+02:00

Structures de données et méthodes formelles
Marc Guyomard
Springer, 2011

http://www.springer.com/computer/book/978-2-8178-0199-5

Décès de Robin Milner

2010-03-30T17:54:00.000+02:00

Arthur John Robin Gorell Milner (né le 13 janvier 1934 à Yealmpton, près
de Plymouth et mort le 20 mars 2010 à Cambridge était diplômé de
l'université de Cambridge, il a été professeur aux universités de Londres,
Swansea, Édimbourg, Stanford et Cambridge.
Robin Milner est connu pour ses trois principales contributions en
informatique, à savoir :

* LCF, le premier système de démonstration automatique de théorèmes,
utilisé pour démontrer automatiquement des assertions mathématiques ;
* le langage ML ;
* la théorie d'analyse des systèmes concurrents (calculus of
communicating systems, CCS) et son successeur, le pi-calcul.

Ses trois inventions lui valurent le prix Turing de l'ACM en 1991[3].

http://www.cl.cam.ac.uk/~rm135/

Il était venu faire une conférence à Nantes en 2007.

Il a alimenté mon cours de Spécification Deuxième partie. Son livre
Communication and Concurrency est un petit chef-d'œuvre.
Son dernier livre The Space and Motion of Communicating Agents est paru
chez Cambridge University Press il y a un an.

Mes livres toujours disponibles chez Teknea

2010-02-11T16:46:00.000+01:00

Suite à une demande

http://www.teknea.com/Informatique.HTM

Qu'est-ce donc que le temps ?

2009-11-28T09:03:00.000+01:00

" Qu'est-ce donc que le temps ? Si personne ne me le demande, je le sais : mais que je veuille l'expliquer à la demande, je ne le sais pas ! Et pourtant — je le dis en toute confiance — je sais que si rien ne se passait il n'y aurait pas de temps passé, et si rien n'advenait, il n'y aurait pas d'avenir, et si rien n'existait, il n'y aurait pas de temps présent. Mais ces deux temps, passé et avenir, quel est leur mode d'être alors que le passé n'est plus et que l'avenir n'est pas encore ? Quant au présent, s'il était toujours présent sans passer au passé, il ne serait plus le temps mais l'éternité.
Si donc le présent, pour être du temps, ne devient tel qu'en passant au passé, quel mode d'être lui reconnaître, puisque sa raison d'être est de cesser d'être, si bien que nous pouvons dire que le temps a l'être seulement parce qu'il tend au néant. (...) Enfin, si l'avenir et le passé sont, je veux savoir où ils sont. Si je ne le puis, je sais du moins que, où qu'ils soient, ils n'y sont pas en tant que choses futures ou passées, mais sont choses présentes. Car s'ils y sont, futur il n'y est pas encore, passé il n'y est plus. Où donc qu'ils soient, quels qu'ils soient, ils n'y sont que présents. Quand nous racontons véridiquement le passé, ce qui sort de la mémoire, ce n'est pas la réalité même, la réalité passée, mais des mots, conçus d'après ces images qu'elle a fixées comme des traces dans notre esprit en passant par les sens.
Mon enfance par exemple, qui n'est plus, est dans un passé qui n'est plus, mais quand je me la rappelle et la raconte, c'est son image que je vois dans le présent, image présente en ma mémoire. En va-t-il de même quand on prédit l'avenir ? Les choses qui ne sont pas encore sont-elles pressenties grâce à des images présentes ? Je confesse, mon Dieu, que je ne le sais pas. Mais je sais bien en tout cas que d'ordinaire nous préméditons nos actions futures et que cette préméditation est présente, alors que l'action préméditée n'est pas encore puisqu'elle est à venir. Quand nous l'aurons entreprise, quand nous commencerons d'exécuter notre projet, alors l'action existera mais ne sera plus à venir, mais présente. (...)
Il est dès lors évident et clair que ni l'avenir ni le passé ne sont et qu'il est impropre de dire : il y a trois temps, le passé, le présent, l'avenir, mais qu'il serait exact de dire : il y a trois temps, un présent au sujet du passé, un présent au sujet du présent, un présent au sujet de l'avenir. Il y a en effet dans l'âme ces trois instances, et je ne les vois pas ailleurs : un présent relatif au passé, la mémoire, un présent relatif au présent, la perception, un présent relatif à l'avenir, l'attente. Si l'on me permet ces expressions, ce sont bien trois temps que je vois et je conviens qu'il y en a trois."

Confessions, livre XI. Paragraphe: XIV, XVIII, XX

Le code génétique

2009-02-01T14:08:00.002+01:00

Un exercice (plutôt à faire en utilisant B) :

Spécifiez ceci

Dur, dur

2008-09-08T07:45:00.003+02:00

Anecdote.

Il restait une caisse en haut d'une armoire de mon bureau. Comme une échelle était disponible dans le couloir, j'ai finalement pu descendre cette caisse.
Il y avait des classeurs. Je prends le premier en présence d'un collègue qui lui aussi part à la retraite. Je constate qu'il s'agit d'un dossier de td de spec. Le collègue me dit de ne pas l'ouvrir, sinon ça va me mettre le moral à zéro. J'ouvre cependant.

Très bien écrit, bien structuré, enfin un dossier qui respecte les consignes (à une époque où je ne les écrivais pas et où je ne les énonçais qu'une fois dans l'année), un dossier réutilisable, etc. J'avais noté "TB".
De quand date ce dossier ? De 1998.
J'en prends un deuxième. Encore un dossier comme depuis quelques années je n'en vois plus. Et c'est ainsi pour toute la caisse. Pas de faute d'orthographe, des commentaires pertinents.

J'ai tout mis à la poubelle. On ne pourra plus comparer. C'est ainsi qu'on est le meilleurs. Et tout le monde il est beau et tout le monde il est gentil et tout le monde il est le meilleur. Mais faut pas que les Polonais viennent chez nous piquer nos femmes et nos emplois ! nous allons récrire la Marseillaise.

1998-2008 ! comment en est-on arrivé là ?

Et on nous rebat les oreilles avec ISO 9000.

Pour ma dernière soutenance de stage en sept, un étudiant nous a dit "ce qui a été un peu difficile pour moi, ça a été de me conformer aux normes de spécification de la société qui est de niveau 3 dans le CMI"
Ah ! j'ai vu de quoi il s'agissait. Un tableau où on note :
événements, actions qui s'en suit, éditions éventuelles.
Bientôt un automate de Moore ou de Mealy, ce sera le top du top du top.

Il y a 35 ans nous étions au top niveau sans le savoir.

Les dossiers de l'an dernier...

2008-09-05T21:14:00.002+02:00

sont dans le couloir face au secrétariat.
Pour quelques jours, ensuite poubelle.

Je ne sais si je vais continuer à écrire dans ce bloc-notes. J'envisageai un livre sur le contenu du module spec2. Peut-être ... si les cèpes refusent de sortir par ce mauvais temps.

La réunion du 22 mai

2008-05-23T13:28:00.004+02:00

Elle a duré 1h 45. Il y avait 4 étudiants. Deux excusés. Sur toute une promo. On a pu faire un enseignement de qualité ! et qui plus est en dehors de tout service officiel pour moi. La gratuité ne vaut plus rien a écrit un de mes collègues de Bordeaux. Cette fois elle a eu de la valeur pour quelques étudiants et pour moi.

Je vous avais demandé d'utiliser LTSA pour vérifier...
Dans le corrigé, j'ai fait une erreur de dessin et la réponse à la question 5.3. n'est pas ce qui est imprimé. Certains m'ont écrit comme explication de ce qui n'était pas une erreur (c'est moi qui est fait une erreur !) ..."J'ai répondu ça au lieu de répondre ..." !

En construisant la réponse lors de la réunion, mon erreur a été repérée. Et confirmée
par LTSA. Les outils boîte noire ne sont utiles que pour ceux qui savent ce qu'ils font ! et ce qu'ils en attendent.

Et je ne sais pourquoi j'ai aussi copié des réponses systématiquement fausses pour la question 5.10. Heureusement que des présents à la réunion ont tiqué. Et comme j'ai construit le début d'automate au tableau je me suis aperçu de mon erreur sur le corrigé. J'ai alors demandé aux présents d'utiliser LTSA... et là, on n'a pas obtenu ce que j'attendais !
J'étais bon pour la retraite anticipée ? alors j'ai recommencé sous le contrôle des présents... et ai relu la spec saisie par un étudiant... il n'avait pas saisi la spec de la question (il avait saisi ::, là où dans la spec il y avait :) ! Ouf !

Pour la question 6.3. les présents ne voyaient pas pourquoi il n'y avait pas de solution (impossible de trouver une précondition respectant l'invariant sans modifier ce qui était écrit après le THEN). Et oui ...dans la vie on peut vous poser un pb sans solution. Et il faut savoir repérer. Je vous avais demandé pourquoi.

Comme toujours, impossible de faire faire un diagramme sagittal et un essai illustrant l'impossibilité (il suffit d'exhiber un exemple comme disent les logiciens et c'est démontré !). C'est que nous avons des étudiants qui ne veulent pas s'abaisser à faire des dessins de mat sup (maternelle supérieure). Le prof de maths a vécu cela..; et ça a continué en spec1 et spec2.
Et dès qu'un des 4 présents a eu tenté de faire l'opération sur le diagramme sagittal, il s'est vu comme Archimède ...Eureka.
Alors à vos crayons.

Je vais repasser toutes les copies en revue pour quelques décimales...!

Il est clair que je ne trafiquerai pas les notes. Trafiquer les compteurs sur une automobile est interdit ...

Je vais faire l'ajout des au plus 3 points comme annoncé. Les notes seront donc modifiées conformément aux règles annoncées. Nous vivons dans un état de droit.

Détails

2008-05-16T08:55:00.002+02:00

"Mais ce n'est pas assez que d'avoir bien établi l'ensemble, il s'agit d'y introduire les détails sans détruire la masse."

Diderot, Essais sur la peinture, Hermann, page 17 *

En informatique, nous disposons des techniques d'abstraction, de raffinage. C'est ce que nous avons tenté d'enseigner en spec1 et spec2.

* merci à Sébastien qui m'alimente en ouvrages

Vive l' i-tichingue !

2008-05-16T08:21:00.003+02:00

bonjour,
je commence à m'interresser à la preuve de logiciel.
depuis casablanca (au Maroc) , je suis entrée à votre page sur le site
irin.univ-nantes.fr
et trouvé un exercice de spécifications.
j'ai essayé de résoudre cet exercice.
si vous pouvez me le corriger voici ci dessous mes réponses:
je vous en remercie d'avance.

Considérez l’extrait suivant d’une machine abstraite B

POW P ensemble des sous-ensembles
SETS
PERSONNE ; SUJET

VARIABLES
professeurs, sujets, enseigne

INVARIANT
professeurs : POW (PERSONNE) &
sujets : POW (SUJET) &
enseigne : PERSONNE +-> POW (SUJET)

Nous allons énoncer des contraintes supplémentaires.
Et fournir plusieurs spécifications, certaines étant mal typées.
Si une phrase à spécifier vous apparaît comme ambiguë, explicitez l’ambiguïté,
fournissez une nouvelle rédaction et la spécification associée.
Question 1
« Les personnes qui enseignent sont des professeurs »
Sera exprimé au mieux par :
Bonne spécification 1.1. dom (enseigne) < : professeurs
1.2. professeurs < : dom (enseigne)
1.3. ran (enseigne) < : professeurs
1.4. aucun des prédicats ci-dessus
Ambiguïté

Nouvelle expression en français

Spécification

Question 2
« Tous les sujets sont enseignés par les professeurs » (N.B. : nous ne désirons pas
dire que chaque professeur enseigne tous les sujets. Nous désirons dire qu’il n’y a
pas de sujet qu’aucun professeur n’enseigne. »
Sera exprimé au mieux par :
Bonne spécification 2.1. ran (enseigne) < : sujet
2.2. enseigne : PERSONNE +-> POW (SUJET)
2.3. enseigne : professeurs +-> sujets
2.4. aucun des prédicats ci-dessus
Ambiguïté

Nouvelle expression en français

Spécification

Question 3
« Tous les professeurs ne doivent pas enseigner, sachant que seuls les professeurs
peuvent enseigner. »
Sera exprimé au mieux par :
3.1 dom (enseigne) = professeurs
3.2 dom (enseigne – professeurs) /= {}
Bonne spécification 3.3 professeurs – dom (enseigne) /= {}
3.4 aucun des prédicats ci-dessus
Ambiguïté
le prédicat 3.3 est proche de la bonne spécification.
la première partie veut dire qu’aucun professeur ne doit enseigner.
La seconde veut dire que les enseignants ne peuvent être que des professeurs.
D’où la contradiction

Nouvelle expression en français
Les professeurs ne doivent pas tous enseigner

Spécification

Question 4
« Un groupe est un ensemble de personnes »
Sera exprimé au mieux par :
4.1 PERSONNE : groupe
4.2 groupe : PERSONNE
4.3 groupe : NAT <-> PERSONNE
Bonne spécification 4.4 aucun des prédicats ci-dessus
Ambiguïté

Nouvelle expression en français

Spécification
Groupe< :PERSONNE

Question 5
« Une année est un ensemble de groupes »
Sera exprimé au mieux par :
5.1 groupe : année & année < : PERSONNE
5.2 année : POW (groupe) & groupe : POW (PERSONNE)
5.3 groupe < : année & année < : PERSONNE
Bonne spécification 5.4 aucun des prédicats ci-dessus.

Ambiguïté

Nouvelle expression en français

Spécification

groupe : année & année < :POW( PERSONNE)

==============
et ma réponse :

C'est bon.

Pour la dernière
groupes :<: POW (PERS) &
années <: POW (groupes)

Les dossiers de TD

2008-05-16T08:03:00.004+02:00

Afin d'avoir une notation cohérente et unifiée, je traite tous les dossiers de tous les groupes.

Je note relativement aux consignes rappelées plusieurs fois. Ce sont les mêmes que pour spec1. Elles vous ont été fournies par écrit. Il est clair que la seule recopie de ce qu'a écrit l'enseignant au tableau n'est pas ce qui est demandé.

Je n'ai pas rappelé sur chaque dossier le non respect de ces consignes.

Les étudiants qui veulent consulter un dossier respectant en grande partie les consignes (il s'agit d'un dossier de 2007) peuvent m'adresser un courriel.

En plus du contenu du dossier, je dispose des informations écrites fournies par les enseignants de td sur l'activité de chacun lors des TD (et pas seulement des présences).

Pour les étudiants qui veulent avoir des réponses à leurs interrogations

2008-05-16T07:38:00.004+02:00

... après discussion avec certains d'entre vous, la tranche de temps que nous avons trouvée de libre pour tous est jeudi prochain. Il ne semble pas qu'il y ait d'activité sportive ce jeudi 22. Si un étudiant ne peut venir et désire discuter de ses explications, il sait que le courriel est disponible pour demander un rdv, je le lis chaque jour.

Le rendez-vous est donc salle F01 jeudi 22 mai à 14 heures.

Rappelons la séquence ayant conduit à ce rdv :

- Avant chaque cours, j'annonce ce que je vais traiter, ce qu'il faut faire pour se préparer au cours. j'en informe aussi les intervenants en TD
- Après chaque cours, je fais un compte-rendu sur le blog. Je donne des compléments. Je corrige éventuellement mes propos. J'insiste sur les points essentiels qui seront demandés en DS. J'insiste particulièrement sur les erreurs.
- En cours, j'annonce les exemples traités qui seront des exos du DS
- Lors du DS, je demande aux étudiants de noter leurs réponses sur le sujet et sur la feuille de réponse. Ceci afin qu'ils puissent faire une auto-notation. Il me semble en effet essentiel que la note n'apparaisse pas comme non significative. Et de plus, se noter oblige à se relire, à se poser la question de l'essentiel. Et enfin, cela amène les étudiants à lire le corrigé fourni. En effet, les enseignants qui fournissent un corrigé savent depuis quelques années, que seulement quelques étudiants prennent ce corrigé (ce qui ne donne pas le nombre de ceux qui l'étudient).
- Et je demande que me soit fournie une explication des erreurs, des non réponses. Et comme ce qui compte c'est ce qui finalement est compris, j'ajoute jusqu'à 3 points à la note selon le contenu de ces explications.
- J'étudie les explications. Ayant noté encore des incompréhensions, des raisonnements erronés, des questions posées, j'ai proposé une réunion. C'est l'objet des premières lignes de ce courriel.

Incroyable ... mais vrai !

2008-05-15T15:24:00.003+02:00

> > XXXXXX a écrit :
>> >> Bonjour,
>> >> Nous sommes plusieurs étudiants à nous demander pourquoi nous devons
>> >> venir
>> >> à une séance de correction, alors que nous avons rendu un corrigé.
>> >> Ce que nous avons rendu ne sert donc à rien?
>> >>
> >
> >
> > Oh ! comment puis-je savoir ce que vous avez compris si je ne lis pas ce
> > que je vous ai demandé. E,n vous lisant, j'ai constaté que certains
> > n'ont toujours pas compris. Et je pense que l'oral est bien commode pour
> > discuter avec vous de vos incompréhensions, etc.
> >
> > Mais si vous concevez l'enseignant comme un "dis- penseur" de bonnes
> > notes, je perds effectivement mon temps et serais incompris de vous.
> >
> >
> >
>> >> Nous souhaiterions donc plus d'informations. svp
>> >>
>> >> Cordialement
>> >>
>> >> Merci d'avance.
>> >>
>> >>
>> >>
>> >>
> >

Un collègue prenant connaissance de cet échange, m'écrit :

Incroyable !!!!!!!!!!!!!!!!!

Pour information, j'ai proposé aux étudiants une séance. Aucune obligation ! Quoi, horrreur ! obliger !

Sur les copies d'explication des erreurs du DS

2008-05-15T09:52:00.005+02:00

Je propose aux étudiants ayant fourni ces copies, une séance de travail sur leurs écrits. Qu'ils m'indiquent quand celle-ci est possible pour eux.

Il est clair qu'il ne suffit pas de m'écrire :
"je n'avais pas étudié"
"je n'ai pas traité la question"
"je n'avais pas lu la question"
"je ne comprends pas"

pour avoir + 3 points !

Je rappelle pour la n-ième fois (mais certains m'écrivent : "le sujet, le corrigé, les explications étaient bien sur le blog, traités en cours, mais je n'avais pas lu ...") alors je perds sans doute mon temps. Mais comme ce blog est ouvert à tous, il peut y avoir des lecteurs qui en profitent ...
que :

- "dans le corriger, on trouve" / corrigé !
- "je ne me souvenait plus" / souvenais !
- "je n'es pas du faire" / ai !
- "je n'est pas cru" / ai !
- "j'avai bien compris" /avais !
- "si je me fit a mon brouillon" / fie ! Mais Dieu fit ...!
- "j'ai indiquer"/indiqué !
- " une réponse rationnel" / rationnelle !
- "je ne peut"/ peux !
- "j'ai résonné" /raisonné (sinon ... comme un tambour !)
- "j'ai réfléchit" /réfléchi/ fourni/ etc etc
- "j'ai inverser"/ inversé !
- "si l'on choisi" / choisit !
- "je n'ai pas fais de ..." / fait !

Et je constate que plusieurs devraient lire un dictionnaire si n'admettent pas ce que dit l'enseignant.

asynchrone, le a est privatif.
qui n'est pas synchrone.
Certains insistent en m'écrivant "le Grafcet est bien asynchrone puisque toutes les transitions simultanément franchissables sont simultanément franchies" !

Je constate que mon collègue qui est chargé de l'expression écrite en français dans notre institut a bien du travail. Mais ouf, enfin je ne suis pas seul.

PS 1

Mais monsieur, vous n'avez pas à nous corriger nos fautes d'orthographe. Vous n'êtes pas prof de tec de co !

Sans doute une conséquence de la modularisation à la française !

PS 2

J'ai fait une erreur dans mon corrigé. Personne ne l'a vu.
Je vous dis à quelle question. A la question 7.2.3.
Quelle est l'erreur ?
J'attends la date du rdv chez l'ophtalmo. Mais, vous, vous êtes jeunes !

PS 3

J'ai fait une faute d'orthographe (si on fait l'interprétation qui semble naturelle dans le contexte de ce PS) dans mon PS 2. Laquelle ?

Enseigner...

2008-04-29T18:23:00.000+02:00

"Il continue à enseigner (...) aussi parce que c'est une leçon d'humilité, cela lui fait comprendre la place qui est la sienne dans le monde. Ce qu'il y a là d'ironique ne lui échappe pas : c'est celui qui enseigne qui apprend la plus âpre des leçons, alors que ceux qui sont là pour apprendre quelque chose n'apprennent rien du tout."

(J.M. Coetzee, Prix Nobel de littérature 2003, in Disgrâce)

Le 16 juin 2008

2008-04-29T18:11:00.002+02:00

Les étudiants qui veulent suivre la conférence The B method sont priés de se faire connaître.

Ceux qui veulent installer, utiliser la plateforme Rodin auront l'occasion d'obtenir des conseils.

Un étudiant de 2ième année devrait faire un exposé sur son expérience de stage au Royaume-Uni.

Les notes du DS Spec2

2008-04-29T18:05:00.003+02:00

Ont été données au secrétariat. Elles seront affichées demain matin. J'ai tenu les délais.

Comme indiqué sur les feuilles de notes, je n'ai pas encore pris en compte vos commentaires de vos erreurs et vos réponses aux questions posées dans le corrigé. Je ne les ai reçues que hier soir 17 heures !

J'ai tenu compte de ce que j'ai écrit dans le corrigé. J'ai en conséquence modifié le coefficient multiplicateur pour mettre les notes sur 20.

Ma notation est mauvaise en terme d'évaluation des connaissances. En effet, j'avais mis des questions qui permettaient de vérifier la cohérence des réponses. J'ai fait une notation par question indépendamment des réponses à d'autres questions. ... Que ne fait-on pas pour objectivement monter les notes !

Il reste les notes de dossiers.

Etonnant, n'est-ce pas ?

2008-04-22T21:05:00.005+02:00

Relevé dans les copies :

- La différence essentielle entre le B classique et le B événementiel :

"le B événementiel trait le cas qui séffectue que une foi lord de l'event"

- Les différences importantes (hors celles relatives à la représentation graphique) entre les Réseaux de Petri et le Grafcet :

"Le réseau de Pétri prend en compte les blocages possible en déffinissant le nombre d'éléments (jeton)"

Quand j'ai des réponses, elles sont de ce type. Bof bof bof.

Et ce qui est inquiétant ce sont les contradictions ou ... je ne sais comment qualifier.

Exemple :

On vous demande "est-ce que le système S1 et le système S2 sont en bissimulation faible ?" et au lieu de me répondre oui ou non, certains ont rédigé comme réponse :
"S1" est en bissimulation faible.
Etonnant n'est-ce pas ? On vous demande si a= b et vous répondez "a est égal".

Et heureusement que ça fait bien longtemps que les enseignants n'écrivent plus qu'ils enlèveront des points pour les fautes d'orthographe.

Quand on demande une réponse formelle, on n'en obtient pas et quand on la demande sous forme de deux à trois phrases en français, c'est affligeant.

J'ai trouvé :
momment
dir
les tiraits
propriété de progret

et bien sûr participe passé, infinitif, c'est quoi ? On comprend que des étudiants (?!) qui écrivent ainsi aient bien des difficultés à modéliser ou même à lire des modélisations. Mais nous approchons de l'informatique de nouvelle génération : il suffira de demander à l'ordinateur "pouvez vous me dire ce que je veux ?".

et beaucoup (au moins 1/3) ne recopient même pas correctement les mots de la question.
Exemple : Je demandais "qui a raison" et j'obtiens comme réponse "Duchnock a résondt"

Il y en a encore trop qui ne savent toujours pas ce qu'est une fonction. C'est qu'ils n'ont jamais vu cela au lycée, à l'Iut. Evident !

Pédagogie

2008-04-22T18:32:00.000+02:00

" Or certains n'admettent qu'un langage mathématique ; d'autres ne veulent que des exemples ; d'autres entendent qu'on recoure à l'autorité de quelque poète ; d'autres, enfin, exigent pour toutes choses une démonstration rigoureuse, tandis que d'autres jugent cette rigueur excessive, soit par impuissance à suivre la chaîne du raisonnement, soit par crainte de se perdre dans les futilités."

Aristote, La métaphysique, tome 1, Vrin

Ne partez pas sans avoir acheté ce livre !

2008-04-22T12:11:00.001+02:00

ICI

Perles qui ne sont pas des perles de culture

2008-04-21T10:14:00.007+02:00

... mais peut-être est-ce la "culture à la française", pur produit naturel.

Rappelons la question (dont la réponse était fournie AVANT le ds sur le présent bloc-notes) :

"[...] C'est pourquoi, à cette époque, on avait envisagé que sur les 12600 mètres de longueur totale du tunnel, les Italiens perceraient 6 750 mètres de galerie et les Français 5 850 mètres, afin que la rencontre s'effectue au même moment" (article paru dans l'Economie, n° 826, 14 juin 1962)"

Après l'enseignement du module spec2, quelle est votre remarque pertinente sur ce texte.

Merci à Claude Gagnière qui nous a offert sa merveille "Pour tout l'art des mots" que tout étudiant devrait lire et relire. Mais je rêve !

Rappelons qu'en Spec2, nous avons travaillé sur le "rendez-vous" !

Voici comme annoncé aux étudiants (avant le Ds quand je les ai averti de la question à venir) ce que j'ai trouvé dans les copies (j'ai conservé les fautes d'orthographe) :

- " Ce texte n'a pas de sens puisqu'on ne peut creuser que dans un sens car sinon on ne sait pas si les deux tunnels se rencontreront bien en face l'un de l'autre voir pas du tout."
- "La rencontre ne se fera pas obligatoirement au même moment, ils se rencontreront mais pas au même instant (les Italiens doivent creuser plus que les Français) dans le temps." (un étudiant qui en rajoute !)
- "Si le travail est fait en parallèle, pourquoi l'Italie creuserait plus de galerie que la France ?"
- "Lors du percement, on voulait un rendez-vous entre les 2 nations sous la roche. Pour qu'il y ait rendez-vous, il faut être au même endroit au même moment, c'est pourquoi, on a calculé les longueurs à percer pour les deux nations."
- "Cette phrase n'a pas de sens : "au même moment" puisque c'est un tunnel, il vont forcément ce rencontrer "au même moment"".
- "Il n'est pas forcément faux, soit les Français on des travaux plus délicats ou difficile (la roche, la geoposition, ...) soit la Franche (sic) met moin de moyen pour la création du tunnel soit la France fait un travail plus lent (et peut être plus minussieu). On manque cruellement de donné Se qui est ssur c'est que la France creuse moin "
- "Si la rencontre s'effectue au même moment, mais que les Italiens percent plus de mêtres de galerie que les Françaos alors cela voudrait dire que soit les Italiens ont plus de moyens mi en oeuvre, soit ils sont plus rapide que les Français"
- "On ne peut définir le moment de rencontre avec ces indications. La vitesse de perçage des Italiens et celle des Français n'est pas spécifiée, ni le début des travaux en France, et celui en Italie."
- "Certes 6750 mètres plus 5850 mètres font 12 000 mètres. Mais ce n'est pas sûr que les Italiens et les Français travaillent au même rythme. Je dirai même qu'il ne travail pas au même rythme donc la rencontre ne pourrait s'effectuer au même moment." (au fait, c'est quoi le rythme ?)
- "Ce texte paraît dénué de sens dans la mesure om l'on ne sait pas pourquoi les Français ont moins à creuser que les Italiens (matériel, nature de la roche ...) (Où allez vous chercher le sens ? Analyse syntaxique, analyse sémantique ... revoyez les fondamentaux avant que Monsieur ou Madame la Ministre le claironne à la télé)
- "Dans la phrase "la rencontre s'effectue au même moment" (bien qu'on peut avoir du mal à envisager qu'une rencontre entre deux individu ait lieu à des moment different) ; il nous faut comprendre que les protagoniste creuseront dans la même direction mais dans des sens opposé. Ce qui n'est pas spécifié." (après avoir eu bien du mal, pouvez-vous nous faire profiter de votre souffrance ?)
- "On remarque que les Italiens ont perçé 1900 m de plus que les français. Le fait de s'être mis d'accord sur le partage de la distance à percer n'explique pas que la rencontre s'effectuera au même moment puisque cela dépend de la vitesse du perçage. " et étonnant l'étudiant poursuit par "De plus, ... dans tous les cas la rencontre se fera au même moment dès qu'un des deux protagonistes rejoindra l'autre." (de la suite dans les idées !)
- "on peut dire que pour que la rencontre se fasse, les français doivent avancés moins vite que les italiens, et qu'il faut encore que les 2 tunnels ne se rate pas. Sur le texte lui-même la phrase "la rencontre s'effectue au même moment est idiote car une rencontre, c'est forcément au même moment." (Ah et si les Italiens avancent moins vite que les Français, la rencontre ne se fera pas ? Et le cours sur la propriété de fatalité (eventually ... fatalement) ?)
-"On ne comprend pas pourquoi les Italiens ont plus à creuser. Il aurait fallu expliquer pourquoi ; s'agit-il de la nature de la roche, ont-ils commencé à creuser avant, ..." (ce que c'est que l'incompréhension, ma bonne dame ! on nous cache tout, on nous dit rien ! Ah ! ces journalistes !)
- "Les Italiens creusent 6750 mètres de galeries et les Français n'en creusent seulement que 5850 mètres, donc pour que la rencontre se fasse au même moment il faut que les Italiens commencent à creuser avant les Français (900 mètres exactement) " (quelle injustice !)
- "Les Italiens sont plus rapides !" (et le lecteur du texte, encore plus !)
-"En théorie l'Italie et la France auraient dû se partager équitablement le travail, soit 6300 mètres chacun. Après l'enseignement du module spec2, peut-on supposer que les français travaillent moins que les étrangers ? ..." (La théorie ? Quelle théorie ? Comme répondait Ted Codd aux imbéciles qui lui disaient que les "bases de données relationnelles" c'était de la théorie et que donc bof, bof, bof... il répondait que la bombe atomique c'était aussi de la théorie. Mais la démago pédago a fait son oeuvre : la théorie disparaît des enseignements d'informatique. A quoi me sert la théorie pour faire fonctionner ma free boxHD ? Quelle théorie ? . Encore un peu d'effort et nous nos établissements deviendront de grands cafés du commerce. Une idée pour le redressement du pays, Attali y-a-t-il pensé ? Lui, il sort de l'X. )
- "Il manque des information, c'est bien beau de donné des longueur mais si les types de roche sont différent d'un côté a l'autre, on peut mettre 3 jours a creuser d'un coté et 2h de l'autre. En plus il y a risque d'évitement, qu'un tunnel soit plus bas ou plus a droite"
- Or "la rencontre s'effectue au même moment" est fort peu probable compte tenu des vitesses supposé égale et des distances visiblement différentes; Enfin, qui dit que français et italiens partiraient des extremités de la galerie ? On ne sait pas."
- Si on doit creuser 12600 mètres de longueur et que les italiens perceraient 6750 mètre et les Français 5850 mètres et que les 2 pays se rencontre en même temps alors les Français devraient creuser un endroit plus difficiel ou/et avec une roche plus dure que les Italiens."
- "La rencontre ne s'effectuera pas forcément au même moment juste parce que la somme des longueurs est égale au total.Il faut,soit que les Français travaillent moins vite, soit que les Italiens commence à creuser plus tôt que les Français."
- "Qu'est-ce qui nous dit que les italiens et français travaillent en parallèle et que les italiens sont plus rapides que les français ?"
- "Il faut que les 2 pays creusent au même endroit"
- "Le décalage horaire force les Italiens à commencer plus tôt, donc à creuser plus, sachant que la journée de travail en France n'est que de 35 h."
- "Les français sont de moins bons mineurs"
- "les français et les italiens travaillaient en mode synchrone"
- "Les Italiens percent mieux que les Français"
-"Il devrait y avoir la même longueur à percer de chaque côté. Mais on ne sait si la roche est plus ductile d'un côté, plus solide de l'autre côté." (la roche ductile !? de la glaise ?)
- "On peut penser que les Italiens avait une partie plus facile à percer ou bien qu'ils étaient plus rapide à percer"
- "Pour que la rencontre s'effectue "au même moment" il aurait fallu donner le même nombre de mètres de tunnel à chaque pays (6300 mètres chacun)"
- "Il n'est pas assuré que la rencontre se fasse exactement en même temps. Il y a un risque potentiel de danger. C'est du pifomètre ("on avait envisagé")"
- "j'en déduit que la frontière passant au dessus du mont blanc était à 5850 du début du tunnel français et à 6750 m de celui des Italiens (a vol d'oiseau biensur !)"
- "On exprime le perçage du tunnel en mètre. La rencontre doit donc s'effectuer à un endroit (type "lieu"). Dans le texte, elle s'effectue "au même moment", il est absurde que cela soit exprimé par un type "temps"" (Ca c'est du discours arnacologique mais comme Monsieur Jourdain faisait de la prose)

Une réponse qui est correcte mais passe à côté du "au même moment" :

- "Les Italiens percent plus vite que les Français ou alors les Italiens ont commencé de percer avant les Français"

Et puisqu'on a appris aux lycéens à s'exprimer, voici une réponse comme on en trouve de plus en plus (des "brèves" de copies) :

- " Un rencontre s'effectu au même moment et les français sont des feniants" (un étudiant qui sait de quoi il parle, à en juger par ses non réponses à la majorité des questions)

Et toujours des difficultés avec forme et sens.

- "Leur phrase est très mal formulée, que veut dire "que la rencontre s'effectue au même moment". Rien.
Puisque que quand les Français rencontreront les Italiens, il en ira forcément de même pour les Italiens."

Et il y a ceux qui veulent à tout prix déborder des zones fournies pour écrire la réponse (on leur a dit que les réponses devaient tenir dans ces zones. Qu'est-ce qu'on peut inventer dans la pédagogie moderne ! Et encore je n'ai pas fait l'IUFM où on apprend, m'a-t-on dit, à écrire au tableau tout en regardant les élèves pour éviter crachats etc... voir notre message sur notre bloc-notes lefenetrou relatif aux maladies des enseignants)

- "Le tunnel fait bien au total 12 600 mètres quand on additionne la distance pour les Français et les Italiens. Cependant, seul le temps de perçage influera sur la distance du point de rencontre par rapport au bord de la montagne. Par conséquent,peut importe la distance parcourue par chacun d'eux, la rencontre s'effectuera toujours au même moment. De plus la rencontre devrait s'effectuer au même moment à 6300 mètres (12600/2) alors que les Français parcourent 5850 mètres et les Italiens 6750 mètres donc elle aura lieu au même moment mais à une distance différente." (Sans doute un étudiant qui a appris qu'on est payé à la ligne. Il paraît qu'il faut mettre au moins 3/20 quand un élève a écrit quelques mots sur sa copie)

Je pense que la majorité de nos étudiants sont des numérologues qui s'ignorent.

P.S. : Nous avions comme dernière question, une configuration du jeu de la vie. Il fallait donner la configuration après une génération. AUCUNE bonne réponse sur une centaine de copies ! Bof, bof, bof. Il y en a des pages et des pages sur la Toile. Alors ...

Documentation technique, Tchernobyl

2008-04-19T22:03:00.000+02:00

"Dis donc, ici dans ce programme, il est dit comment procéder, et ensuite je vois que d'importants passages ont été biffés ; qu'est-ce que je dois faire ?"
Après un instant de réflexion, l'autre lui répond : "Procède selon ce qui est supprimé.""

Communications entre deux opérateurs de la centrale de Tchernobyl la veille de l'avarie.

Publié par la Pravda le 20 mai 1988, Testament de Legassov

Cité dans Morts pour la science, ouv. cité, page 112

P.S. : Pourquoi un dossier de specs 2 ? Bof, bof, bof !

A lire , l'opinion de Maurice Nivat

2008-04-15T15:58:00.000+02:00

ICI

dans Interstices

Merci à Sébastien (j'ai deux Sébastien parmi mes envoyés spéciaux ! non rémunérés (coût = 0) , mais efficaces ! produits/ coût = l'infini ... des connaissances !

Je suis enseignant dans un département informatique et on est censé y enseigner la gestion. Et parler de "logiciel de gestion" quand on a un logiciel qui ne fait que permettre d'enregistrer des observations, ce n'est pas de la gestion ! Sinon, mon compteur d'eau est un "gestionnaire" !

Prix Turing 2008

2008-04-12T17:06:00.000+02:00

Le communiqué complet de l'ACM :

ICI

Dires de Prix Turing pour étudiants en informatique du XXIe siècle

2008-04-12T12:57:00.001+02:00

- " You just read the manual and got the list of instructions and that was all you knew about programming. Everybody had to figure out how to accomplish something and there were of course a zillion different ways of doing it and people would do it in a zillion different ways." J. Backus, (Prix Turing, Fortran) années 40

- "I considered an intelligent thing as a finite automaton connected to an environment that was a finite automaton. I made an appointment to see John von Neumann. He was encouraging. He said, "Write it up, write it up" "
J. McCarthy (Prix Turing, Lisp)

- "To put it simply, the frame problem is not having to mention all the things that don't change when a particular action occurs."
J. McCarthy (Prix Turing, Lisp)

- "All understanding begins with our not accepting the world as it appears." Alan C. Kay (Prix Turing, Smalltalk)

- " By the time I got to school, I had already read a couple of hundred books." Alan C. Kay (Prix Turing, Smalltalk)

- "Computer programming is a bit like a Gregorian chant - a one-line melody changing state within larger scale sections. Parallel programming is more like polyphony." Alan C. Kay (Prix Turing, Smalltalk)

- "They (Air Force) needed programmers. This was back in the days when programming was a low status profession and most of the programmers were women. My boss was a women. They also were taking linguists ... It was actually a pretty interesting bunch." Alan C. Kay (Prix Turing, Smalltalk)

- "People rarely want what they need. Their wants are there for one reason and their needs for another. It is important for technology to match up needs and wants. " Alan C. Kay (Prix Turing, Smalltalk)

- "The mathematical culture of the day was very much identified with the continuum and infinity. Could a finite discrete problem be of any interest ?" E. Dijkstra (Prix Turing)

- "The programmers didn't like the idea at all because it deprived them of the intellectual excitement of not quite understanding what they were doing. They like the challenge of chasing the bugs." E. Dijkstra (Prix Turing)

- "Americans have a pathological fear of formal manipulation. It seems that the United States have a century of demathematicisation which of course is very tragic because in the same century the mathematical computer is invented which is a major mathematical challenge." E. Dijkstra (Prix Turing)

- " [...] This is not a random process. We are not tossing a coin. But is is nondeterministic because you have choices as to the next state (i.e., menu item selection) that you move into. [...] I must say we didn't see all the implications of this. Our notion of nondeterminism was for us a mathematical creation." " M.O Rabin (Prix Turing)

- "We remember thing by structure" M.O Rabin (Prix Turing)

- "Mathematics is the science of patterns. Music is patterns. Computer science does a lot with abstract things and making patterns. Computer science, I think, differs from other fields most in that it constantly jumps levels - from looking at something in the small to looking in the large." D. Knuth (Prix Turing)

- "In general, whatever you're trying to learn, if you can imagine trying to explain it to a computer, then you learn what you don't know about the subject. It helps you ask the right questions. It's the ultimate test of what you know." D. Knuth (Prix Turing)

- "The danger is to get into some branch of theory that becomes self-feeding and doesn'tie back into the real world." R. E. Tarjan (Prix Turing)

Extraits de Out of their minds, Dennis Shasha, Cathy Lazere, Copernicus, Springer-Verlag ISBN 0 487 97992 1

La vie d'une application (celle qui remplace Nabuco)

2008-04-10T13:59:00.001+02:00

"Le groupement en charge du produit Sifac a relevé une anomalie importante
dans notre base de données.
C'est pourquoi et à la demande express de la Direction de projet de l'Université de Nantes et du groupement,
à partir de maintenant (jeudi 10 avril 2008 à 12H15),
je vous demande de vous déconnnecter et de ne plus réaliser de transactions sur la base de Production.
Je vous indiquerai dés que possible le retour à l'état normal. "

Cas ascenseur

2008-04-10T08:58:00.000+02:00

I.U.T. de Nantes
Département informatique
Première année
Module Spec 2
Cas ascenseur
Rédigé par H. Habrias
Version n° 1 du 13-04-2004

1- Un ascenseur est composé d’une cabine pourvue d’une porte et de portes palières à chaque étage (on comptera dans les étages le rez-de-chaussée) desservi par la cabine.
2 - La cabine dispose à l’intérieur de boutons, un bouton par étage desservi.
3 - Les utilisateurs appuient sur le bouton intérieur qui indique l’étage où ils veulent aller. Le bouton est alors éclairé.
4 - Plusieurs boutons intérieurs peuvent être éclairés en même temps.
5 - Quand la cabine arrive à un étage demandé par un des utilisateurs, le bouton intérieur cesse d’être éclairé. La porte de la cabine s’ouvre en même temps que la porte palière.
6 - Au bout de 20 secondes, la porte de la cabine et la porte palière se referment en même temps.
7 - La porte palière d’un étage ne doit pas être ouverte si la cabine n’est pas à l’étage.
8 - La cabine ne doit pas être déplacée si la porte de la cabine est ouverte et si la porte palière est ouverte.
9 - Il y a deux boutons par étage. Ils sont situés à droite de la porte palière : un pour demander (en appuyant sur le bouton) la cabine pour descendre, un pour demander la cabine pour monter. Bien sûr le rez-de-chaussée et le dernier étage n’ont qu’un seul de ces deux boutons.
10 - Une fois qu’un utilisateur a appuyé sur un bouton, ce bouton s’éclaire. L’éclairage du bouton cesse lorsque la cabine qui va dans la direction du bouton s’arrête à l’étage.
11- On peut avoir les deux boutons de l’étage éclairés en même temps.
12 - Des capteurs permettent de savoir si une porte est fermée, si la cabine est arrivée à tel étage.
13 - Bien sûr des actionneurs permettent à la cabine de se déplacer, aux portes d’être ouvertes ou d’être fermées.

Question n°1

Listez les entrées (les événements) du système de contrôle de l’ascenseur.

Question n°2

Listez les commandes émises par le système de contrôle de l’ascenseur.

Question n°3

Faire l’automate de l’interface homme/système ascenseur.

Question n°4

Ecrire formellement les deux exigences suivantes :

- La porte palière d’un étage ne doit pas être ouverte si la cabine n’est pas à l’étage.
- La cabine ne doit pas être déplacée si la porte de la cabine est ouverte et si la porte palière est ouverte.

Question n°5

Enoncez une propriété :
d’absence de verrou fatal
de famine

Navigation lights

2008-04-10T08:55:00.000+02:00

Les feux de navigation (navigation lights)
Version n° 1 du 17-05-2005
Rédigé par H. Habrias
____________________________________________________

Les aéronefs doivent avoir des feux de navigation dont les " Right-of-Way lights".
Un feu rouge est monté sur le côté gauche de l’aéronef et un feu vert sur son côté
droit. Ils servent quand deux aéronefs ont une direction qui les conduit à une
collision : si un pilote voit un aéronef sur une route qui croise la sienne, il
verra soit son feu rouge soit son feu vert. Si il voit le vert, il sait que c’est à
lui de passer. Si il voit le rouge, il sait que c’est à l’autre de passer.
On suppose qu'un avion ne voit qu'un des feux de l'autre avion et que quand l'un
voit un feu de l'autre, l'autre voit le feu du premier.

Vous considérerez deux aéronefs et spécifierez le comportement de ceux-ci tel que
décrit ci-dessus. Vous utilisez LTSA.

1) Dans une première spécification, vous utiliserez le renommage des actions
2) Dans une deuxième spécification, vous utiliserez le renommage des processus et
des actions

AVION1= (av1VoitRouge -> av1_laissePasser -> AVION1 | av1VoitVert -> av1_passe ->
AVION1).
AVION2 = (av2VoitRouge -> av2_laissePasser -> AVION2 | av2VoitVert -> av2_passe ->
AVION2).
||AV1_AV2 = (AVION1 || AVION2)/ {av2VoitRouge / av1VoitVert, aV2VoitVert/av1VoitRouge,
av2_laissePasser/ av1_passe,av2_passe/av1_laissePasser}.

AVION = (voitRouge -> laissePasser -> AVION | voitVert -> passe -> AVION).
||DEUX_AVIONS = (a:AVION || b:AVION||{a,b}::AVION)/{b.voitRouge/a.voitVert,
b.voitVert/a.voitRouge, b.laissePasser/a.passe, b.passe/a.laissePasser}.

Le vote par procuration

2008-04-10T08:52:00.001+02:00

Cas procurations
Rédigé par Henri Habrias
version n° 1 du 18-05-2005
________________________________________________

Un électeur qui ne peut pour une des raisons énoncées par la loi voter en personne
lors d'un scrutin, peut donner procuration à une autre personne appelée le
mandataire. La personne qui donne procuration s'appelle le mandant.

L'Article L.75 du code électoral énonce que : "Le mandant a toujours la faculté de
résilier sa procuration. Il peut donner une nouvelle procuration." Et l'Article L.76
énonce que : " Tout mandant peut voter personnellement s'il se présente au bureau de
vote avant que le mandataire ait exercé ses pouvoirs."

Bien sûr, il se peut qu'aucun des deux ne vote.

Voici la spécification qui a été faite en LTS par Dudule. Vous allez utiliser LTSA
pour analyser et faire les vérifications de cette spécification.

range MANDATAIRES =0..1
PROCURATIONS = PROCU[0],
PROCU[mandataire: MANDATAIRES]=(donneProcurationA[mandataire :MANDATAIRES] -> procu
->annule -> plusDeProcu -> PROCU[mandataire +1]).
VOTE = (procu -> voteMandataire[mandataire :MANDATAIRES] -> STOP | voteMandant
->STOP | fermetureBureau -> STOP).
||VOTE_PAR_PROCURATION =(PROCURATIONS || VOTE).

Question n° 1

Rédigez vos constatations

Question n°2

S'il y a erreurs, énoncez-les par écrit.

Question n° 3

Donnez votre solution.

L'écluse

2008-04-10T08:48:00.002+02:00

Un de mes sujets de Spec2

Il s'agit de spécifier le contrôleur d'une écluse. Il actionne l'ouverture et la
fermeture des deux portes (amont et aval) de l'écluse.
On considère le fonctionnement nominal : en aucun cas, les deux portes ne peuvent
être ouvertes en même temps.
C'est l'éclusier qui décide de l'ouverture et de la fermeture des portes et de
l'éclusage (remplissage ou vidage du sas, plus exactement, mise de l'eau dans le
sas au niveau amont ou mise au niveau aval).

Question n° 0
Faire un schéma des différents états de l'écluse...un dessin !
Donner les entrées et les sorties du contrôleur.
Noter la séquence des événements pour les deux scenarios :
- éclusage amont vers aval
- éclusage aval vers amont

Question n° 1 (nota : j'ai séparé en 2 questions mais bien sûr, j'ai fait les deux
à la fois !)
Spécifier avec des automates de Harel

Question n° 2
Spécifier en B (c'est souvent plus facile de dire les choses en B qu'avec les
automates, à moins de les compléter sans être sûr de la sémantique) classique et
événementiel.

On va plus loin...

On considère maintenant les bâteaux/navires. Les bâteaux/navirres ne sont autorisés
à entrer dans le sas que si le feu de la porte d'entrée (peut-être certains
considéreront des portes d'entrée et des portes de sortie...comme des dates de
naissance et des dates de décès ! voir l'exemple du tunnel et du sketch de Raymond
Devos) est vert, idem pour la sortie. On ne veut pas qu'ils commencent à sortir
alors que la porte n'est pas complètement ouverte. On ne prend pas en compte un
temps d'ouverture. Mais c'est l'éclusier qui fait passer les feux du rouge au vert
et du vert au rouge.

Bien sûr, (il faudrait faire trouver cette exigences par les étudiants...c'est ce
qui est intéressant en spec !) si le feu de la porte aval est au vert, le niveau
dans le sas doit être à la position basse.

On va plus loin...

Les bâteaux ou navires (chaque bâteau ou navire a une immatriculation. Voir annexe
sur la définition de ce qu'est un bâteau et un navire) arrivant à l'écluse se
signalent dès leur arrivée pour prendre un numéro d'ordre d'arrivée. L'éclusier lit
l'identifiant du bâteau sur la coque de ce dernier.
>Lors de l'éclusage, décidé par l'éclusier, l'éclusier fait entrer les bâteaux dans
le sas, pas forcément dans l'ordre d'arrivée (c'est son métier de positionner les
bateaux dans le sas avec le moins de manoeuvres possibles. On est loin de pouvoir
automatiser cela !), mais en faisant en sorte que la règle premier arrivée, premier
éclusé soit respectée.

Et en complément...traiter de l'identification des bâteaux et navires de
nationalité française.

Annexe :
L'immatriculation des navires consiste:
i) à attribuer au bateau un numéro à six chiffres, précédé des initiales des
quartiers d'immatriculation. Il sera porté sur la coque du bateau si celui-ci a une
puissance réelle supérieure à 7,36 kw (10 CV);
Dans l'immatriculation, les Lettres sont l'abbréviation du quartier maritime, et
les chiffres le numéro du bateau dans ce quartier.

Exemple de quartiers :
LO - Lorient
AY - Auray
VA - Vannes
SN - Saint-Nazaire
NA - Nantes
NO - Noirmoutier
YE - Yeu
LS - Les-Sables-d'Olonne
LR - La RochelleCherbourg = CH

Rappel des textes réglementaires

Tout navire de plaisance ( les engins de plage ne sont pas immatriculables)
naviguant en mer doit être immatriculé dans un service des affaires maritimes.
Le numéro d’immatriculation est porté sur le titre de navigation du navire qui est :

* Soit une carte de circulation (modèle simplifié) pour les navires d’une jauge
brute égale ou inférieure à 3 tonneaux délivrée par les affaires maritimes ;
* Soit un document commun douanes / affaires maritimes valant acte de
francisation et titre de navigation (carte de circulation) pour les navires
d’une jauge brute supérieure à 3 tonneaux.

Sont aussi soumis à la procédure de francisation, (détention d’un acte de
francisation) les navires de 3 tonneaux et moins se rendant dans les eaux
territoriales étrangères.

Par opposition aux Navires, qui sont les embarcations et engins destinés à aller
sur la mer, les Bateaux sont les embarcations circulant ou stationnant sur les
fleuves, rivières, canaux, lacs, retenues ou étangs d'eau douce, autrement
dénommées les Eaux Intérieures.

En conséquence, la distinction ne se fait pas sur les caractéristiques intrinsèques
de l'embarcation, mais sur le parcours qu'elle réalise, et sur son immatriculation
dans un quartier des affaires maritime ou dans un port fluvial ou lacustre.

C'est ainsi qu'une même embarcation pourra voire sa qualification varier selon son
immatriculation.

Ceci concerne les bâteaux allant sur l'eau salée. Quant à ceux allant sur l'eau
douce (les navires), c'est le ministère de l'équipement qui s'en occupe.

Il existe 10 Commissions de surveillance de la navigation {Nantes, Nancy, Lyon,
Douai, Bordeaux, Strasbourg, Toulouse, Varennes, Rouen, Paris}. Nantes est
identifié par la suite NT. Le bâteau est identifié par le couple (commission,
entier). Cet entier est le numéro d'ordre d'identification du bâteau dans la
commission. A Nantes, on vient de dépasser 4900.
Le bâteau peut conserver son premier identifiant toute sa vie. Mais il est possible
de faire une radiation et une nouvelle identification dans une autre commission.

Les bâteaux venant d'un autre pays que la France doivent respecter les règles de
leur pays d'immatriculation.

(informations vérifiées par téléphone auprès des Administrations concernées)

extrait du poly, sujets de TD Spec2 accessible via mes pages web.

"Far from us, Sire, the dangerous novelty of thinking"

2008-04-09T15:01:00.001+02:00

"When King Ferdinand visited the conservative University of Cervera, the Rector proudly reassured the monarch with the words :
"Far from us, Sire, the dangerous novelty of thinking"
E. Dijkstra in A Debate On Teaching Computer Science, CACM, December 1989, Volume 32, Number 12

"So, if I look my foofy cristal ball at the future of computing science education, I overwhelmingly see the depressing picture of 'business as usual'. The university will continue to lack the courage to teach hard science ; they will continue to misguide the students and each next stage of infantilization of the curriculum will be hailed as educational progress."

E. Dijkstra in A Debate On Teaching Computer Science, CACM, December 1989, Volume 32, Number 12

L'éducation impose de "se souvenir de l'avenir plutôt que de flatter l'aujourd'hui"

2008-04-09T14:47:00.001+02:00

Hans Jonas, philosophe allemand cité par Ph. Meirieu dans Le Monde du jeudi 25 nov. 2004, page 20

Nous ne sommes pas curieux, mais nous voudrions savoir ...

2008-04-08T16:59:00.000+02:00

Proposition de plan de soutenance de projet
ou de stage
(en tout cas, points attendus par les enseignants de génie logiciel)

rédigée par Henri Habrias
version n° 3 du 8-04-05

- La demande du client
- Motivation de cette demande
- Délimitation du domaine qui a été considéré
- "Cycle" de développement suivi
- Comment a été fait le suivi de ce développement
- Comment est assurée la "traçabilité" tout le long du développement
- Planning initial et évolution de ce planning, évolution du périmètre du
projet (décisions prises en cours de projet)
- Spécifications fonctionnelles, choix de mode de développement (par ex.
"programmation défensive vs offensive, architecture en couche, etc.)
- Contraintes économiques, juridiques, normatives
- Exigences en termes de sécurité, confidentialité, disponibilité, etc.
- Architecture fonctionnelle
- Architecture physique
- Conception (de la spéc. fonctionnelle à l'implantation), les choix
possibles, ce qui a été choisi, justification
- Normes ou bonnes pratiques de codage, de documentation suivies
- Vérifications, techniques utilisées (preuve, model-checking, tests)
- Pour les tests, stratégies de tests, couvertures, oracles de test , échafaudages de tests construits (différence entre le livrable et le non livrable)
- Validation auprès du client
- Déploiement du logiciel, formation des utilisateurs, mode d'emploi etc.
- Etat final du projet (réalisé (spécifié, implanté, vérifié, validé,
etc.), reste à faire, état du dossier de suite ("développement durable" !)
- Qu'en est-il de la réutilisation possible du travail effectué ? Est-ce que ce projet peut être continué ou faudra-t-il recommencer à zéro ? Argumentation.
- Conclusion (écart entre but et réalisation, problèmes rencontrés et
solutions trouvées, élargissement du périmètre, etc.)
- "Démonstration" du logiciel
Pour celle-ci annoncez ce que vous voulez nous "démontrer" avant de faire des manipulations. Montrez que le logiciel fait bien ce qui était demandé, respecte les exigences.

H. Habrias

Erratum (Corrigé DS)

2008-04-03T17:31:00.001+02:00

Je reçois à l'instant ce courriel (non anonyme) d'un étudiant
> Bonjour,
> Excusez-moi de vous déranger, mais en feuilletant votre correction à
> plusieurs, nous étions pas d'accord avec votre réponse de la question 12
> sur les arbres de Jackson. Votre réponse est JAC3 alors que nous auvon> mis JAC2. Avec JAC3, on est obligé de passer par DC (divorce) alors que
> normalement on devrait avoir un choix indéterministe entre DC(décès
> conjoint) ET DV.
>
> Merci.
>
> Jxxx Mxxxxx
>
>

Vous avez bien sûr raison. Une co(q)uille dans mon corrigé. Je communique cette réponse urbi et orbi !

C'est moi qui vous remercie.

Il devrait bien y avoir d'autres coquilles. Je n'ai pas imprimé le fichier et je suis plutôt mauvais pour détecter les coquilles sur écran !

Travailler à plusieurs c'est toujours bien. La relecture par autrui est une des meilleures techniques du génie logiciel !

Un livre rarement cité dans les biblios de spec

2008-04-03T16:33:00.002+02:00

Pascal Gochet, Pascal Gribomont, Logique, méthodes formelles pour l'étude des programmes, Vol. 2, Hermes, 1994

Le certangle (Bubtangle)

2008-04-03T12:24:00.001+02:00

Le certangle

Voici un autre terme que j'ai retrouvé sur la Toile. Mais sans la source. Alors voici ma contribution sur la Toile.
Dans mon Dictionnaire encyclopédique du génie logiciel, Masson, page 58 je cite Boar qui dans la défunte revue américaine Datamation, s'est amusé à proposer le Bubtangle. A l'époque, les américains utilisaient des bulles (des cercles)et des rectangles. Le Mac n'était pas encore né, avec ses belles icônes.
Extrait :
"Comme informaticien, j'ai été confronté à l'incompatibilité. Les compilateurs, les systèmes d'exploitation et même les symboles de 'processus' (le "Bubble") de Yourdon et De Marco vs les rectangles de l'Analyse structurée de Gane et Sarson) sont incompatibles. Je ne peux rien faire au sujet des systèmes d'exploitation ou des compilateurs mais j'ai une suggestion au sujet du symbole de 'processus'. Je propose à cet effet le Bubtangle *, une standardisation du symbole de 'processus'."
"Le Bubtangle offre à la communauté des informaticiens les avantages suivants :
- Il intégre les meilleures caractéristiques à la fois du cercle et du rectangle ;
- C'est un symbole internationalement reconnu ;
- Il sonne mieux que 'recle' ;
- Il est compatible vers le haut (ce qui n'est pas le cas de Cobol-80) et ne rend pas obsolète l'investissement actuel en technologie de la bulle ou du rectangle ;
- Il permettrait l'usage des bulles et des rectangles à de plus bas niveaux de décomposition, conservant ainsi l'investissement en diagrammes ;
- L'industrie nécessaire pour réaliser des millions de normographes de Bubtangles est prête du fait de la dépression ;
- Il éliminera la querelle Bulles/Rectangles ** et permettra aux équipes d'analyse de se focaliser sur d'autres thèmes ;
- Le Bubtangle est à 75% un rectangle et à 50% une bulle, ce qui fait un Bubtangle de 125% ;
- Il est non procédural, 'user friendly' ***, et relationnel **** ;
- Il fournit un terrain de rencontre pour les personnes fières de la bulle et celles fières des rectangles ;
- Il est compatible Ada" (Boar, Datamation *****)

* Je ne sais plus qui m'a proposé d'utiliser le terme certangle. S'il me lit, qu'il m'écrive. Je mettrai à jour immédiatement cette page !

** Chaque époque ne peut avoir sa "querelle des universaux" !

*** Les Français, qui n'ont pas lu Illich, disent "convivial"

**** Quelques années plus tard, on aurait dit "objet". Aujourdh'ui ? "Virtuel" ?

***** J'ai perdu la source et bien sûr, rien sur la Toile. Si quelqu'un a conservé l'article de Boar, qu'il me fasse signe.

Notre contribution au PPP

2008-04-02T22:31:00.002+02:00

Quelques pistes :
CADP
TGV
CWB-NC
CWB (nous l'avons utilisé en Spec2 avant d'utiliser LTSA)
SMV

"S'es carculat tot l'aprés-miegjorn"

2008-04-02T17:37:00.002+02:00

Mot à mot : Il s'est calculé tout l'après-midi
En limousin, veut dire : il a réfléchi.

Le corrigé de l'examen de spécification 2

2008-04-02T17:23:00.002+02:00

Je vous l'ai adressé ce jour par courriel.
Accompagné du sujet avec le corrections fournies lors de l'épreuve de lundi.

Copie de mon courriel pour ceux qui systématiquement n'ouvrent pas les courriels des enseignants malgré les rappels au tableau d'affichage :

"J'attends vos explications AVANT le LUNDI 28 AVRIL 2008 à 17 heures
(copies à me fournir via votre représentant de groupe ET NON sous forme de
corps de messages de courriel.)
En effet, je dois respecter la date limite de rendu des notes. Il me
faudra lire vos explications. Soignez vos textes ! Je ne peux passer plus
d'une heure par copie !

Pour la même date, j'attends votre auto-notation (en respectant ce qui est
écrit dans le corrigé).

En fichiers attachés .pdf, le sujet avec corrections faites lors du D, et
le corrigé."

P.S. les collègues lecteurs de ce message peuvent me demander par courriel, sujets et corrigés

Dans le Dictionnaire de la bêtise, cette citation :

2008-04-02T08:07:00.000+02:00

Dans le Dictionnaire de la bêtise, cette citation :

"Amphibie
Exemple et définitions :
Les baleines, ces colosses de la création, sont des animaux à mamelles comme nous. Ils sont amphibies, c'est-à-dire qu'ils peuvent vivre simultanément dans l'eau et dans l'air.
Le Petit Marseillais, 30 mai 1926

Testez vos connaissances

2008-04-01T17:40:00.000+02:00

voir le sujet fourni ICI

Le scandale de l'informatisation des retraites au Japon

2008-03-31T17:27:00.002+02:00

"toujours impossible d'identifier l'origine de 20,25 millions de versements. Logiquement, les cotisants ne pourront pas recevoir les versements qui leur sont dus."

"En 1997, le gouvernement a décidé d'attribuer à chaque affilié un numéro unique, comme en France. [...] Dix ans après, elle a dû reconnaître que près de 51 millions de cotisations restaient non identifiées. Et comme personne n'a pris la peine de demander aux mairies qui détenaient les dossiers originaux de les conserver, nombre de municipalités les ont détruits, empêchant à tout jamais de reconstituer les données individuelles."

"[...] à l'époque de l'informatisation de la Sécurité sociale, en 1980. Il avait alors fallu entrer les noms de tous les cotisants, mais les premiers systèmes informatiques ne permettaient pas l'inscription des patronymes avec leurs caractères chinois, les kanjis. Les noms ont donc été enregistrés en fonction de leur prononciation, au moyen des caractères de l'alphabet phonétique katakana. Or, chaque kanji ayant plusieurs prononciations possibles, les mauvaises transcriptions se sont multipliées. Un phénomène aggravé par la mauvaise volonté de fonctionnaires hostiles à l'informatisation."

Heathrow et l'informatique

2008-03-31T17:22:00.002+02:00

Chaos au terminal 5

"British Airways, la seule compagnie à utiliser le nouveau terminal pour l'instant, a attribué les problèmes à "une combinaison de facteurs", notamment des problèmes de parking, qui ont empêché les employés de se rendre à leur poste, et des erreurs informatiques qui ont paralysé le système de tri des bagages.

L'ouverture du nouveau terminal --inauguré par la reine Elizabeth II en fanfare au début du mois-- s'est transformée en cauchemar jeudi." site de l'Expansion

Nous enquêtons pour en savoir plus sur ces "erreurs informatiques". Le Financial Times ne, le Monde, ne nous en apprennent pas plus. Je vais voir mes collègues britanniques.

Quand un éditeur acceptera-t-il de nos jours de publier une analyse de ces erreurs (un excellent outil pédagogique !), certes toujours difficile à faire .

Retour de DS

2008-03-27T14:13:00.004+01:00

- le corrigé sera mis sur mes pages web module spec2 et je vous indiquerai la date limite de fourniture de vos explications, comme cela est indiqué sur le sujet.
- le sujet
- Il est conseillé aux futurs étudiants de s'informer à la source et non sur des blogs qui usurpent le nom de l'iut (voir mon blog informatiqueetorganisationsociale)

Comme annoncé, les réponses se trouvaient sur le bloc-notes. Ainsi pour le Mont-Blanc (je vous ai renvoyé plusieurs fois à ce message !) ICI
- des compléments éventuels au barème y seront portés
- Tout cela sera public
- Ainsi que les réponses (anonymées) à la question sur le tunnel du Mont Blanc. Je ne savais pas que nous avions dans le département informatique autant d'auteurs pour nos comiques. Gérard Miller qui a écrit pour Devos, Bigard, Jolivet a du soucis de concurrence (Communication and concurrency, on n'en sort pas !) à se faire, tout normalien qu'il est.
Pourtant je vous avais prévenu en amphi. Mais sans doute s'agit-il d'une rencontre du troisième type. Il faudra un module spec3 de spécialité à ajouter à notre PPN.

- Vos dossiers de spec2 vous seront rendus avant votre départ en "grandes vacances".

Le rendez-vous manqué ...

2008-03-27T14:06:00.006+01:00

Dudule n'a pas rencontré Ninie Peau d'Chien en même temps que Dutif a rencontré Ninie Peau d'Chien. C'est tout à fait possible !

Mais certains d'entre vous (beaucoup, je donnerai les chiffres) considérent que Dchnock peut rencontrer Ninie Peau d'Chien à un moment différent du moment où Ninie Peau d'Chien rencontre Duchnock. Ce devait être un rendez-vous ...manqué, ou on ne parle pas du même Dudule et de la même Ninie Peau d'Chien. What under a name ? (voir nos pages Spec1). Ou une rencontre du troisième type ...

Communication par rendez-vous, CCS, FSP, transitions Rdp, bof, bof, bof...

Comme a dit l'autre... on n'a plus qu'à se "casser" si on ne peut plus se serrer la main.

Une erreur dans le graphe de transition d'états du manoir hanté

2008-03-26T15:25:00.002+01:00

repérée par Cédric. Merci à lui. Normal ... c'est le seul étudiant ayant fait l'exercice (nous avions demandé il y a plus de 4 semaines, de faire cet exo "à la maison")
Une des transitions est mal étiquettée. Laquelle ?

Un bon truc pour les enseignants qui donneront cet exo à leurs étudiants pour repérer les "copies serviles".

Salut à vous chers collègues.

Le manoir hanté de W. Ross Ashby

2008-03-26T09:58:00.005+01:00

Dans le chapitre 5 du polycopié des TD de Spec2, je vous ai reproduit l'exercice extrait du livre de Ross Ashby, An introduction to cybernetics. Un vieux livre (1956), publié dans une collection d'auteurs inconnus, j'y note un dénommé Albert Einstein avec ce titre bateau "Relativity". Rien sur la Toile (en fait, si vous cherchez bien, mais suppose que l'on ne fasse pas que surfer). Donc ...peu intéressant. On ne trouve pas le corrigé des exos sur la Toile.
Alors, si on est dans la situation où on entend le rire sardonique (1)(the Laughter) et le chant (the Singing), que faut-il faire pour que le manoir devienne calme et le reste ?

Les actions sont :
- jouer de l'orgue (ce mot qui est masculin au singulier et féminin au pluriel !)
- faire bruler de l'encens

Les états sont les éléments du produit cartésien :
SINGING ={0, 1}
LAUGHTING = {0, 1}
SINGING X LAUGHTING

On va soit représenter soit par une matrice, soit par un graphe (un automate de Mealy : sur les flèches on mettra les actions), le comportement raconté dans le texte. Il s'agit de savoir lire (2). Je préfère un dessin (un graphe). Mais tout dépend de votre popre "psychologie cognitive", liberté, liberté à vous. D'après mes observations, celles du prof de maths, il semble que les étudiants "nouvelle génération" soient rétifs à l'écriture y compris les schémas. Alors vous pouvez aussi faire cela dans votre tête.

"The Singing, in the succeeding minute, will go on as it was during the preceding minute (sounding or silent) unless there was organ-playing with no Laughter, in which case it will change to the opposite (sounding to silent, or vice versa)."

"As for the Laughter, if there was incense burning, then it will sound or not according as the Singing was sounding or not (so that the Laughter copies the Singing a minute later).
If however there was no incense burning, the Laughter will do the opposite of what the Singer did."

Vous trouverez l'automate ICI

Le chemin conduisant de l'état (1,1) à l'état (0, 0), est noté en gris.

- Stop the incense burning for one minute;
- next stop the incense and play the organ ;
- finally, start burning the incense again ;
in future keep it burning and never play the organ

(2)ce que nos ministres nous assurent garantir sous peu à l'entrée en 6ième. Mais le candidat à la présidence de la République nous avait assuré des baisses d'impôts et aujourd'hui nous annonce que c'est remis à plus tard. La fameuse propriété de fatalité ! fatalement un jour ... mais dans le long terme a dit Keynes, nous serons tous morts. Quid de la lecture ?

(1) (au fait, ça veut dire quoi ?
Dans le Robert historique de la langue française, on apprend :
"d'abord dans ris sardonic ou sardonien(v. 1560, Paré : sardonien peu avant dans du Bellay), puis (ris) sardonique (1660), reprend le latin sardonicus risus, calque du grec sardonios gelôs (rire malveillant) Sardonios étant interprété comme "de Sardaigne", le rire sardonique étant expliqué par les effets de la sardonia (herba) "herbe" de Sardaigne ...
Rire sardonique se dit d'une grimace rappelant le rire, due à la contracture spasmodique des muscles de la face. Sous l'influence de sarcastique, l'adjectif s'applique à un irre qui donne à la bouche une expression de moquerie méchante (1762) puis à ce qui exprime une intention méchante. (v. 1770)"

Preuves

2008-03-26T08:14:00.000+01:00

"Une seule démonstration me frappe plus que cinquante faits."

"C'est en cherchant des preuves que j'ai trouvé des difficultés"

Diderot, Pensées philosophiques

Je vais arrêter de pisser dans un violon

2008-03-25T17:24:00.002+01:00

... mes jeunes collègues me disent qu'ils pissent le plus souvent dans un violon quand ils sont en cours ou en TD.

Je ne suis donc pas le seul.

J'ai dit cela aux étudiants d'un de mes groupes de TD. Mais beaucoup ne savaient pas ce que cela voulait dire, et d'autres justement illustraient le fait que j'étais en train de pisser dans un violon.

Alors voici une page qui explique excellement ce que signifie cette expression:
Merci à son auteur

ou encore sur ce site tout aussi plaisant.

Vive la langue française, un outil de spécification.

Histoire de l'enseignement des spécifications à Nantes

2008-03-24T14:05:00.001+01:00

ICI

"c'est que tout le monde ..."

2008-03-24T08:27:00.003+01:00

"difficultés majeures. La première, c'est que tout le monde, quasiment sans exception, manque et de lucidité et de franchise, si bien que beaucoup d'acteurs font comme si de rien n'était."

Jean-Hervé Lorenzi, Est-il encore temps d'éviter la dépression mondiale ?
(sur la "titritisation" et ses conséquences)
Le Monde du 21 mars 2008, page 20

Tiens, tiens ...

Etat et transition (par Pierre Desproges, de Châlus)

2008-03-24T08:23:00.005+01:00

"L'état de mort ne me gêne pas. C'est le fait de passer de la vie à la mort qui me gêne. Une fois que je serai mort, je ne suis pas sûr que j'aurai envie de revenir."

Pierre Desproges

Question pour DS :
Soulignez en rouge les termes représentant des états
Soulignez en bleu les termes représentant des événements

L'équité (L'hypothèse d')

2008-03-23T20:45:00.000+01:00

Dès que l'on désire montrer qu'un système concurrent satisfait une propriété de vivacité, il est nécessaire de supposer que l'entrelacement entre les différentes transitions n'est pas tout à fait arbitraire car on peut avoir des exécutions où un processus n'exécute jamais une transition.
Aussi ajoute-t-on une hypothèse d'équité sur les exécutions admises.

Il s'agit d'une restriction sur les séquences infinies de transitions permises.

Différence entre le | (parallèlisme) de CCS et le || de FSP

2008-03-23T20:43:00.001+01:00

En CCS, seuls deux processus peuvent entamer en même temps un évenement de synchronisation. Si plus de deux processus sont prêts, le choix du couple qui le fait est indéterministe.
Ainsi en CCS, ((a.P) | (a.Q) | (a'.R)){a} permet à R d'être partagé entre P et Q.

En FSP,
P=(a->P).
Q=(a->Q).
R=(a->R).

Quand on lance l'exécution, on constate qu'il y a un seul événement a à exécuter.

P=(a->p->P).
Q= (a->q->Q).
R= (a->r->R).

La piscine en FSP (LTSA)

2008-03-23T20:30:00.004+01:00

Le sujet se trouve dans le polycopié des TD de Spec2, présent sur nos pages web.
Après l'avoir traité en RDP, on va le traiter en FSP.

Merci à Sébastien qui a eu l'idée et a appliqué LTSA au cas piscine.

Nous allons suivre une démarche archétypique.

Nous allons commencer par spécifier le comportement d'un client (BAIGNEUR) qui n'a aucune contrainte,i.e. comme s'il était seul client à la piscine. C'est plus facile que de vouloir tout dire du premier coup !
Bien sûr, on a dans la tête des patrons (patterns en anglais) de systèmes. Voila pourquoi nous avons utilisé des noms génériques habituels comme get une ressource, release, rendre, une ressource. Ici getp est mis pour prendre un panier, relp pour rendre panier.

BAIGNEUR = (entre -> getc -> deshabille ->
getp -> relc -> baignade -> getc -> relp ->
rhabille -relc -> sort -> BAIGNEUR).

On pouvait décomposer en :

PREPARATION = (getc -> deshabille -> getp -> relc -> BAIN),
BAIN = (baignade -> SORTIE),
SORTIE = (getc -> relp -> rhabille -relc -> sort -> BAIGNEUR),
BAIGNEUR = (entree -> PREPARATION -> BAIGNEUR).

On peut spécifier le nombre de baigneurs.

const NB_B = 3

Maintenant spécifions les contraintes.
Passons à l'économie (gestion des ressources rares). Les ressources sont les paniers, cabines.
Abstrayons le comportement des ressources, quelque soit le type de ressource, panier ou cabine.

RES_MULT(N=5) = RES_MULT[N],
RES_MULT[i:0..N]= (
when(i>0) get -> RES_MULT[i-1] |
when(i RES_MULT[i+1]
).

Spécifions le nombre de cabines et le nombre de paniers.

const NB_C = 2
const NB_P = 1

Maintenant, nous spécifions le système PISCINE en mettant en parallèle les processus baigneurs, cabines et paniers.

||PISCINE = (b[1..NB_B]:BAIGNEUR ||c: RES_MULT(NB_C) || p:RES_MULT(NB_P))

et en spécifiant les contraintes de synchronisation entre ces processus. Pour cela, on est amené à utiliser le renommage.

{b[1..NB_B].getc/c.get, b[1..NB_B].relc/c.rel, b[1..NB_B].getp/p.get, b[1..NB_B].relp/p.rel}

et l'opérateur interface :

@{b[1..NB_B].entre, b[1..NB_B].deshabille, b[1..NB_B].baignade, b[1..NB_B].rhabille, b[1..NB_B].sort}.

extrait de notre polycop Spec2, non distribué.

Petit à petit nous mettrons des extraits de ce poly (il nous faut enlever les commandes latex) sur ce bloc-notes ou sur nos pages.

Erratum

2008-03-22T17:26:00.003+01:00

Sur le polycopié des TD, chapitre 5 (exos sur le livre de R. Ashby)

Dans les matrices des premiers exercices, remplacer les en-têtes de lignes par alpha et bêta et gamma et epsilon (au lieu de a, b, etc.)
Il y a aussi un exercice où la matrice a deux lignes d'en-tête a, changer en alpha et bêta

A l'anonyme

2008-03-22T13:35:00.002+01:00

Nous ne publions pas les messages anonymes.
Nous ne citons aucun nom d'étudiant sur ces pages sauf si accord de l'étudiant dans le cas par exemple où un étudiant nous a fait part d'une erreur (voir le principe du droit d'auteur, lequel s'applique d'ailleurs au logiciel)

Et nous rappelons que notre notation des copies ne se fait pas en fonction des remarques des étudiants.
Le barême et le corrigé sont fournis (et publics ! via nos pages sur la Toile et Bloc-notes) et les étudiants pratiquent l'auto-notation. Lors du DS de spec1, ils ont pu se rendre compte que l'enseignant (et c'est le cas général de nos jours) interprète le barême (quand il peut en appliquer un et le même à toutes les copies !) de manière particulièrement "avantageuse" (i.e. pour montrer qu'il est efficace : il a de bonnes notes). Si d'aucuns peuvent dire qu'il y a des injustices, celles-ci viennent en général du fait qu'"avoir une bonne moyenne" c'est pénaliser les bonnes "copies relativement aux mauvaises.

Il se peut même que les étudiants remarquent des erreurs dans nos écrits, nous les
remercions pour cela (voir nos remerciements dans les livres que nous avons publiés) et publions leur corrections.

Quand nous fournissons une solution en TD, c'est pour que les étudiants puissent la critiquer. Nous vous rappelons que nous vous demandons :
- de fournir votre travail
- de fournir la solution fournie par l'enseignant
- les solutions d'autres étudiants, éventuellement de meilleure qualité
- d'expliquer en quoi votre solution est meilleure, erronée, ...

Et non pour qu'ils rendent un dossier, recopies du tableau !

Joyeuses Pâques
et/ou
Bonne fin de semaine prolongée

"Les lettres anonymes ont le grand avantage qu'on n'est pas forcé d'y répondre."
A. Dumas fils

En rire ou en pleurer ...

2008-03-19T17:13:00.000+01:00

The Strategic Alignment

Il y a quelques mois, le Monde nous a narré ce canulard

"Clémentine Marcovici et Benjamin Frémaux, deux jeunes polytechniciens en troisième année de l'Ecole des Mines, ont défendu le 14 juin dernier devant un parterre choisi de dirigeants d'entreprise et de consultants, est aussi drôle qu'incongru. (...)

Pour faire sérieux, le concept se devait d'adopter un nom anglais. Il fut donc baptisé Strategic alignment et ses grandes lignes développées dans une note d'une dizaine de pages. Nos faussaires l'affirment dans cette bible : l'entreprise doit être appréhendée selon trois pôles : l'Etre (la majuscule apporte une touche de solennité), le Dire et le Faire. Ensuite, il suffit de mettre les trois actions en cohérence. Mais attention: il ne faut prendre de décision qu'à l'intersection de chaque pôle qui, dans la note est appelée l'effective target zone.

Evidemment, vu comme ça, on ne donne pas cher du succès de cette théorie. Sauf que les étudiants ont emballé leurs salmigondis d'un papier cadeau doré sur tranches. Selon eux, cette théorie aurait été publiée par deux éminents profs de Harvard (...)

Ce travail de fin d'études souligne de brillantissime manière la vacuité des théories de management élaborées par des aspirants gourous qui font leur tambouille dans de vieilles soupières pycholo'tacticiennes usées."

source

Voir aussi la gazette des Mines
et le blog de l'éco du Monde

Erratum

2008-03-18T16:49:00.002+01:00

Des étudiants lecteurs perspicaces ont vu une erreur dans le document Raffinage, Model-checking et preuve...

page 10, 4.2.

P= ab* doit être écrit en FSP :

P= (a -> ETAT 1 | a -> STOP);
ETAT1 = (b -> ETAT1).

ou si on veut éviter que LTSA nous dise qu'il y a un deadlock car quand on arrive à STOP on ne peut aller plus loin,
écrire
P= (a -> ETAT 1 | a -> STOP),
ETAT1 = (b -> ETAT1 | b -> STOP).

Mais cela colle moins bien à l'expression régulière

Il faut noter que les automates adéquats aux systèmes réactifs sont les automates de Buchi (tout à l'heure j'avais un trou de mémoire), voir par exemple
http://fr.wikipedia.org/wiki/Automate_de_B%C3%BCchi
http://fr.wikipedia.org/wiki/Automate_fini

Les algoristes

2008-03-17T16:11:00.001+01:00

Les algoristes

L'association Les algoristes

Elle a pour objet la coopération entre "algoristes", c'est à dire artistes utilisant pour leur art des algorithmes développés par eux-mêmes, en matière de conception, de création, de communication et de présentation des oeuvres au public. Sa création a été inspirée par le groupe américain Algorists.

Les réunions se tiennent chaque mois. Autour des algoristes se retrouvent aussi des amis intéressés par leurs travaux ou leur apportant leur concours. Sur invitation.
La coopération prend forme dans des projets coopératifs. Actuellement: Primeval et l'atelier Alkwarel. Vous pourrez bientôt l'utiliser directement en ligne sur ce site, sans aucune connaissance en programation.
Les dernières nouvelles de l'association sont disponibles sur son blog. On trouvera une abondante documentation sur les sites, blogs et documents publiés sur ce site des membres de l'association.

Pour aller plus loin nous nous orientons vers un emploi systématique du langage Processing. Si quelques while et autres void(myartist){} vous donnent des démangeaisons dans les doigts, nous vous encourageons vivement à télécharger le logiciel, disponible 24/24 et 7/7 en téléchargement gratuit. Et si vous persévérez, nous serons alors heureux de vous accueillir dans notre communauté de développeurs.
Le président24/2/2008
Pour le plaisir : une délicate démonstration de Processing, due à Xavier Gouchet.

Extraits de la première page de leur site web

Le dernier cours

2008-03-17T10:12:00.002+01:00

a eu lieu ce matin, amphi 4 de 8 h à 9h.
Ce fut aussi mon dernier cours en amphi à l'IUT de Nantes. Je n'en ferai plus dans cet établissement. Nous rentrons dans l'histoire ... lire ici l'histoire de l'informatique au département informatique de l'Iut de Nantes (rédaction en cours)

J'ai traité :

suite de B événementiel, différences avec B classique, les preuves à faire
le raffinage du buffer à deux places
les entrées/sorties du cas Chariot

Le DS aura lieu le jeudi 27 mars, de 8 heures à 10 heures 30.

Mes prochains exposés auront lieu à Budapest, le samedi 29 mars, puis à Nice Sophia-Antipolis, le vendredi 4 avril ... Vous y êtes invités.

un lecteur parfait

2008-03-15T09:00:00.003+01:00

"Quand je tâche de me représenter un lecteur parfait, il en résulte toujours un phénomène de curiosité, et en outre quelque chose de souple, de rusé et de circonspect, un aventurier et un découvreur-né."

Nietzche

ecce homo

Puisque le PPN (mon collègue britannique Bill, trouve désolant que des enseignants du supérieur aient besoin d'un Programme Pédagogique National. Il trouve que c'est contradictoire avec enseignement supérieur.) dit que les étudiants n'ont plus à savoir spécifier. Mais seulement à savoir lire une spécification (lire sans comprendre ? analphabète vs illettré ... merci Frédo pour ta définition. Et si nos comités théodules inscrivaient ma citation de Frédo dans le prochain PPN.

Il y a aussi la nouveauté du PPN, le PPP. Une merveille pédagogique ! Le module idéal pour les étudiants. On y fait du copier-coller, des posters (des affiches, en bon français). Bien sûr en ignorant tout des beaux-arts... Mais depuis la maternelle Uhu est bien connu ! Le père Uhu, Ubu ...
Mais des enseignants valeureux heureusement font leur possible pour en profiter pour apporter des connaissances. Mais ...comme nous l'a expliqué un expert lors d'une réunion à Paris (il n'est bonne science que de Paris !) : "on ne peut faire boire un âne qui n'a pas soif". Ce que me disait ma grand-mère (et elle me le disait aussi en patois limousin (en langue d'oc)). Et je n'ai jamais pensé que c'était une insulte !
Mais je ne savais pas ma grand-mère experte en pédagogie supérieure.

Quant au PPPP, j'en fus le fondateur à l'Université de Poitiers.

C'est toujours mieux ailleurs, n'est-ce pas ?

2008-03-13T15:02:00.004+01:00

Les sites web où l'on trouve des sujets d'examen du prof avec des corrigés faux, des dossiers de td foireux, etc...
Alors que le prof vous a fourni des pages web, des polys, des pages de bloc-notes , des supports de cours adressés par courriel... avec les questions traitées.

Depuis quelques années, dans différentes matières, les enseignants lisent des réponses idiotes répétées dans de nombreuses copies, parfois même des réponses n'ayant rien à voir avec la question ... Nous savons d'où elles viennent.

Comment a-t-on pu en arriver à une telle situation en France ?

Pour info, message à l'adresse des parents :

Chers parents,
Ne venez pas rouspéter parce que le 12 mars votre fils qui est en première année n'est pas encore admis en 2ième année.
Un peu d'effort ! je sais nous ne sommes pas efficaces...Mais un de ces jours dès la naissance .... Le droit au diplôme !

Et sachez que votre fils (mais il est majeur, nous ne citerons pas de noms ! ) a reçu il y a un certain temps un bulletin de notes (oui, oui comme dans les petites classes).
Ce n'est pas parce qu'il ne vous l'a pas montré que ce bulletin n'existe pas...

Et ce n'est pas parce que vous ne voyez jamais travailler votre fils qu'il faut en conclure que tous les enseignants sont des fumistes, ne donnent rien à faire, enseignent du vent. Ou que votre fils est un génie méconnu. Ou qu'il est né avec un cuillère d'argent, pardon, une souris dans la bouche...

Ce n'est pas parce que les frais d'inscription sont ridiculement bas comparé aux avantages (ciné, resto U, sécu,...) qu'il faut en déduire que l'université ne vaut pas ces merveilleuses écoles supérieures, mondiales, galaxiques d'informatique, qui se payent de la pub (30 % de leur budget) à la télé ou sur le cul des bus !

Enfin, chers parents, sachez que les enseignants n'exigent pas que vos enfants viennent en cours et en td avec leur lecteur mp3, des écouteurs aux oreilles. Qu'il existe une cafétaria à l'IUT où ils peuvent papoter, lire le journal. Et qu'enfin, il ne faut pas considérer que les droits d'inscription donnent droit à utiliser les salles de TD comme cyber-cafés pendant les séances des enseignants.

Nous disposons même d'une bibliothèque sur place. Et entrer à la bibliothèque n'est pas dangereux pour la santé. Lire de même.

P.S. : j'oubliai. Pouvez-vous payer à vos enfants, une gomme, un crayon et un cahier. Pour venir en cours et en TD. La peinture blanche n'est pas nécessaire.
Idem pour leur stage en entreprise. Il est pour le moins gênant qu'un maître de stage me demande de dire à l'étudiant qui doit faire son stage dans son entreprise de se munir de ces instruments.

J'ai adressé à toutes et tous les transparents de mes cours

2008-03-11T16:32:00.007+01:00

et ai annoncé qu'un poly était tiré à votre intention. Mais qu'il fallait venir le chercher à mon bureau.

Je n'ai vu personne.

Bof, bof, bof...

Hier les collègues qui ont fait cours en 1ière année ont été particulièrement écoeurés de l'attitude de pas mal d'étudiants dans l'amphi.

Bof, bof, bof....

On comprend qu'en TD beaucoup fassent autre chose que les exercices...

Des parents s'étonnent qu'en informatique il n'y ait rien à faire. Ils téléphonent à l'IUT pour savoir si c'est bien le cas.

Etonnant n'est-ce pas !

J'invite les parents à venir en cours et en td. Transparence !

Rappel : un exemple de raffinage en B et avec LTSA

2008-03-11T07:52:00.002+01:00

Une belle question pour le DS

- Exposé au CNRIUT de Brest (2006)

Le corrigé de l'exercice

2008-03-10T11:22:00.004+01:00

Voici ce que je vous ai proposé :

P1 = (get -> in -> put -> P1).
P2 = (get -> out -> put -> P2).
SEM =(get -> put -> SEM).
SYS = (P1 // P2 // SEM).

Il est évident (il suffit de lire) que la première action sera une action commune aux trois processus : get. Cela signifie que P1 et P2 prennent la main (c'est le cas de synchronisation). IL N'Y A donc pas exclusion mutuelle !

Entrez la spec sur LTSA et faites un run, vous verrez...

Voici ce qu'il fallait faire :
P1 = (p1.get -> in -> p1.put -> P1).
P2 = (p2.get -> out -> p2.put -> P2).
SEM =(get -> put -> SEM).
SYS = (P1 // P2 // {p1,p2}:: SEM).

Faites l'automate et vous verrez.

Si vous ne saviez pas ce que faisait ::
vous pouviez écrire :

P1 = (p1.get -> in -> p1.put -> P1).
P2 = (p2.get -> out -> p2.put -> P2).
SEM =(p1.get -> p1.put -> SEM p2.get -> p2.put -> SEM).
SYS = (P1 // P2 // SEM).

Remarque : j'ai constaté que le "pipe" ne "passait" pas sur blogspot. Aussi ai-je utilisé //

cours du lundi 10 mars

2008-03-10T11:10:00.004+01:00

J'ai traité ce matin (de 8h 15 à 9h15) :

les sémantiques du parallélisme (synchrone, asynchrone, mixte)
avec ce qu'il en est en FSP
J'ai donné un exo (deux processus et un sémaphore pour exclusion mutuelle). J'ai demandé si l'exclusion mutuelle était bien satisfaite. Et j'ai donné la réponse : non car ...
en fin de cours, pour ceux qui écoutaient encore, j'ai donné la solution... , sujet de DS.
J'ai traité de l'équivalence entre processus, équivalence forte et faible. J'ai illustré par le buffer à deux places

J'ai rappelé que le cours sur B événementiel fait l'objet d'un chapitre du poly de spec1. A étudier à tête reposé sans le bruit de l'amphi (étonnant que venir en cours à 8h15 par un temps de tempête ...pour dormir ou papoter ! J'espérais ce matin ne pas avoir à réclamer le silence.)

Bien sûr au DS questions sur le B événementiel. Si vous avez des questions sur ce sujet, n'hésitez pas à me les adresser par écrit.

Le DS a lieu la semaine 17.

Vous vous auto-noterez comme pour le DS Spec1.

Il y aura des questions relatives à ce qui a été demandé dans le DS Spec1.

Ce matin :

52 présents (52 signatures). Je n'ai pas compté 52 ... Faux et usage de faux ou faiblesse de mon système de comptage ?

Quel est le % d'informations énoncées qui a été perçu par 50 % des présents ? Il faut faire des recherche en télépathique ! ... ou attendre le DS

Les projets de Clearsy

2008-03-07T11:37:00.000+01:00

English Version - Vous ne parvenez pas à lire correctement cette lettre...

ClearSy ouvre l'année 2008 sur de nombreuses actualités et projets.Parmi eux, nous pouvons citer la création d'un nouveau site dédié au projet DOF1, ainsi que la participation de ClearSy à la Conférence B de Nantes qui se déroulera le 16 juin prochain...

Du côté des projets, nous présenterons dans cette lettre :

Le projet OISAU (Ouverture et Interopérabilité pour Systèmes Autonomes), qui réunit de nombreux acteurs du secteur industriel et militaire,

Le projet Urbalis Evolution, en collaboration avec Alstom Transport, qui concerne le métro de Pekin.

Le projet Ouragan, qui vise à la réalisation des logiciels embarqués permettant de piloter les métros de la ligne 5 du réseau RATP.

Vous êtes désormais 1610 à lire cette lettre. Merci de votre intérêt et bonne lecture.
Nouveau site dédié au projet DOF1ClearSy vous propose depuis début février le tout nouveau site DOF1, site projet dédié au Dispositif d'Ouverture et de Fermeture des façades de quai, SIL4. Accéder au site : Dof1.eu

Conférence : La Méthode B, de la Recherche à l'EnseignementL'université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville de Nantes. (suite)

Conférence ABZ 2008 du 16 au 18 semptembre 2008, à LondresLa conférence ABZ 2008 a pour objectif de réunir les communautés B, Z et ASM. Elle sera organisée autour d'une journée commune et de 2 journées propres à chaque communauté. (suite)

Plus d'actualités...
Projet OISAU : Ouverture et Interopérabilité pour Systèmes AutonomesLa DGA est maitre d'oeuvre d'une étude qui définira le standard d'architecture des futurs systèmes autonomes à vocation militaire...(suite)

Projet Urbalis EvolutionDepuis près de deux ans ClearSy participe aux côtés d'Alstom Transport au développement des logiciels sécuritaires du métro de Pekin (Beijin) qui doit être très prochainement mis en service pour les jeux olympiques de 2008. (suite)

Projet Ouragan ClearSy assiste AREVA pour la réalisation de logiciels non de sécurité de l'équipement Bord du système de contrôle commande qui permet de piloter les métros de la ligne 5 du réseau RATP. (suite)

Dixit le directeur de la recherche de MS

2008-03-06T09:35:00.003+01:00

"Le traitement parallèle n'est enseigné presque nulle part, alors qu'il devrait être inclus dans tous les programmes d'enseignement"

Anrew Herbert, Directeur du laboratoire de recherche de Microsoft, Cambridge, U.K.
Discours à la Sorbonne
Le Monde de la semaine dernière

Nous avons introduit, il y a pas mal d'années à l'iut, cet enseignement (certes peu développé, mais nous avions bien peu d'heures !). Nous avions pu obtenir (avec peine. Quelle idée d'enseigner cela ! est-ce que le Programme Pédagogique National en parlait ?) l'achat d'un kit pour utiliser le langage Occam. Notre collègue Jean-François doit toujours avoir ce kit dans son bureau.
Nous avions participé à un projet européen sur l'enseignement du parallélisme (projet Papillon), dont des extraits sont sur nos pages et dont nous avons fourni cette année à un étudiant de première année, les cours et exos
Notre module Spec2 traite de parallélisme.
Depuis une dizaine d'années, le volume consacré dans notre département aux spécifications ne fait que diminuer. C'était paraît-il le "sens de l'histoire", "l'adaptation au nouveau public", blabla blabla ware.

Nous sommes donc "presque nulle part".

Cours du 3 mars 2008

2008-03-03T10:48:00.002+01:00

de 8h15 à 9h15

J'ai traité :

- RDP (suite) , conflit, parallélisme, synchro, partage de ressource, sémaphore
- RDP(suite), Test à zéro, RDP coloré, RDP interprété, Matrices
- GRAFCET, différences GRAFCET/RDP
- Début de B événementiel : le cours se trouve dans le polycopié Spec1 et ICI, y voir aussi la porte en B classique vs la porte en B événementiel

Ces points sont des questions du DS

Prochain cours :
- fin B événementiel

- vérification de propriétés avec LTSA

- preuve vs model-checking (un exemple ici :

- Exposé au CNRIUT de Brest (2006)

P.S.

Je vous ai préparé une liste et pointeurs vers les prouveurs et model-checkers disponibles dans le monde, ICI

Rien ne va de soi. Rien n'est donné. Tout est construit.

2008-02-24T17:36:00.002+01:00

"les problèmes ne se posent pas d'eux-mêmes. C'est précisément ce sens du problème qui donne la marque du véritable esprit scientifique. Pour un esprit scientifique, toute connaissance est une réponse à une question. S'il n'y a pas eu de question, il ne peut y avoir connaissance scientifique. Rien ne va de soi. Rien n'est donné. Tout est construit."

Gaston Bachelard, La formation de l'esprit scientifique, Vrin, p. 1

Bref, y'a du boulot ! Le pré-cuit, le pré-maché, le digest c'est indigeste. Ca fait crever les sociétés... et les "promotions" d'étudiants.
Ma bonne dame, mon bon monsieur, notre promotion universitaire : trois années d'études pour le prix d'une ! Pas d'examens, pas de dossiers, pas de livres à lire, de cours à suivre, d'exercices à pratiquer. Et le wifi pour tous.

Madame la boulangère, du pain pas cuit s'il vous plait ! que de fois j'entends cette demande formulée par de jeunes clients ... Le femme du boulanger, elle en a de la chance ! bientôt elle ne sera plus réveillée en pleine nuit par son boulanger de mari. Merci client, merci client.

la première connaissance objective ... une première erreur

2008-02-24T17:10:00.003+01:00

"Au spectacle des phénomènes les plus intéressants, les plus frappants, l'homme va naturellement avec tous ses désirs, avec toutes ses passions, avec toute son âme. On ne doit donc pas s'étonner que la première connaissance objective soit une première erreur."

Gaston Bachelard, La formation de l'esprit scientifique, Vrin, page 54

Le programme de la conférence FORMED 2008, Budapest

2008-02-14T15:58:00.000+01:00

ICI

Votre déclaration d'amour pour la Saint-Valentin

2008-02-14T11:50:00.000+01:00

Robert Solé dans son billet du Monde de ce jour, nous informe que la Cité des sciences et de l'industrie de Paris propose son assistance.Sur le site http://www.cite-sciences.fr/declaration-st-valentin/, vous indiquez le prénom de l'élu(e), sa qualité première, la couleur de ses yeux, son adresse électronique, et en moins d'une seconde la machine lui envoie un joli poème de votre part.Robert Solé a essayé ... lire son papier

Je vous offre un psychothérapeute

2008-02-13T16:06:00.004+01:00

"Les enseignants doivent de nos jours être des personnes à l'écoute des problèmes des élèves"
a dit ....
alors, voici

ICI

Parlez-lui en Anglais.

Je vous adresserai ses honoraires. Paiement en euros, cartes acceptées : Visa, Master card, American Express

Mais si vous voulez une thérapie en français, c'est moins cher, mais donc bien moins efficace. Lisez Freud !

ICI

Les TD au labo d'automatisme

2008-02-13T11:04:00.001+01:00

ICI

Du fait du comportement de la majorité d'étudiants d'il y a 3 ans, vous en avez de la chance !
ces td sont supprimés.

Economie : le département informatique n'a plus à participer au financement du labo et comme ses étudiants séchaient ces td, on a amélioré nos performances !

Ma poubelle n'était pas vidée

2008-02-11T19:17:00.000+01:00

J'ai donc le cours de parallélisme (projet Européen Papillon).

Le parallélisme, un dictionnaire en ligne

2008-02-11T18:21:00.000+01:00

ICI

et n'oubliez pas les pages du module SPEC2 (je me répète. D'aucuns disent que c'est de la bonne pédagogie. Je ne le pense pas !)

Autre chose : vous avez maintenant les sujets des "PT".
J'ai vu que mon sujet a été découpé en plusieurs sujets. Il faut considérer que mes questions font un tout cohérent. Cherchez le lien...

J'avais proposé (un courriel envoyé à tous) un cours complet sur le parallélisme. Pas de réponse, il est passé à la poubelle. Il avait été financé par des fonds européens. Bof, bof, bof...

Je vous rappelle que les photos des tableaux de cours et de TD de 2006-2007 sont sur ce bloc-notes

2008-02-11T15:52:00.000+01:00

...je sais, il faut y naviguer un peu. Mais les voyages forment la jeunesse !

Cours du 11 février 8h15-9h15

2008-02-11T11:49:00.000+01:00

Amphi 4

Le cours s'est déroulé par une belle matinée. Ciel tout bleu. Froid sec agréable à 8h 15. Amphi bien chauffé.

11 absents du groupe 1
19 absents du groupe 2
7 absents du groupe 3
18 absents du groupe 4

J'ai traité :

J'ai distribué une petite spec en B. Il s'est agi de faire le diagramme de transition d'états. J'ai fait un automate simple et un automate structuré (un automate de Harel).
La prochaine fois, je ferai la spec en B événementiel
le renommage. Illustré par des chaussettes thaïlandaises et des gants français et par un exemple en FSP(LTSA) Client/Serveur
le produit de processus (avec FSP)
la sémantique du losange pour le parallèlisme. Illustrations avec exemples en FSP
processus types et instances de processus types (processus) en FSP
un exemple de partage de ressources

Ca c'était pour avoir l'essentiel de LTSA pour pouvoir l'utiliser pour les différents exercices de td

Je suis passé alors aux

Réseaux de Petri, avec un exemple. J'ai fait l'automate (un état est un vecteur de marquage). J'ai bien insisté : avec les RDP, il ne s'agit pas de déplacement de jetons. Un marquage d'une place avec 2 jetons n'est ni plus ni moins que dire que cette place a pour valeur l'entier 2.
Il n'y a pas forcément conservation du nombre de jetons. Il peut y avoir dans un problème donné, un invariant qui dit par exemple que le marquage de telle place + le marquage de telle autre doit toujours être égal à 5. Mais cela n'est pas une loi générale des RDP !

J'ai distribué un texte complément au cours de Michael Jackson et un texte sur le modèle relationnel avec la notation NIAM. Bien sûr, il y aura des questions du DS sur ces textes.

J'ai à la disposition des étudiants intéressés, un texte rédigé par J.F. Monin et J. Sifakis (Prix Turing) intitulé "Eléments de classification des méthodes formelles". On y retrouve notre programme de Spec1 et celui de Spec2.

Portail de la sécurité informatique

2008-02-09T21:44:00.000+01:00

ici

Model-checking

2008-02-09T21:38:00.000+01:00

Interview très courte de J. Sifakis sur le Model Checking. Pour ceux qui ont raté le cours ... et les TD !

Model checking à Carnegie Mellon

2008-02-05T21:33:00.000+01:00

http://www.cs.cmu.edu/~modelcheck/

Joseph SIFAKIS, premier prix Turing français

2008-02-04T21:00:00.000+01:00

Le français Joseph Sifakis vient d'obtenir
le prix Turing 2007. C'est le
premier français obtenant ce prix, considéré
comme "le Nobel de
l'informatique". Joseph Sifakis est un
spécialiste du "model checking".
Il y a deux approches de la vérification
des logiciels :
- la preuve que nous traitons dans le cadre
de notre enseignement de la méthode B dans
notre module Spec1  en première année d'IUT
- la "vérification de modèles" que nous traitons
dans le cadre de notre module Spec2 en première
année d'IUT.
(Mais nous NE traitons pas des algorithmes de
"model checking").
Parmi les techniques utilisées en "model checking"
il y a les BDD (ne pas confondre avec les Bases De
Données ou avec les Bases de Données Déductives !)
lire ici
http://www2.cnrs.fr/presse/communique/1280.htm
http://www.acm.org/press-room

Il a obtenu ce prix avec Avec Edmund Clarke
(Carnegie Mellon University, USA)
Allen Emerson (University of Texas, Austin, USA).

Ces deux universités américaines sont bien
connus pour leurs travaux en informatique et ont
déjà eu des Prix Turing.

Les pages web de Joseph Sifakis

Extrait d'une courte présentation de Joseph Sifakis
et Jean-François Monin dans Arago 20
Applications des techniques formelles au logiciel,
Observatoire Français des Techniques Avancées,
Lavoisier, ISBN 2-906028-06-1

"On peut distinguer deux approches principales à
la vérification :

celle qui met en oeuvre un système d'inférence, i.e. un ensemble bien défini et formalisé de règles de raisonnement issues de la logique (modus ponens, récurrence, substitution de valeurs égales, etc.) ; les outils de support sont des assistants à la preuve (PVS, HOL, Coq, atelier B, LP,...)
celle qui se fonde sur la construction d'un modèle généralement fini qui représente le système de transition représentant le comportement de l'application modélisée. La vérification des propriétés s'effectue en parcourant exhaustivement ce modèle. Les outils support sont basés sur le principe de l'évaluation des propriétés sur un modèle, connu sous le nom de model checking (MEC, Caesar-Aldebaran, Auto, Spin, Cospan, SMV, ...)

[...] concernant la seconde approche, des techniques de représentation implicite ou symbolique des états permettent de condenser la représentation du modèle. Notons, en particulier, la technique des BDD pour la représentation symbolique des fonctions booléennes, qui trouve des applications intéressantes à la vérification des systèmes à états finis."

Génie logiciel, nouvelles de l'industrie

2008-02-04T09:58:00.000+01:00

Nouvelles de l'industrie :

http://www.siemens.com/index.jsp?sdc_p=pofc58l2smnu18

Siemens utilise la méthode B, comme vous tous !

Le cours du 4 février 2008

2008-02-04T09:38:00.000+01:00

Comme annoncé (mais le nombre d'étudiants qui est allé sur ce blog pour préparer le cours ne dépasse pas le nombre de doigts d'une main !), il y a eu l'exposé de Michaël Jackson.

Les nouvelles technologies qu'ils disent ! ya ka faire de li teaching pour remonter le niveau ... des profits des marchands d'ordinateur !

pourquoi ne pas commencer par décrire les entrées et sorties des opérations (en B on dirait les signatures)
pourquoi un schéma conceptuel de données est généralement illisible (langue de bois) si l'on n'a pas défini les événements du système et leur ordonnancement
il n'y a des objets que parce qu'il y a du parallèlisme
exemple de la bibliothèque
le livre id345 est-il à la bibliothèque ? non sens de la question si on n'a pas défini quel sens a "est à". Je vous renvoie à mon cours sur les 4 sens du verbe être et sur la structure de la phrase d'Aristote (Objet copule attribut)
la communication par flot de données et par vecteur d'états (asynchrone)

J'ai terminé l'exposé sur l'encapsulation vs l'ensemble des vecteurs d'état des processus mis en variables globales.

L'exposé est sur publicinfo, dossier dvd, sous-dossier video-ts, sous-sous dossier VTS-01

Prochain cours portera sur :

- qu'est-ce qu'un état ?

- parallèlisme

- communication entre processus

- deadlock, livelock, progression

Michaël Jackson, à Nantes, lundi 4 février 2008

2008-02-02T13:54:00.001+01:00

à 8h 15, Amphi 4, 3 rue Ml Joffre

Pour en savoir plus :

* Michael A. Jackson

http://en.wikipedia.org/wiki/Michael_A._Jackson
http://mcs.open.ac.uk/mj665/

et
http://www.iut-nantes.univ-nantes.fr/~habrias/spec2/jsd.html

Attention, se méfier de la "non univocité des noms" !

Michaël Jackson, à Nantes, lundi 4 février 2008

2008-02-02T13:54:00.000+01:00

à 8h 15, Amphi 4, 3 rue Ml Joffre

Pour en savoir plus :

   * Michael A. Jackson

http://en.wikipedia.org/wiki/Michael_A._Jackson
http://mcs.open.ac.uk/mj665/

et
http://www.iut-nantes.univ-nantes.fr/~habrias/spec2/jsd.html

Attention, se méfier de la "non univocité des noms" !

L'informatique ?

2008-02-01T15:52:00.000+01:00

Je viens de retrouver un extrait d'un livre, dont j'ai perdu la référence.

Voici le titre du chapitre 3

"A test for practitioners of the science/art/craft/trade/racket of software design and development"

et ces deux citations :

"Ignorance, when voluntary, is criminal, and a man may be properly charged with that evil which he neglected or refused to learn how to prevent."
Samuel Johnson (1709-1784)

"Pure mathematices do remedy and cure many defects in the wit and faculties of individuals; for if the wit be dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it."
Francis Bacon (1561-1626)

Je tiens à votre disposition le test.

A étudier avant le prochain TD

2008-02-01T13:37:00.000+01:00

Allez à
http://informatiqueetorganisationsociale.blogspot.com

pour être prêts à répondre à la question que je poserai lors du projet TD.
Lire ce qui concerne "l'affaire de la Société Générale"
et lire dans http://nantespec1.blogspot.com
ce qui concerne Nabuco et Sifiac

Exercice. Faisons feu de tout bois

2008-02-01T12:27:00.000+01:00

Je reçois ce courriel du directeur du labo d'informatique de Nantes.

A faire : l'automate (le diagramme de transition d'états) du processus. Vous étiquetterez les transitions par les événements.

"Bonjour à tous,

Le CNRS et le précédent conseil du LINA viennent de donner leur accord pour la composition de notre nouveau conseil de laboratoire.Nous vous proposons donc d'organiser l'élection de ses membres élus selon l'agenda ci-dessous et les règles décrites dans un courriel (un peu long) à suivre.Ce conseil joue un rôle essentiel dans la vie du laboratoire dont il rythme les prises de décision importantes.Nous vous invitons donc à vous porter nombreux candidats.

Pierre Cointe et Béatrice Daille

PS.

Agenda
vendredi 8 février12h00 : date et heure limites de modification des listes
jeudi 14 février 18h00 : date et heures limites de déclaration des candidatures
lundi 3 mars 10h00 : date et heure de début de réception des bulletins de vote aux trois secrétariats du LINA
vendredi 7 mars 12h00 : date et heure de clôture de réception des bulletins de vote aux trois secrétariats du LINA "

Le cours du 28 janvier 2008

2008-01-28T10:53:00.000+01:00

- J'ai récupéré les travaux à faire chez soi
- j'ai illustré ce qu'il y avait à faire en l'application à l'American Film Star de M. Jackson.
- je suis passé d'un automate de Moore à un automate de Mealy
- j'ai traité des automates cellulaires (le jeu de la vie de Conway)
- je suis passé d'arbres Jackson à des specs en FSP (atelier LTSA)
- j'ai introduit la communication entre processus
- le produit d'automates étiquetés
- vous pouvez installer LTSA sur vos machines persos (c'est gratuit)
- voir les messages sur ce bloc-notes (consultez ceux de l'an dernier)

Prochain cours :

- je continuerai sur FSP
- composition parallèle de processus séquentiels
- deadlock
- diagramme de transitions d'états d'une spec FSP

Le cours est disponible sur la Toile (lire ce bloc-notes)

Complexité, un mot vide de sens, ou trop plein de vide ?

2008-01-27T11:10:00.000+01:00

Etonnant chez des informaticiens !

Alors, lisons les auteurs ...
J-P Delaye dans son beau livre, Les inattendus mathématiques, Belin, page 35, nous parle de la "complexité de Kolmogorov"
En sciences éco j'avais appris le "test de Kolmogorov-Smirnov".

"La complexité de Kolmogorov d'un objet est la taille du plus petit programme d'ordinateur qui spécifie complètement cet object. Pour un dessin ou une peinture, c'est la taille du plus petit programme qui permet de reproduire l'image de l'oeuvre sans rien perdre de ce que nous en percevons. L'idée de Kolmogorov est simplement de rendre formelle l'intuition commune que "le simple est ce qui se dit en peu de mots" et "le complexe est ce qu'on ne réussit pas à comprimer quoi qu'on fasse."

Je vous rappelle que nous distinguons :
- le complexe, intrinsèque au problème, à l'objet
- le compliqué : utiliser la numération romaine est introduire de la complication dans les opérations arithmétiques (les programmes), utiliser des notations non formelles est introduire des complications, des discussions inutiles dans la conception de systèmes automatisés. (voir mes questions de Projet Tuteuré)

Et citons de nouveau Nicolas (cité dans le poly spec1) :

"Ce qui se conçoit bien s'énonce clairement Et les mots pour le dire arrivent aisément."

Nicolas Boileau, L'art poétique, Chant I.

"faux et usage de faux et atteinte au système de traitement informatisé de données"

2008-01-26T21:29:00.000+01:00

Dernières nouvelles :
"L'enquête préliminaire ouverte jeudi après-midi par le parquet de Paris est étendue aux faits de "faux et usage de faux et atteinte au système de traitement informatisé de données", visés par la plainte de la banque. Elle avait été ouverte à la suite de la plainte contre X déposée par un petit porteur pour "escroquerie, abus de confiance, faux et usage de faux". La brigade financière est saisie de cette enquête. "

et le blog qui nous amène au coeur du comment. On comprend un peu ... Excel, mots de passe, procédures, etc. Enfin des tas de choses qui font partie d'un cours de génie logiciel et de sécurité.

Lire aussi ici
Lire l'article du Monde

La modélisation et la vérification des procédures de sécurité utilisent entre autres les techniques que nous étudions dans ce module.

Pour ceux qui ont raté le premier cours

2008-01-26T08:41:00.000+01:00

ou qui y faisaient autre chose qu'écouter et prendre des notes
et qui consultent ce bloc-notes, voici ce que j'ai traité :

- la prise en compte d'une "variable d'état" dans un schéma relationnel n-aire, exemple des commandes (livrée, facturée, réglée, en contentieux ...) avec un automate
- écriture de la fonction de transition d'états (fonction si automate déterministe !)
- diagramme de transition d'état simple, état initial, final
- étiqueté par événements
transitions : ETAT * EVENEMENT +-> ETAT
- avec gardes (on verra qu'en B événementiel, un événement est modélisé comme une opération gardée. Revoir l'axiome de la garde vs celui de la précondition. En DS je demandais celui du choix indéterministe. [CHOICE S OR T] I <=> [S] I & [T] I
- avec sorties, Mealy et Moore
- structuré , state-charts de Harel (états disjoints, états parallèles, macro-états)
- pliage, dépliage (exemple avec automates, exemple avec graphe de flot de contrôle d'un programme. Rappel de b a ba de programmation : nichage et séquencement.
- Expressions régulières, notation des arbres de Jackson, exemple du processus Livre, modélisation en parallèle en termes de processus et en termes ensemblistes (B ou relationnel n-aire) , vérif de cohérence entre les deux modélisations
- Le théorème de Kleene. Avant de venir en cours vous deviez lire l'histoire du concept d'automate dans le poly des sujets de TD
- Rappel : voir algo de Yamada de passage d'un automate à une expression régulière. Le cours de maths est à utiliser, réutiliser.

Les deux premiers cours de ce jour

2008-01-25T14:00:00.000+01:00

J'ai traité ce que j'avais annoncé ici.
Pour assister au prochain cours, vous devrez me remettre en entrant dans l'amphi :
- le dépliage des deux automates de Harel fournis au tableau
- l'expression régulière ou l'automate pour l'American Film Star

Comme annoncé, je ne mettrai pas cette année sur ce bloc-notes les photos des tableaux noirs de mon cours.
Consultez les messages de l'an dernier.

Et les chapitres du poly de spec1 qui traitent de :

- B événementiel
- automates

La vie des véhicules à moteur

2008-01-24T08:50:00.001+01:00

Faire le diagramme états-transitions étiqueté, avec transitions gardées, pour spécifier :

- l'ancien système d'identification des véhicules
- le nouveau système d'identification des véhicules
- proposez une mesure de la complexité d'un système, mesure qui utilisera les automates
- évaluez les deux systèmes
- y-a-t-il simplification ?

Ensuite proposez votre travail à Monsieur Attali et à sa commission, ou directement à Monsieur Sarkozy.
Ça fait 40 ans que chaque gouvernement français nous sort cette scie "simplification administrative" ...

Module Spec2, 2007-2008

2008-01-23T09:24:00.000+01:00

Les deux premiers cours auront lieu vendredi matin prochain.

Vous devez avoir lu AVANT de venir en cours, l'introduction du poly des sujets de TD sur l''histoire du concept d'automate.
En début de cours, j'attends vos questions. Le mieux, me les adresser via les messages de ce bloc-notes ainsi tout le monde sera au courant.

Je vais traiter :

- La prise en compte des états d'évolution dans une modélisation relationnelle n-aire "à la Codd"
- Les différents types d'automates
- simple
- déterministe/indéterministe
- avec sorties : de Mealy, de Moore
- avec gardes
- structurées : automates de Harel
- j'en donnerai une sémantique en utilisant B (Eh oui, il faut casser le découpage en modules, désastreux !)

Tout sera illustré par des exemples. Ce ne sera pas un cours de maths pour l'info.

Vous pouvez trouver les photos du tableau du cours de l'an dernier sur ce même bloc-notes.

Récupérer les dossiers de TD ce jour à mon bureau via les représentants de groupes.

P.S. les intervenants en TD seront informés comme vous via ce blog.

Corrigé des questions du PT 2007

2007-06-27T15:25:00.001+02:00

Corrigé

 1)
 Il existe des langages de programmation
sans variables.
 1.1) citez-en un  (ou le nom d'un type
de langage entrant dans cette
 catégorie)
 Langages fonctionnels, exemple : Caml
 1.2) quels en sont les concepts essentiels ?
fonctions, composition de fonctions,
application de fonctions

 2)
 Il existe des langages de spécification
sans variables.
21) B est-il sans variables ?
non.
 Il existe des langages de spécification
qui  sont fondamentalement sans
variables, même s'ils sont parfois mixtes
(i.e. utilisent des
 variables).
 2.2) Citez celui que vous avez utilisé à
l'IUT
 FSP avec l'atelier LTSA
 2.3) Qu'est-ce qu'un état défini en termes
des concepts de ce langage.
 Donnez un exemple illustratif.
 Un état est un comportement possible.
 Exemple de la lampe :
 ETEINTE = (tirage -> ALLUMEE),
 ALLUMEE = (tirage --> ETEINTE).
Les états sont ETEINTE et ALLUMEE.

3) Prenez l'exemple de la lampe que
l'on allume en tirant une ficelle et
que l'on éteint en retirant la ficelle
pour illustrer les concepts :
3.1) d'événement
 ce qui entraîne un changement d'état.
tirage de la ficelle
 3.2) d'état
un comportement possible. Ici dans
l'état ETEINTE, on ne peut que tirer
 sur la ficelle. Idem d'ailleurs pour
l'état ALLUMEE.
3.3) utilisez cet exemple que vous
spécifierez en B classique et en B
 événementiel (Invariant et les
opérations allumer et éteindre) et en FSP
pour illustrer vos réponses à la question 2.
MACHINE
 lampeClassique
SETS
 ETAT = {allumee, eteinte}
VARIABLES
  etatLampe
INVARIANT
 etatLampe : ETAT
INITIALISATION
  etatLampe := eteinte
OPERATIONS
  allumer =
    etatLampe := allumee;
  eteindre =
    etatLampe := eteinte
  END

MACHINE
  lampeEvénementiel
SETS
  ETAT = {allumee, eteinte}
VARIABLES
  etatLampe
INVARIANT
  etatLampe : ETAT
INITIALISATION
  etatLampe := eteinte
OPERATIONS
  allumer =
   SELECT etatLampe = eteinte THEN
   etatLampe := allumee
  END;
  eteindre =
   SELECT etatLampe = allumee THEN
    etatLampe := eteinte
  END
END

FSP

  ETEINTE = (tirage -> ALLUMEE),
  ALLUMEE = (tirage --> ETEINTE).

ou sans expliciter les états :
   LAMPE = (tirage -> LAMPE).


3.4) Fournir le diagramme de transition
d'état étiqueté du comportement
de la lampe.
Deux ronds étiquetés l'un par allumée
et l'autre par éteinte.
Des flèches entre les ronds :
- une de éteinte vers allumée
- une de allumée vers éteinte
-selon l'état initial choisi,
une flèche pointant sur un des
ronds et n'ayant pas
de rond au départ de la flèche.
Flèche étiquetées chacune par tirer

4) Soit le texte suivant :
(Il s'agit du percement du tunnel
sous le Mont-Blanc) " [...] C'est
 pourquoi, à cette époque, on avait
envisagé que sur les 12 600 mètres de
longueur totale du tunnel, les Italiens
perceraient 6 750 mètres de
galerie et les Français 5 850 mètres,
afin que la rencontre s'effectue
 au
 même moment." (Article paru dans
L'Economie, n° 826, 14 juin 1962).
4.1) Vos remarques pertinentes
Se rencontrer en même temps est un pléonasme !
Tant que l'autre n'est
pas au rendez-vous, la rencontre n'a pas
lieu (la communication) !
 4.2) Utilisez-le pour illustrer le type
de communication qui est utilisé
 en FSP (LTSA) et en CCS
C'est le rendez-vous qui est utilisé en FSP.
La communication s'y fait
lorsqu'on trouve le même nom d'événement
dans la spécification de deux
processus.

 4.3) Quel est le nom donné à ce type
de communication ?
 communication par rendez-vous (synchronisme)
 4.4) Donnez un exemple d'un système
ayant un verrou fatal (spécifiez en
 FSP)

Exemple de système avec verrou fatal :
P1 = (a -> b -> P1).
 P2 = (b -> a -> P2).
 ||SYS = (P1 || P2).

Commentaires en vrac :
Mes questions portaient sur des choses élémentaires :
- grands types de langages de programmation (y voir un peu clair en find de 1ere année)
- mathématiques (composition de fonctions, application de fonctions)
- état, événement
- communication par rendez-vous
- verrou fatal
Il s'agissait d'illustrer en partant d'un exemple fourni.
Le corrigé vous est fourni.
==========================================

J'ai lu des phrases recopiées (j'espère qu'elles ont été mal recopiées) je ne sais où et particulièrement fumeuses.
Vous disposiez des polycopiés et sinon des cours rédigés par des enseignants compétents. Alors n'allez pas chercher ce qui est très mauvais !

Voici des textes (je n'ai pas corrigé l'orthographe) peu utiles car trop fumeux :

"le type de programmation fonctionnelle consiste en une suite de fonction"
"les états sont tous les états ..."

Il semble que beaucoup ont des difficultés de lecture du français.
A la question "qu'est ce qu'un état défini en termes des concepts de ce langage ? " (le langage est celui que l'étudiant a énoncé comme réponse à la question précédente)
j'ai lu plusieurs fois :

"un état défini est un état ...."
et bien rarement une définition exprimée avec les concepts de ce langage.

Si on a choisi FSP ou CCS, un état est défini en termes des conceps de FSP (à savoir "actions" ou "événements") comme étant la suite d'actions possible quand on est dans cet état.

Cela a été répété et illustré maintes fois, en particulier quand j'ai fait le graphe de transition d'états où je décrivais justement chaque état par une "expression d'agents" (une suite d'actions).

J'ai la preuve ! voir le présent blog spec2 !

J'ai trouvé aussi pas mal de contradictions :

"B est un langage de spécification avec variables.
Un exemple de langage de spécification sans variables est B"

L'orthographe est trop souvent du n'importe quoi. Svp apprenez le minimum d'orthographe française. C'est utile pour pouvoir spécifier en français.

J'ai eu des remarques étonnantes en termes économiques en ce qui concerne le tunnel sous le Mont-Blanc. On m'a parlé de vitesse, de rentabilité, d'efficacité. Il serait bon d'étudier les concepts élémentaires d'économie.

Je rappelle que je demandais d'utiliser le texte pour illustrer un type de communication (et je précisais même "qui est utilisé en FSP et en CCS". Ce faisant je donnais une réponse à une précédente question. Un effet de bord !)

Etonnant : les événements "tirer la ficelle" et "retirer la ficelle" et pourquoi pas "retirer retirer retirer" ?
l'événement en FSP ne se définit pas en termes d'autres événements. L'ensemble des événements est un ensemble d'éléments atomiques.

LAMPE = (tirer -> LAMPE).

ou si on veut nommer les états

ETEINTE = (tirer -> ALLUMEE),
ALLUMEE = (tirer -> ETEINTE).

si on considère deux autres événements : { allumer, éteindre}

ETEINTE = (tirer -> allumer -> ALLUMEE),
ALLUMEE = (tirer -> eteindre -> ETEINTE).

Sans référence à une théorie, il est difficile d'écrire des choses cohérentes. Merci R. Milner, T. Hoare !