![]() |
Pages récentes![]() |
Page modifiée à 15:28, 19 Avr 2016 par FredericMallet
Frédéric Mallet > M1 IFI - Informatique Embarquée et mobile
M1 IFI - Informatique Embarquée et mobileDe $1Cette page s'adresse aux étudiants du M1 IFI Ce module regroupe un certain nombre de sujets liés à la conception de systèmes embarqués. Il commence par une description assez haut niveau de plusieurs modèles mathématiques pour la conception de systèmes embarqués. Il enchaîne sur la mise en oeuvre d'environnements pour la vérification de propriétés fonctionnelles et temporelles. Ces environnements reposent très largement sur les modèles présentés antérieurement. Le module enchaîne ensuite sur des modèles d'ingénierie et fait le parallèle avec les modèles mathématiques étudiés précédemment. On s'intéresse alors essentiellement à l'utilisation concrète de ces modèles d'ingénieurs, de leur manipulation, persistence et transformation. On conclut par une introduction rapide à la programmation mobile pour Android. Systèmes embarqués et concurrents
Analyse Fonctionnelle et Temporelle
Modèles: Représentation, Persistence et transformations
Récupéré depuis "http://miageprojet2.unice.fr/index.php?title=User:FredericMallet/M1_IFI_-_Informatique_Embarqu%C3%A9e_et_mobile"
Mots clés:
![]()
![]() ![]() Vous devez être connecté pour poster un commentaire. |
||||||||||||||
Powered by MindTouch Deki Open Source Edition v.8.08 |
Affichage Détails: