Matches in SemOpenAlex for { <https://semopenalex.org/work/W3160274930> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3160274930 endingPage "042016" @default.
- W3160274930 startingPage "042016" @default.
- W3160274930 abstract "The analysis of safety-critical systems designed by architectural languages such as AADL (Architecture Analysis and Design Language) is a challenging research topic. In such a context, formal methods become an advocated practice in software engineering for rigorous analysis. Moreover, they are applied on specific formalisms to be analyzed on dedicated tools. This paper studies the comprehensive formal specification for AADL language, in particular supporting major components of AADL and Behavior Annex. The presentation of this specification and modeling is the aim of this paper. This work is illustrated with a ARINC653 case study. As a study case, this work develops an AADL model from an ARINC653, specify a set of critical properties of the model and perform formal modeling in in Isabelle/HOL." @default.
- W3160274930 created "2021-05-24" @default.
- W3160274930 creator A5033577114 @default.
- W3160274930 creator A5056406165 @default.
- W3160274930 creator A5088228154 @default.
- W3160274930 date "2021-05-01" @default.
- W3160274930 modified "2023-10-18" @default.
- W3160274930 title "Towards Formal Specification for AADL with Behavior Annex in Isabelle" @default.
- W3160274930 cites W1881794246 @default.
- W3160274930 cites W1998429448 @default.
- W3160274930 cites W2015280671 @default.
- W3160274930 cites W2031837756 @default.
- W3160274930 cites W2137658102 @default.
- W3160274930 cites W2141601374 @default.
- W3160274930 cites W4250850800 @default.
- W3160274930 doi "https://doi.org/10.1088/1755-1315/769/4/042016" @default.
- W3160274930 hasPublicationYear "2021" @default.
- W3160274930 type Work @default.
- W3160274930 sameAs 3160274930 @default.
- W3160274930 citedByCount "1" @default.
- W3160274930 countsByYear W31602749302022 @default.
- W3160274930 crossrefType "journal-article" @default.
- W3160274930 hasAuthorship W3160274930A5033577114 @default.
- W3160274930 hasAuthorship W3160274930A5056406165 @default.
- W3160274930 hasAuthorship W3160274930A5088228154 @default.
- W3160274930 hasBestOaLocation W31602749301 @default.
- W3160274930 hasConcept C115903868 @default.
- W3160274930 hasConcept C116253237 @default.
- W3160274930 hasConcept C146072743 @default.
- W3160274930 hasConcept C151730666 @default.
- W3160274930 hasConcept C171018156 @default.
- W3160274930 hasConcept C17435882 @default.
- W3160274930 hasConcept C185245429 @default.
- W3160274930 hasConcept C199360897 @default.
- W3160274930 hasConcept C201677973 @default.
- W3160274930 hasConcept C2524010 @default.
- W3160274930 hasConcept C2777904410 @default.
- W3160274930 hasConcept C2779343474 @default.
- W3160274930 hasConcept C33923547 @default.
- W3160274930 hasConcept C35869016 @default.
- W3160274930 hasConcept C41008148 @default.
- W3160274930 hasConcept C55356503 @default.
- W3160274930 hasConcept C75606506 @default.
- W3160274930 hasConcept C86803240 @default.
- W3160274930 hasConceptScore W3160274930C115903868 @default.
- W3160274930 hasConceptScore W3160274930C116253237 @default.
- W3160274930 hasConceptScore W3160274930C146072743 @default.
- W3160274930 hasConceptScore W3160274930C151730666 @default.
- W3160274930 hasConceptScore W3160274930C171018156 @default.
- W3160274930 hasConceptScore W3160274930C17435882 @default.
- W3160274930 hasConceptScore W3160274930C185245429 @default.
- W3160274930 hasConceptScore W3160274930C199360897 @default.
- W3160274930 hasConceptScore W3160274930C201677973 @default.
- W3160274930 hasConceptScore W3160274930C2524010 @default.
- W3160274930 hasConceptScore W3160274930C2777904410 @default.
- W3160274930 hasConceptScore W3160274930C2779343474 @default.
- W3160274930 hasConceptScore W3160274930C33923547 @default.
- W3160274930 hasConceptScore W3160274930C35869016 @default.
- W3160274930 hasConceptScore W3160274930C41008148 @default.
- W3160274930 hasConceptScore W3160274930C55356503 @default.
- W3160274930 hasConceptScore W3160274930C75606506 @default.
- W3160274930 hasConceptScore W3160274930C86803240 @default.
- W3160274930 hasIssue "4" @default.
- W3160274930 hasLocation W31602749301 @default.
- W3160274930 hasOpenAccess W3160274930 @default.
- W3160274930 hasPrimaryLocation W31602749301 @default.
- W3160274930 hasRelatedWork W1536552036 @default.
- W3160274930 hasRelatedWork W1545904676 @default.
- W3160274930 hasRelatedWork W1801366570 @default.
- W3160274930 hasRelatedWork W2156223462 @default.
- W3160274930 hasRelatedWork W25224113 @default.
- W3160274930 hasRelatedWork W2766324403 @default.
- W3160274930 hasRelatedWork W3012325027 @default.
- W3160274930 hasRelatedWork W4205211073 @default.
- W3160274930 hasRelatedWork W4210657939 @default.
- W3160274930 hasRelatedWork W60304821 @default.
- W3160274930 hasVolume "769" @default.
- W3160274930 isParatext "false" @default.
- W3160274930 isRetracted "false" @default.
- W3160274930 magId "3160274930" @default.
- W3160274930 workType "article" @default.