Loading...
Please wait, while we are loading the content...
Similar Documents
Approche pour la conception de systèmes aéronautiques innovants en vue d'optimiser l'architecture : application au systèmes portes passagers
| Content Provider | Semantic Scholar |
|---|---|
| Author | Verries, Jean |
| Copyright Year | 2010 |
| Abstract | Les travaux de cette these se situent a l'intersection des domaines de l'ingenierie systeme et de l'ingenierie dirigee par les modeles. Un ensemble de processus d'ingenierie des exigences et de conception architecturale systeme a ete propose. Sur la base du standard MDA, des methodes de conception et de validation ont ete definies et mise en œuvre autour d'un modele d'information. Celui-ci a ete realise comme un profil du langage SysML, et permet la verification formelle de regles et de proprietes systemes au moyen de contraintes OCL. Afin de completer la methodologie sur le plan de la validation systeme, des modeles en langage VHDL-AMS ont ete integres a la methodologie. Cette approche nous a amene a etudier un certains nombre de transformations de modeles, pour lesquelles nous avons choisi de travailler au niveau des metamodeles. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://tel.archives-ouvertes.fr/tel-00468915/document |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |