Compare commits
No commits in common. "74036fd3046b127b5902059ea9d54825a7d06bab" and "f571f397832cb730e83b35bf7b2390acadb3d23a" have entirely different histories.
74036fd304
...
f571f39783
7 changed files with 0 additions and 391 deletions
|
|
@ -1,14 +0,0 @@
|
|||
# Introduction
|
||||
|
||||
Des ensembles de systèmes organisés par une architecture.
|
||||
C'est un enemble de règle de communication et d'organisation offrant des garanties sur les systèmes qui les appliquent.
|
||||
|
||||
Objectifs :
|
||||
- réduire la complexité du logiciel en structurant les composants.
|
||||
- Déterminer la capacité d'un logiciel à atteindre des objectifs.
|
||||
- Optimiser les processus de développements (programmation, test, documentation, support, maintenance).
|
||||
|
||||
- Compréhension
|
||||
- Construction
|
||||
- Réutilisation
|
||||
- Gestion
|
||||
98
bus/init.md
98
bus/init.md
|
|
@ -1,98 +0,0 @@
|
|||
# Multiplexage
|
||||
|
||||
## Pourquoi ?
|
||||
|
||||
Machines à plusieurs objectifs.
|
||||
|
||||
- sécurisation
|
||||
- réduction de consomation
|
||||
- confort de conduite
|
||||
|
||||
Grand nombre de périphériques à connecter.
|
||||
|
||||
### Conventionnalité : une connection par liaison nécessaire :
|
||||
|
||||
```
|
||||
+---+ +---+
|
||||
| A |---| B |
|
||||
| |-+ | |
|
||||
+---+ | +---+
|
||||
| |
|
||||
| +---+
|
||||
+-| C |
|
||||
+---+
|
||||
```
|
||||
|
||||
- Nombre de connections exponentelle.
|
||||
- Difficile à mettre à jour.
|
||||
|
||||
### Multiplexage : une connection commune en 'réseau'.
|
||||
|
||||
```
|
||||
+---+ +---+
|
||||
| A |-+-| B |
|
||||
+---+ | +---+
|
||||
|
|
||||
| +---+
|
||||
+-| C |
|
||||
+---+
|
||||
```
|
||||
|
||||
- Nombre de connections linéaire.
|
||||
- Disponibilité de l'information.
|
||||
|
||||
## Avantages
|
||||
|
||||
- moins de capteurs et de nombres de liaisons
|
||||
- le poids et les couts diminuent
|
||||
- extensibilité avec un cout minimal
|
||||
- reconnu par une norme iso de fiabilité
|
||||
|
||||
## Principes
|
||||
|
||||
- un capteur par donnée nécessaire
|
||||
- échange de donnée sur un cannal global.
|
||||
|
||||
### Détail
|
||||
|
||||
- Un réseau unifié
|
||||
- Structuration des trames
|
||||
- Synchronisation des horloges
|
||||
- Arbitrage, priorisation de l'accès au Bus
|
||||
|
||||
## Architecture en couches
|
||||
|
||||
### étage d'entrée
|
||||
|
||||
Interface avec les capteurs
|
||||
|
||||
### étage de calcul
|
||||
|
||||
Le microprocesseur
|
||||
|
||||
- contient possiblement des mémoires
|
||||
|
||||
### étage de sortie
|
||||
|
||||
Interface avec les actionneurs
|
||||
|
||||
## Architecture réseau
|
||||
|
||||
- maitre esclave
|
||||
- multi-maitre
|
||||
- mixte
|
||||
|
||||
## Protocole
|
||||
|
||||
- l'acheminement des trames
|
||||
- synchronisation d'horloges
|
||||
- deux trames peuvent être émise en même temps
|
||||
- l'arbitrage détermine celle qui est transmise
|
||||
- la seconde sera ré-émise ensuite pour ne pas perdre d'information
|
||||
|
||||
### Méthode CSMA
|
||||
|
||||
- chaque message a un ID, un ID faible donne une plus haute priorité
|
||||
- un temps est réservé pour la lecture des messages à envoyer
|
||||
- un hashset des IDs supperposés est écrit sur le BUS,
|
||||
- l'ID le plus faible enverra son message au temps suivant
|
||||
|
|
@ -1,10 +0,0 @@
|
|||
AIRBUS
|
||||
========
|
||||
|
||||
Entreprise
|
||||
----------
|
||||
|
||||
- avions
|
||||
- hélico
|
||||
- défense & espace
|
||||
|
||||
|
|
@ -1,45 +0,0 @@
|
|||
|
||||
SMILE
|
||||
=======
|
||||
|
||||
Entreprise
|
||||
----------
|
||||
|
||||
- ESN, Toulouse
|
||||
- Systèmes embarqués
|
||||
- appareils intelligents
|
||||
- réseau
|
||||
- 32 ans
|
||||
- 15 employés (tls)
|
||||
- formation / conseil Open Source
|
||||
|
||||
Expertise
|
||||
---------
|
||||
|
||||
- Présentation (QT)
|
||||
|
||||
- Applicatif
|
||||
- C
|
||||
- Rust
|
||||
- C++
|
||||
|
||||
- Customisation linux
|
||||
- Driver
|
||||
- Strip (yocto)
|
||||
|
||||
Produits
|
||||
--------
|
||||
|
||||
- Embarqués
|
||||
- IHMS
|
||||
|
||||
- AIRBUS : Études des systèmes linux
|
||||
|
||||
|
||||
- 3 stages
|
||||
|
||||
Réfs
|
||||
----
|
||||
|
||||
> formations.opensourceschool.fr
|
||||
> alexandre.lahaye@smile.fr
|
||||
|
|
@ -1,97 +0,0 @@
|
|||
|
||||
## Contexte
|
||||
|
||||
Exemple d'architecture
|
||||
|
||||
```
|
||||
| microprocesseur | | rom | | ram | | eeprom | | chien de garde |
|
||||
+-----------------+ +-----+ +-----+ +--------+ +----------------+
|
||||
| | | | |
|
||||
+--------------+-------+--------+--------------+
|
||||
| bus
|
||||
+---------+----------------+------------------+
|
||||
| | | |
|
||||
+--------+ +-----+ +--------------------+ +-----------------+
|
||||
| timers | | can | | interface ethernet | | interface serie |
|
||||
|
||||
^^^^^^^^^^^^^^^^^^^^^\__ implémentation réseau
|
||||
```
|
||||
|
||||
Couches intéressées
|
||||
|
||||
- TCP
|
||||
- IP
|
||||
- Transport
|
||||
|
||||
Transmission
|
||||
|
||||
- Série
|
||||
- un seul fil, découpage de l'information basé sur la temporalité
|
||||
- liée à une horloge
|
||||
- 'lent'
|
||||
- parallèles
|
||||
- plusieurs fils série
|
||||
- 'rapide'
|
||||
- 'courte distance'
|
||||
|
||||
## Synchronicité
|
||||
|
||||
### Asynchrone
|
||||
|
||||
une légère différence de fréquences due à des perturbation est compensée
|
||||
par le fait que les données sont envoyées par petites séquences délimités
|
||||
par des mots 'start' et 'stop' pour candenser les horloges
|
||||
|
||||
#### Contrôle
|
||||
|
||||
Pour contrôler les flux, on peut utiliser des messages de contrôles :
|
||||
- hardware : il existe des lignes séries dédiées au contrôle
|
||||
- software : mots réservés dans un dialogue
|
||||
|
||||
### Synchrone
|
||||
|
||||
Une transmission est rendue synchrone si elle :
|
||||
- commence par une étape de synchronisation
|
||||
- transmet les données utiles de manière synchrone
|
||||
- termine par une étape de contrôle
|
||||
|
||||
## Pertes
|
||||
|
||||
- Affessement du signal, perte en intensité proportionnelle à la distance.
|
||||
- Bruits, parasitage du signal liée à l'entropie du milieu.
|
||||
|
||||
## Codage
|
||||
|
||||
### bipolaire
|
||||
|
||||
la donnée est encodée en binaire envoyé au cours du temps
|
||||
de façon régulière à travers une valeur physique.
|
||||
|
||||
> exemple : NRZ (non-return zero)
|
||||
> une horloge alterne de manière régulière.
|
||||
> un zéro est encodé par une tension négative pendant une période de l'horloge.
|
||||
> un un est encodé par une tension positive.
|
||||
|
||||
> exemple : NRZI (non-return zero invertion)
|
||||
> une horloge alterne de manière régulière.
|
||||
> la valeure communiquée est initialisée à zéro.
|
||||
> à chaque période de l'horloge
|
||||
> - si la tension est positive, la valeur reçue est la valeur communiquée précédente.
|
||||
> - si la tension est négative, la valeur reçue est inversée par rapport à la valeur communiquée précédente.
|
||||
|
||||
défaut de NRZ & NRZI : la valeur physique peut être plate pendant un long moment et la synchronisation risque de se perdre.
|
||||
|
||||
### différentiel
|
||||
|
||||
le changement d'une valeur physique constitue le signal transmis.
|
||||
(en mesurant le temps entre ces changement par exemple)
|
||||
|
||||
> exemple : codage Manchester
|
||||
> Un un est encodé en envoyant une valeure positive lors du front montant de l'horloge
|
||||
> Un zéro est encodé en envoyant une valeure positive sur le front déscendant de l'horloge.
|
||||
|
||||
## bande de base
|
||||
|
||||
La fréquence utilisable dépend du média.
|
||||
Certains signaux encodés dans des fréquences doivent être
|
||||
transformés pour être modulé vers une fréquence utilisable.
|
||||
|
|
@ -1,69 +0,0 @@
|
|||
from enum import Enum
|
||||
from dataclasses import dataclass
|
||||
|
||||
class Etage(Enum):
|
||||
A = 0
|
||||
B = 1
|
||||
C = 2
|
||||
|
||||
@dataclass
|
||||
class Etat:
|
||||
ascenseur: Etage = Etage.A
|
||||
bouton_A: bool = False
|
||||
bouton_B: bool = False
|
||||
bouton_C: bool = False
|
||||
|
||||
def clone(self): return Etat(ascenseur=self.ascenseur, bouton_A=self.bouton_A, bouton_B=self.bouton_B, bouton_C=self.bouton_C)
|
||||
|
||||
def transition(etat: Etat, bouton_A: bool, bouton_B: bool, bouton_C: bool):
|
||||
if bouton_A: etat.bouton_A = True
|
||||
if bouton_B: etat.bouton_B = True
|
||||
if bouton_C: etat.bouton_C = True
|
||||
|
||||
if etat.bouton_A:
|
||||
ascenseur = Etage.A
|
||||
etat.bouton_A = False
|
||||
|
||||
elif etat.bouton_B:
|
||||
ascenseur = Etage.B
|
||||
etat.bouton_B = False
|
||||
|
||||
elif etat.bouton_C:
|
||||
ascenseur = Etage.C
|
||||
etat.bouton_C = False
|
||||
|
||||
return etat
|
||||
|
||||
def tout_bool():
|
||||
yield False
|
||||
yield True
|
||||
|
||||
def tout_etage():
|
||||
yield Etage.A
|
||||
yield Etage.B
|
||||
yield Etage.C
|
||||
|
||||
def tout_etat():
|
||||
for etage in tout_etage():
|
||||
for bouton_A in tout_bool():
|
||||
for bouton_B in tout_bool():
|
||||
for bouton_C in tout_bool():
|
||||
yield Etat(ascenseur=etage, bouton_A=bouton_A, bouton_B=bouton_B, bouton_C=bouton_C)
|
||||
|
||||
def tout_entree():
|
||||
for bouton_A in tout_bool():
|
||||
for bouton_B in tout_bool():
|
||||
for bouton_C in tout_bool():
|
||||
yield (bouton_A, bouton_B, bouton_C)
|
||||
|
||||
set_ = set()
|
||||
for etat in tout_etat():
|
||||
transition_map = {}
|
||||
for entree in tout_entree():
|
||||
res = transition(etat.clone(), *entree)
|
||||
if str(res) not in transition_map: transition_map[str(res)] = []
|
||||
set_.add(str(etat) + " + " + str(entree) + "\n=> " + str(transition(etat, *entree)))
|
||||
|
||||
|
||||
for line in set_:
|
||||
print(line + "\n")
|
||||
|
|
@ -1,58 +0,0 @@
|
|||
- modèle : représentation mathématique
|
||||
- vérification : algorithme fournissant une preuve adaptée
|
||||
|
||||
## modèle
|
||||
|
||||
- système de transitions
|
||||
- machine à état, avec des états non désirés
|
||||
|
||||
- synchronicité
|
||||
- synchrone
|
||||
- opérations sur tous les circuits sont organisées par une seule horloge de manière granulaire
|
||||
- physiquement, le temps de propagation des signaux est bien inférieur à la période de l'horloge
|
||||
|
||||
- asynchrone
|
||||
- des signaux peuvent se propager entre circuits avant la fin d'un changement d'état d'un circuit
|
||||
- comporte des signaux indépendants et des verroux de synchronisation
|
||||
- exemple : échanges réseau, composants à plusieurs horloges
|
||||
|
||||
- transition
|
||||
- synchrone : une transition change tous les circuits
|
||||
- asynchrone : une transition ne concerne et change qu'un circuit
|
||||
|
||||
### automate fini
|
||||
|
||||
- ensemble d'état
|
||||
- ensemble de transitions
|
||||
- un 'langage' qui sert d'entrées système
|
||||
- une phrase qui est une entrée précise
|
||||
|
||||
- les état finaux serviront de cas d'erreurs, nous cherchons donc à vérifier que l'état final ne peut pas être atteint
|
||||
|
||||
- on peut différencier des langages pour analyser un sous ensemble de cas à vérifier lorsqu'on intègre de nouvelles entrées
|
||||
- faire le produit d'automates A et B, c'est former l'automate qui prends comme transition les tuples des entrées de A et B
|
||||
|
||||
#### Exemple
|
||||
|
||||
propriété : tout A est suivi d'un B dans le langage (b+ab)*
|
||||
|
||||
|
||||
### structure de kripke
|
||||
- défini par une liste de propositions
|
||||
- ensemble de variables propositionnelles (équation booléennes)
|
||||
- ensemble d'états
|
||||
- ensemble de transitions
|
||||
- pour chaque état, l'ensemble des propositions qui sont vérifiées par cet état
|
||||
|
||||
#### traces
|
||||
- suite d'évènements / états
|
||||
|
||||
- est un ensemble mathématique de la forme:
|
||||
- toutes les suites avec :
|
||||
- e_0 est un état de départ
|
||||
- (e_n, e_n+1) est une transition existante
|
||||
|
||||
- arborescence
|
||||
- arbre des états possibles en arrivant à chaque état en partant de l'état initial
|
||||
- racine : état de départ
|
||||
- enfants d'un neud : états accessibles depuis cet état
|
||||
Loading…
Add table
Add a link
Reference in a new issue