Matches in SemOpenAlex for { <https://semopenalex.org/work/W2780458569> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2780458569 endingPage "20" @default.
- W2780458569 startingPage "1" @default.
- W2780458569 abstract "The real-time scheduling theory provides analytical methods to assess the temporal predictability of embedded systems. Nevertheless, their use is limited in a Model-Based Systems Engineering approach. In fact, the large number of applicability conditions makes the use of real-time scheduling analysis tedious and error-prone. Key issues are left to the engineers: when to apply a real-time scheduling analysis? What to do with the analysis results? This article presents an approach to systematize and then automate the analysis of non-functional properties in Model-Based Systems Engineering. First, preconditions and postconditions define the applicability of an analysis. In addition, contracts specify the analysis interfaces, thereby enabling to reason about the analysis process. We present a proof-of-concept implementation of our approach using a combination of constraint languages (REAL for run-time analysis) and specification languages (Alloy for describing interfaces and reasoning about them). This approach is experimented on architectural models written with the Architecture Analysis and Design Language (AADL)." @default.
- W2780458569 created "2018-01-05" @default.
- W2780458569 creator A5000283466 @default.
- W2780458569 creator A5003255921 @default.
- W2780458569 creator A5068542032 @default.
- W2780458569 date "2018-05-01" @default.
- W2780458569 modified "2023-10-18" @default.
- W2780458569 title "Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems" @default.
- W2780458569 cites W1968005108 @default.
- W2780458569 cites W2000947342 @default.
- W2780458569 cites W2012912569 @default.
- W2780458569 cites W2031381504 @default.
- W2780458569 cites W2042979415 @default.
- W2780458569 cites W2049868318 @default.
- W2780458569 cites W2052363833 @default.
- W2780458569 cites W2055295051 @default.
- W2780458569 cites W2059902621 @default.
- W2780458569 cites W2081938726 @default.
- W2780458569 cites W2109488193 @default.
- W2780458569 cites W2160293203 @default.
- W2780458569 cites W2570030068 @default.
- W2780458569 cites W2987907651 @default.
- W2780458569 doi "https://doi.org/10.1016/j.scico.2017.12.007" @default.
- W2780458569 hasPublicationYear "2018" @default.
- W2780458569 type Work @default.
- W2780458569 sameAs 2780458569 @default.
- W2780458569 citedByCount "9" @default.
- W2780458569 countsByYear W27804585692018 @default.
- W2780458569 countsByYear W27804585692019 @default.
- W2780458569 countsByYear W27804585692020 @default.
- W2780458569 countsByYear W27804585692021 @default.
- W2780458569 countsByYear W27804585692022 @default.
- W2780458569 countsByYear W27804585692023 @default.
- W2780458569 crossrefType "journal-article" @default.
- W2780458569 hasAuthorship W2780458569A5000283466 @default.
- W2780458569 hasAuthorship W2780458569A5003255921 @default.
- W2780458569 hasAuthorship W2780458569A5068542032 @default.
- W2780458569 hasBestOaLocation W27804585692 @default.
- W2780458569 hasConcept C115903868 @default.
- W2780458569 hasConcept C121332964 @default.
- W2780458569 hasConcept C123657996 @default.
- W2780458569 hasConcept C126255220 @default.
- W2780458569 hasConcept C142362112 @default.
- W2780458569 hasConcept C153349607 @default.
- W2780458569 hasConcept C197640229 @default.
- W2780458569 hasConcept C199360897 @default.
- W2780458569 hasConcept C206729178 @default.
- W2780458569 hasConcept C33923547 @default.
- W2780458569 hasConcept C41008148 @default.
- W2780458569 hasConcept C62520636 @default.
- W2780458569 hasConcept C97686452 @default.
- W2780458569 hasConceptScore W2780458569C115903868 @default.
- W2780458569 hasConceptScore W2780458569C121332964 @default.
- W2780458569 hasConceptScore W2780458569C123657996 @default.
- W2780458569 hasConceptScore W2780458569C126255220 @default.
- W2780458569 hasConceptScore W2780458569C142362112 @default.
- W2780458569 hasConceptScore W2780458569C153349607 @default.
- W2780458569 hasConceptScore W2780458569C197640229 @default.
- W2780458569 hasConceptScore W2780458569C199360897 @default.
- W2780458569 hasConceptScore W2780458569C206729178 @default.
- W2780458569 hasConceptScore W2780458569C33923547 @default.
- W2780458569 hasConceptScore W2780458569C41008148 @default.
- W2780458569 hasConceptScore W2780458569C62520636 @default.
- W2780458569 hasConceptScore W2780458569C97686452 @default.
- W2780458569 hasLocation W27804585691 @default.
- W2780458569 hasLocation W27804585692 @default.
- W2780458569 hasOpenAccess W2780458569 @default.
- W2780458569 hasPrimaryLocation W27804585691 @default.
- W2780458569 hasRelatedWork W1541571860 @default.
- W2780458569 hasRelatedWork W1607297154 @default.
- W2780458569 hasRelatedWork W2064726690 @default.
- W2780458569 hasRelatedWork W2726467123 @default.
- W2780458569 hasRelatedWork W2794793914 @default.
- W2780458569 hasRelatedWork W2913177154 @default.
- W2780458569 hasRelatedWork W4210820789 @default.
- W2780458569 hasRelatedWork W4235131201 @default.
- W2780458569 hasRelatedWork W4237782192 @default.
- W2780458569 hasRelatedWork W4252678288 @default.
- W2780458569 hasVolume "156" @default.
- W2780458569 isParatext "false" @default.
- W2780458569 isRetracted "false" @default.
- W2780458569 magId "2780458569" @default.
- W2780458569 workType "article" @default.