Matches in SemOpenAlex for { <https://semopenalex.org/work/W55172092> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W55172092 abstract "AADL est dedie a la conception de haut niveau et l’evaluation de systemes embarques. Il permet de decrire la structure d’un systeme et ses aspects fonctionnels par une approche a base de composants. Des processus localement synchrones sont alloues sur une architecture distribuee et communiquent de maniere globalement asynchrone (systeme GALS). Une specificite du modele polychrone est qu’il permet de specifier un systeme dont les composants peuvent avoir leur propre horloge d’activation : il est bien adapte a une methodologie de conception GALS. Dans ce cadre, l’atelier Polychrony fournit des modeles et des methodes pour la modelisation, la transformation et la validation de systemes embarques. Cette these propose une methodologie pour la modelisation et la validation de systemes embarques specifies en AADL via le langage synchrone multi-horloge Signal. Cette methodologie comprend la modelisation de niveau systeme en AADL, des transformations automatiques du modele AADL vers le modele polychrone, la distribution de code, la verification formelle et la simulation du modele polychrone. Notre transformation prend en compte l’architecture du systeme, decrite dans un cadre IMA, et les aspects fonctionnels, les composants logiciels pouvant etre mis en oeuvre en Signal. Les composants AADL sont modelises dans le modele polychrone en utilisant une bibliotheque de services ARINC. L’annexe comportementale d’AADL est interpretee dans ce modele via SSA. La generation de code distribue est obtenue avec Polychrony. La verification formelle et la simulation sont eectuees sur deux etudes de cas qui illustrent notre methodologie pour la conception fiable des applications AADL." @default.
- W55172092 created "2016-06-24" @default.
- W55172092 creator A5061524454 @default.
- W55172092 date "2010-01-01" @default.
- W55172092 modified "2023-09-24" @default.
- W55172092 title "Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation" @default.
- W55172092 cites W105879457 @default.
- W55172092 cites W1492005089 @default.
- W55172092 cites W1492292494 @default.
- W55172092 cites W1552117776 @default.
- W55172092 cites W1554303980 @default.
- W55172092 cites W1564528522 @default.
- W55172092 cites W1573649504 @default.
- W55172092 cites W1579404903 @default.
- W55172092 cites W1597755753 @default.
- W55172092 cites W1609287256 @default.
- W55172092 cites W1761878912 @default.
- W55172092 cites W176538567 @default.
- W55172092 cites W1853368733 @default.
- W55172092 cites W1875492031 @default.
- W55172092 cites W1970995135 @default.
- W55172092 cites W1982205631 @default.
- W55172092 cites W1984197882 @default.
- W55172092 cites W1992928460 @default.
- W55172092 cites W2017863278 @default.
- W55172092 cites W2045465854 @default.
- W55172092 cites W2061616795 @default.
- W55172092 cites W2100221082 @default.
- W55172092 cites W2100471460 @default.
- W55172092 cites W2100500718 @default.
- W55172092 cites W2102890180 @default.
- W55172092 cites W2103128566 @default.
- W55172092 cites W2115626152 @default.
- W55172092 cites W2117669281 @default.
- W55172092 cites W2117897741 @default.
- W55172092 cites W2121914493 @default.
- W55172092 cites W2125023624 @default.
- W55172092 cites W2131772211 @default.
- W55172092 cites W2134671160 @default.
- W55172092 cites W2135969459 @default.
- W55172092 cites W2136019139 @default.
- W55172092 cites W2136443109 @default.
- W55172092 cites W2139112519 @default.
- W55172092 cites W2150409510 @default.
- W55172092 cites W2159079542 @default.
- W55172092 cites W2159542925 @default.
- W55172092 cites W2161215820 @default.
- W55172092 cites W2162366870 @default.
- W55172092 cites W2168275791 @default.
- W55172092 cites W2169132374 @default.
- W55172092 cites W2169180789 @default.
- W55172092 cites W2170418070 @default.
- W55172092 cites W2184826204 @default.
- W55172092 cites W2742127623 @default.
- W55172092 cites W2972524113 @default.
- W55172092 cites W65795563 @default.
- W55172092 hasPublicationYear "2010" @default.
- W55172092 type Work @default.
- W55172092 sameAs 55172092 @default.
- W55172092 citedByCount "0" @default.
- W55172092 crossrefType "dissertation" @default.
- W55172092 hasAuthorship W55172092A5061524454 @default.
- W55172092 hasConcept C138885662 @default.
- W55172092 hasConcept C15708023 @default.
- W55172092 hasConcept C199360897 @default.
- W55172092 hasConcept C41008148 @default.
- W55172092 hasConceptScore W55172092C138885662 @default.
- W55172092 hasConceptScore W55172092C15708023 @default.
- W55172092 hasConceptScore W55172092C199360897 @default.
- W55172092 hasConceptScore W55172092C41008148 @default.
- W55172092 hasLocation W551720921 @default.
- W55172092 hasOpenAccess W55172092 @default.
- W55172092 hasPrimaryLocation W551720921 @default.
- W55172092 isParatext "false" @default.
- W55172092 isRetracted "false" @default.
- W55172092 magId "55172092" @default.
- W55172092 workType "dissertation" @default.