Le scandale de l'informatisation des retraites au Japon

"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

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

- 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é ...

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é

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

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

"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

... 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

ICI

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

"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)

"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')

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

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)

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

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

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 ...

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

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

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

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

"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 ?

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

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

Une belle question pour le DS


- Exposé au CNRIUT de Brest (2006)

Le corrigé de l'exercice

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

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

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 OuraganClearSy 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

"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

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