Matches in SemOpenAlex for { <https://semopenalex.org/work/W2905239828> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2905239828 abstract "AADL is a modeling language to design and analyze embedded real-time systems and is widely used to model safety-critical systems. AADL describes the system models hierarchically through components such as systems, processes, and threads, etc. The Behavioral Annex is a supplement of AADL in terms of functional behavior. It enables modeling component and component interaction behavior in a state-machine-based annex sublanguage. At present, there is no mechanism to represent hierarchical automata in the behavioral annex. However, this is a very important feature because industrial complex systems are always described with concurrent and composite states. Although we can model a system with AADL's own hierarchical description capabilities, it will result in a large amount of threads. In actual development, a refinement process is always needed before system synthesis, in which several threads may be combined into one thread that has concurrent and composite states. This paper proposes a hierarchical extension of the AADL behavioral annex which is named HBA (Hierarchical Behavior Annex). First, the formal syntax of HBA is given, and then we formally define the semantics of HBA. We propose a meta-model of HBA and implement its textual and graphical editor in the OSATE environment. Finally, an industrial case study is given to validate the approach." @default.
- W2905239828 created "2018-12-22" @default.
- W2905239828 creator A5001505881 @default.
- W2905239828 creator A5025184050 @default.
- W2905239828 creator A5033643049 @default.
- W2905239828 creator A5033684035 @default.
- W2905239828 creator A5056222500 @default.
- W2905239828 creator A5057416557 @default.
- W2905239828 creator A5068043239 @default.
- W2905239828 creator A5089844896 @default.
- W2905239828 date "2018-10-01" @default.
- W2905239828 modified "2023-10-16" @default.
- W2905239828 title "Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension" @default.
- W2905239828 cites W115133185 @default.
- W2905239828 cites W1998429448 @default.
- W2905239828 cites W2032126527 @default.
- W2905239828 cites W2073173980 @default.
- W2905239828 cites W2099529102 @default.
- W2905239828 cites W2102481384 @default.
- W2905239828 cites W2135969459 @default.
- W2905239828 cites W2159079542 @default.
- W2905239828 cites W2161147774 @default.
- W2905239828 cites W2537758980 @default.
- W2905239828 cites W2551803585 @default.
- W2905239828 cites W69221180 @default.
- W2905239828 doi "https://doi.org/10.1109/memcod.2018.8557005" @default.
- W2905239828 hasPublicationYear "2018" @default.
- W2905239828 type Work @default.
- W2905239828 sameAs 2905239828 @default.
- W2905239828 citedByCount "1" @default.
- W2905239828 countsByYear W29052398282020 @default.
- W2905239828 crossrefType "proceedings-article" @default.
- W2905239828 hasAuthorship W2905239828A5001505881 @default.
- W2905239828 hasAuthorship W2905239828A5025184050 @default.
- W2905239828 hasAuthorship W2905239828A5033643049 @default.
- W2905239828 hasAuthorship W2905239828A5033684035 @default.
- W2905239828 hasAuthorship W2905239828A5056222500 @default.
- W2905239828 hasAuthorship W2905239828A5057416557 @default.
- W2905239828 hasAuthorship W2905239828A5068043239 @default.
- W2905239828 hasAuthorship W2905239828A5089844896 @default.
- W2905239828 hasConcept C112505250 @default.
- W2905239828 hasConcept C120314980 @default.
- W2905239828 hasConcept C121332964 @default.
- W2905239828 hasConcept C138101251 @default.
- W2905239828 hasConcept C145644426 @default.
- W2905239828 hasConcept C168167062 @default.
- W2905239828 hasConcept C184337299 @default.
- W2905239828 hasConcept C199360897 @default.
- W2905239828 hasConcept C2776411971 @default.
- W2905239828 hasConcept C2777904410 @default.
- W2905239828 hasConcept C41008148 @default.
- W2905239828 hasConcept C80444323 @default.
- W2905239828 hasConcept C97355855 @default.
- W2905239828 hasConceptScore W2905239828C112505250 @default.
- W2905239828 hasConceptScore W2905239828C120314980 @default.
- W2905239828 hasConceptScore W2905239828C121332964 @default.
- W2905239828 hasConceptScore W2905239828C138101251 @default.
- W2905239828 hasConceptScore W2905239828C145644426 @default.
- W2905239828 hasConceptScore W2905239828C168167062 @default.
- W2905239828 hasConceptScore W2905239828C184337299 @default.
- W2905239828 hasConceptScore W2905239828C199360897 @default.
- W2905239828 hasConceptScore W2905239828C2776411971 @default.
- W2905239828 hasConceptScore W2905239828C2777904410 @default.
- W2905239828 hasConceptScore W2905239828C41008148 @default.
- W2905239828 hasConceptScore W2905239828C80444323 @default.
- W2905239828 hasConceptScore W2905239828C97355855 @default.
- W2905239828 hasLocation W29052398281 @default.
- W2905239828 hasOpenAccess W2905239828 @default.
- W2905239828 hasPrimaryLocation W29052398281 @default.
- W2905239828 hasRelatedWork W1534000780 @default.
- W2905239828 hasRelatedWork W1563392290 @default.
- W2905239828 hasRelatedWork W1588830055 @default.
- W2905239828 hasRelatedWork W171551482 @default.
- W2905239828 hasRelatedWork W1934931359 @default.
- W2905239828 hasRelatedWork W1967913869 @default.
- W2905239828 hasRelatedWork W2125784002 @default.
- W2905239828 hasRelatedWork W2140871903 @default.
- W2905239828 hasRelatedWork W2223159144 @default.
- W2905239828 hasRelatedWork W3145431186 @default.
- W2905239828 isParatext "false" @default.
- W2905239828 isRetracted "false" @default.
- W2905239828 magId "2905239828" @default.
- W2905239828 workType "article" @default.