Matches in SemOpenAlex for { <https://semopenalex.org/work/W1845574135> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- W1845574135 abstract "AADL (Architecture Analysis and Design Language) est un langage de description d'architecture permettant une multitude d'analyses formelles ou semi-formelles, en utilisant par exemple des analyses statiques ou, encore, des techniques de model-checking. AADL fournit un niveau d'abstraction interessant pour exprimer de nombreuses constructions utiles a la realisation de systemes embarques temps reel. Parallelement, nous remarquons que les proprietes a verifier sur ces systemes ne couvrent bien souvent qu'un sous-ensemble des elements du modele (composants ou proprietes non-fonctionnelles). Dans le present article il est montre comment tirer parti de ces informations pour definir plusieurs patrons de transformation d'AADL vers les reseaux de Petri adaptes a la propriete a verifier. Les proprietes qualitatives du systeme (comme la detection d'interblocage ou la tracabilite des messages echanges) peuvent etre analysees a l'aide des reseaux de Petri colores, en utilisant l'environnement CPN-AMI. Les proprietes quantitatives (comme l'ordonnancement du systeme ou la verification du dimensionnement des tampons de communication) peuvent etre traitees a l'aide des reseaux de Petri temporels, en utilisant l'environnement Tina. Les auteurs se sont interesses a l'elaboration de patrons generiques pouvant etre annotes en accord avec le type de propriete a traiter; ils montrent comment ces patrons permettent de limiter l'explosion combinatoire en restreignant le modele a analyser aux seuls blocs utiles." @default.
- W1845574135 created "2016-06-24" @default.
- W1845574135 creator A5003255921 @default.
- W1845574135 creator A5014290194 @default.
- W1845574135 date "2010-06-01" @default.
- W1845574135 modified "2023-10-10" @default.
- W1845574135 title "Définition d'une famille de patrons de transformation pour l'analyse de modèles AADL" @default.
- W1845574135 hasPublicationYear "2010" @default.
- W1845574135 type Work @default.
- W1845574135 sameAs 1845574135 @default.
- W1845574135 citedByCount "0" @default.
- W1845574135 crossrefType "journal-article" @default.
- W1845574135 hasAuthorship W1845574135A5003255921 @default.
- W1845574135 hasAuthorship W1845574135A5014290194 @default.
- W1845574135 hasBestOaLocation W18455741353 @default.
- W1845574135 hasConcept C142362112 @default.
- W1845574135 hasConcept C15708023 @default.
- W1845574135 hasConceptScore W1845574135C142362112 @default.
- W1845574135 hasConceptScore W1845574135C15708023 @default.
- W1845574135 hasLocation W18455741351 @default.
- W1845574135 hasLocation W18455741352 @default.
- W1845574135 hasLocation W18455741353 @default.
- W1845574135 hasOpenAccess W1845574135 @default.
- W1845574135 hasPrimaryLocation W18455741351 @default.
- W1845574135 hasRelatedWork W1531601525 @default.
- W1845574135 hasRelatedWork W2748952813 @default.
- W1845574135 hasRelatedWork W2758277628 @default.
- W1845574135 hasRelatedWork W2899084033 @default.
- W1845574135 hasRelatedWork W2935909890 @default.
- W1845574135 hasRelatedWork W2948807893 @default.
- W1845574135 hasRelatedWork W3173606202 @default.
- W1845574135 hasRelatedWork W3183948672 @default.
- W1845574135 hasRelatedWork W2778153218 @default.
- W1845574135 hasRelatedWork W3110381201 @default.
- W1845574135 isParatext "false" @default.
- W1845574135 isRetracted "false" @default.
- W1845574135 magId "1845574135" @default.
- W1845574135 workType "article" @default.