SART

Transparents Support de cours

FICHE TECHNIQUE

Objectifs du stage

Ce cours présente la méthode de spécification la plus adaptée actuellement pour les systèmes et logiciels temps réel SA/RT, méthode supportés par les outils de génie logiciel SFIM.

Il doit permettre à la fin du stage de :

connaître la démarche à appliquer pour construire ce type de spécification.

Méthodes

Matériel utilisé : rétro-projection d'écran PC

Type de formation entièrement théorique

Durée : 3 heures 30

Conditions d'accès

Niveau requis : Agent technique ou ingénieur

Métier : logiciel ou système

Connaissances : cycle de vie du logiciel, spécification

Présentations préparatoires : lire une spécification SA/RT

PROGRAMME

RAPPELS

LA DEMARCHE SA/RT

Acquerir Les Informations Sur Le Systeme

Definir Le Contexte

Decomposer/Dessiner Le Premier Niveau

Ecriture Des Pspecs

Ecriture Des Cspecs

EXPLOITER LES OUTILS

Comment suivre un plan-type imposé avec TEAMWORK ou SELECT

Qelles informations ajouter

EXERCICE

Réalisation sur papier d'un exercice

Accueil ] Remonter ]