systèmes embarqués

[invite3b1dcedc]

bonjour à tous;
pour le développement des systèmes embarqués, c'est quoi la méthode à base de SysML?
pouver vous aussi m'aider à trouver des cours sur les systèmes embarqués
merci;
-----

[Shaiton]

Bonjour,
as-tu cherché ne serait-ce qu'un peu ?
http://en.wikipedia.org/wiki/SysML
System Modeling langage, SYSML.

Tu connais l'UML ? Tu devrai commencer par là, l'Unified Modeling Langage.
C'est des techniques graphiques qui te permettent de représenter le systeme orienté objet.

Donc pour commencer, aprend l'UML
D'ailleurs, tu as entendu parlé du SysML ou ?

Quels genre de cours tu cherches, plutot programmation (C++ par exemple), ou design (UML, SysML) ?

Quels sont tes connaissances ? Pourquoi ca t'interesse, tu veux t'avancer ?


Autant de question qui nous permettrait de mieux t'orienter

- C'est trop bon les systemes embarqués

[invite3b1dcedc]

bonjour Shaiton;
bref, pour moi je n'ai aucune idée sur les systèmes ambarqués je veux juste savoir les notions de base c.à.d. les définitions, l'architecture, le fonctionnement des systèmes embarqués.
pour la méthode à base de SysML j'ai trouvé cela dans un cour mais j'ai pas compris cette methode.
have a nice day

[invite2d5726ab]

Salut ,
j'ai besoin des doc détaillé sur les système embarqués .
merci

[A voir en vidéo sur Futura]

[invite3b1dcedc]

Salut ,
j'ai besoin des doc détaillé sur les système embarqués .
merci

bonjour;
bref;moi aussi je recherche des cours sur les systèmes embarqués et j'ai trouvé quelques documents.

[invite2d5726ab]

bonjour;
bref;moi aussi je recherche des cours sur les systèmes embarqués et j'ai trouvé quelques documents.

Merci la gitane ,
mais j'arrive pas à telecharger la doc,est ce que ca prend bcp de temp la validation des pieces jointes ?
de ma part je te donne le lien
ftp://ftp-developpez.com/kadionik/sy...x-embarque.pdf
il contient une partie sur les systèmes embarqués mais il n'est pas suffisant pour moi .
merci bcp .

[invite3b1dcedc]

Merci la gitane ,
mais j'arrive pas à telecharger la doc,est ce que ca prend bcp de temp la validation des pieces jointes ?
de ma part je te donne le lien
ftp://ftp-developpez.com/kadionik/sy...x-embarque.pdf
il contient une partie sur les systèmes embarqués mais il n'est pas suffisant pour moi .
merci bcp .

slt;
je n'ai aucune idée pour le telechargement des document à partir du forum mais, 2 parmis ces documents se situent dans le lien suivant:
http://www.cert.fr/francais/deri/bon...emb/index.html
et l'autre:
http://marpix1.in2p3.fr/calo/my-web/.../cours%201.pdf
merci & have a nice day

[invite2d5726ab]

slt;
je n'ai aucune idée pour le telechargement des document à partir du forum mais, 2 parmis ces documents se situent dans le lien suivant:
http://www.cert.fr/francais/deri/bon...emb/index.html
et l'autre:
http://marpix1.in2p3.fr/calo/my-web/.../cours%201.pdf
merci & have a nice day

ok merci pour les liens mais ils ne sont pas détaillé pour moi ,j'ai tout un chapitre à faire sur les systèmes embarqués
mais merci bcp .
je te donne ca aussi :
http://rapidshare.com/files/19641248..._2006.pdf.html

[invite3b1dcedc]

j'aimerai bien vous aider mais, je ne suis pa expert dans le domaine.
donc
merci por les liens

[invite2d5726ab]

je sais , merci bcp la gitane
j'ai passé bcp de temp dans la recherche et j'ai rien trouvé

[JPL]

En règle générale il vaut mieux donner des liens que de recopier ici des documents qui ne vous appartiennent pas. Cela s'appelle le respect de la propriété intellectuelle.

[Shaiton]

Je vous donnerai bien mes cours, mais vous n'auriez pas le mot de passe ^^

C'est marrant, j'avais crus envoyer des références de livre ... Je n'ai pas vérifié que le message avait été validé.

Les cours que j'ai eu sont basés sur
computer as components de Wayne Wolf
http://www.waynewolf.us/embedded-book-2e/

Et Real-Time Design Patterns de Bruce Powel Douglass
(Design patterns ce sont des exemples de solutions à des problèmes. Par exemple, on va modéliser de "telle" manière, lorsqu'on veut synchroniser des threads. C'est le "randezvous pattern" mdr)

Bonne lecture !!

[invite2d5726ab]

Merci pour le lien Shaiton .

[invite2d5726ab]

Je vous donnerai bien mes cours, mais vous n'auriez pas le mot de passe ^^

C'est marrant, j'avais crus envoyer des références de livre ... Je n'ai pas vérifié que le message avait été validé.

Les cours que j'ai eu sont basés sur
computer as components de Wayne Wolf
http://www.waynewolf.us/embedded-book-2e/

Et Real-Time Design Patterns de Bruce Powel Douglass
(Design patterns ce sont des exemples de solutions à des problèmes. Par exemple, on va modéliser de "telle" manière, lorsqu'on veut synchroniser des threads. C'est le "randezvous pattern" mdr)

Bonne lecture !!

Avez-vous des informations sur la vérification de code pour les systèmes embarqués ?

[invite2d5726ab]

salut,
autre question svp :
pour réaliser un vérifieur bytecode javacard ,jusqu'à maintenant j'arrive pas à comprendre l'utilité de ce vérifieur si on a la machine virtuel qui vérifié le code ?
et pourquoi on a besoin d 'utiliser les méthodes formelles (comme B ou Coq ou ....) ? est ce qu'on vérifié le code avant le chargé dans le système embarqué oubien on verifiant la rélisation de notre verifieur bytecode ?
j'attends votre réponse