Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134658812> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2134658812 abstract "The development cost of safety-critical embedded systems is dominated today by the cost of software including verification and validation. This cost is typically related to the complexity of the software functions implementing the desired system behavior in nominal and off-nominal conditions. A widely used measure of complexity is the cyclomatic number, which is computed on the implementation code. However this technique is not effective when model-based development and code generation are used because the complexity of the software also depends on the communication and execution semantics of the models. This paper proposes a model-based complexity number that is defined on the decision diagram (DD) representation of the system functionality. The proposed complexity number gives an upper bound on the number of tests that are necessary to achieve Condition/Decision (C/D) coverage (which is required for safety critical systems). We show that the number of tests is related to the min-flow/max-cut computed on the DD. By comparing the proposed metric with the cyclomatic complexity, we show that the former seems to be better suited for capturing the complexity of the model than the latter. A case study on an aircraft power system shows that the complexity metric has applications in functional partitioning and architecture selection." @default.
- W2134658812 created "2016-06-24" @default.
- W2134658812 creator A5007604342 @default.
- W2134658812 creator A5039448305 @default.
- W2134658812 creator A5090819280 @default.
- W2134658812 date "2013-06-01" @default.
- W2134658812 modified "2023-09-23" @default.
- W2134658812 title "A complexity metric for concurrent finite state machine based embedded software" @default.
- W2134658812 cites W1531557024 @default.
- W2134658812 cites W1555296395 @default.
- W2134658812 cites W1964962870 @default.
- W2134658812 cites W1983383464 @default.
- W2134658812 cites W2022628966 @default.
- W2134658812 cites W2041841112 @default.
- W2134658812 cites W2058028893 @default.
- W2134658812 cites W2082922085 @default.
- W2134658812 cites W2097507887 @default.
- W2134658812 cites W2114286557 @default.
- W2134658812 cites W2129285390 @default.
- W2134658812 cites W2129535687 @default.
- W2134658812 cites W2151205503 @default.
- W2134658812 doi "https://doi.org/10.1109/sies.2013.6601491" @default.
- W2134658812 hasPublicationYear "2013" @default.
- W2134658812 type Work @default.
- W2134658812 sameAs 2134658812 @default.
- W2134658812 citedByCount "2" @default.
- W2134658812 countsByYear W21346588122017 @default.
- W2134658812 countsByYear W21346588122019 @default.
- W2134658812 crossrefType "proceedings-article" @default.
- W2134658812 hasAuthorship W2134658812A5007604342 @default.
- W2134658812 hasAuthorship W2134658812A5039448305 @default.
- W2134658812 hasAuthorship W2134658812A5090819280 @default.
- W2134658812 hasConcept C110251889 @default.
- W2134658812 hasConcept C11413529 @default.
- W2134658812 hasConcept C117447612 @default.
- W2134658812 hasConcept C149091818 @default.
- W2134658812 hasConcept C162324750 @default.
- W2134658812 hasConcept C176217482 @default.
- W2134658812 hasConcept C179799912 @default.
- W2134658812 hasConcept C186846655 @default.
- W2134658812 hasConcept C187303228 @default.
- W2134658812 hasConcept C199360897 @default.
- W2134658812 hasConcept C21547014 @default.
- W2134658812 hasConcept C2777904410 @default.
- W2134658812 hasConcept C41008148 @default.
- W2134658812 hasConcept C529173508 @default.
- W2134658812 hasConcept C66429209 @default.
- W2134658812 hasConcept C80444323 @default.
- W2134658812 hasConcept C82214349 @default.
- W2134658812 hasConcept C96563100 @default.
- W2134658812 hasConceptScore W2134658812C110251889 @default.
- W2134658812 hasConceptScore W2134658812C11413529 @default.
- W2134658812 hasConceptScore W2134658812C117447612 @default.
- W2134658812 hasConceptScore W2134658812C149091818 @default.
- W2134658812 hasConceptScore W2134658812C162324750 @default.
- W2134658812 hasConceptScore W2134658812C176217482 @default.
- W2134658812 hasConceptScore W2134658812C179799912 @default.
- W2134658812 hasConceptScore W2134658812C186846655 @default.
- W2134658812 hasConceptScore W2134658812C187303228 @default.
- W2134658812 hasConceptScore W2134658812C199360897 @default.
- W2134658812 hasConceptScore W2134658812C21547014 @default.
- W2134658812 hasConceptScore W2134658812C2777904410 @default.
- W2134658812 hasConceptScore W2134658812C41008148 @default.
- W2134658812 hasConceptScore W2134658812C529173508 @default.
- W2134658812 hasConceptScore W2134658812C66429209 @default.
- W2134658812 hasConceptScore W2134658812C80444323 @default.
- W2134658812 hasConceptScore W2134658812C82214349 @default.
- W2134658812 hasConceptScore W2134658812C96563100 @default.
- W2134658812 hasLocation W21346588121 @default.
- W2134658812 hasOpenAccess W2134658812 @default.
- W2134658812 hasPrimaryLocation W21346588121 @default.
- W2134658812 hasRelatedWork W1533250466 @default.
- W2134658812 hasRelatedWork W1566172022 @default.
- W2134658812 hasRelatedWork W1569234295 @default.
- W2134658812 hasRelatedWork W1595657196 @default.
- W2134658812 hasRelatedWork W1751158197 @default.
- W2134658812 hasRelatedWork W2003519602 @default.
- W2134658812 hasRelatedWork W2038771753 @default.
- W2134658812 hasRelatedWork W2078158324 @default.
- W2134658812 hasRelatedWork W2104405135 @default.
- W2134658812 hasRelatedWork W2111154673 @default.
- W2134658812 hasRelatedWork W2117082858 @default.
- W2134658812 hasRelatedWork W2134834993 @default.
- W2134658812 hasRelatedWork W2151066490 @default.
- W2134658812 hasRelatedWork W2170363162 @default.
- W2134658812 hasRelatedWork W2218006079 @default.
- W2134658812 hasRelatedWork W2279966796 @default.
- W2134658812 hasRelatedWork W2947203014 @default.
- W2134658812 hasRelatedWork W2951244252 @default.
- W2134658812 hasRelatedWork W3126262779 @default.
- W2134658812 hasRelatedWork W3163095639 @default.
- W2134658812 isParatext "false" @default.
- W2134658812 isRetracted "false" @default.
- W2134658812 magId "2134658812" @default.
- W2134658812 workType "article" @default.