Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896040319> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2896040319 endingPage "20" @default.
- W2896040319 startingPage "1" @default.
- W2896040319 abstract "Industry relies predominantly on manual peer-review techniques for assessing the correctness of system specifications. However, with the ever increasing size, complexity and intricacy of the specifications, it becomes difficult to assure their correctness with respect to certain criteria such as consistency. To cope with this challenge, a set of techniques based on formal methods, called textit{sanity checks} have been proposed to automatically assess the quality of system specifications in a systematic and rigorous manner. The predominant way of assessing the sanity of system specifications is by model checking, which in literature is reported to be expensive for analysis as it takes a long time for the procedure to terminate. Recently, another approach for checking the consistency of a system's specification using Satisfiability Modulo Theories has been proposed in order to reduce the analysis time. In this paper, we compare the two approaches for consistency analysis, by applying them on a relevant industrial use case, using the same definition for consistency and the same set of requirements. The comparison is carried out with respect to: i) time for generating the model and the latter's complexity, and ii) consistency analysis time. Contrary to the currently available data, our preliminary results show no significant difference in analysis time when applied on the same system specification under the same definition of consistency, but show significant difference in the time of creating the model for analysis." @default.
- W2896040319 created "2018-10-26" @default.
- W2896040319 creator A5025773724 @default.
- W2896040319 creator A5032929151 @default.
- W2896040319 creator A5076468125 @default.
- W2896040319 date "2018-10-17" @default.
- W2896040319 modified "2023-09-23" @default.
- W2896040319 title "Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements : Application and Experience" @default.
- W2896040319 doi "https://doi.org/10.14279/tuj.eceasst.75.1054" @default.
- W2896040319 hasPublicationYear "2018" @default.
- W2896040319 type Work @default.
- W2896040319 sameAs 2896040319 @default.
- W2896040319 citedByCount "0" @default.
- W2896040319 crossrefType "journal-article" @default.
- W2896040319 hasAuthorship W2896040319A5025773724 @default.
- W2896040319 hasAuthorship W2896040319A5032929151 @default.
- W2896040319 hasAuthorship W2896040319A5076468125 @default.
- W2896040319 hasConcept C110251889 @default.
- W2896040319 hasConcept C154945302 @default.
- W2896040319 hasConcept C175652121 @default.
- W2896040319 hasConcept C177264268 @default.
- W2896040319 hasConcept C199360897 @default.
- W2896040319 hasConcept C2776436953 @default.
- W2896040319 hasConcept C37279795 @default.
- W2896040319 hasConcept C41008148 @default.
- W2896040319 hasConcept C55439883 @default.
- W2896040319 hasConcept C75606506 @default.
- W2896040319 hasConcept C80444323 @default.
- W2896040319 hasConcept C82029504 @default.
- W2896040319 hasConceptScore W2896040319C110251889 @default.
- W2896040319 hasConceptScore W2896040319C154945302 @default.
- W2896040319 hasConceptScore W2896040319C175652121 @default.
- W2896040319 hasConceptScore W2896040319C177264268 @default.
- W2896040319 hasConceptScore W2896040319C199360897 @default.
- W2896040319 hasConceptScore W2896040319C2776436953 @default.
- W2896040319 hasConceptScore W2896040319C37279795 @default.
- W2896040319 hasConceptScore W2896040319C41008148 @default.
- W2896040319 hasConceptScore W2896040319C55439883 @default.
- W2896040319 hasConceptScore W2896040319C75606506 @default.
- W2896040319 hasConceptScore W2896040319C80444323 @default.
- W2896040319 hasConceptScore W2896040319C82029504 @default.
- W2896040319 hasLocation W28960403191 @default.
- W2896040319 hasOpenAccess W2896040319 @default.
- W2896040319 hasPrimaryLocation W28960403191 @default.
- W2896040319 hasRelatedWork W107755479 @default.
- W2896040319 hasRelatedWork W1481933832 @default.
- W2896040319 hasRelatedWork W153060849 @default.
- W2896040319 hasRelatedWork W1602465399 @default.
- W2896040319 hasRelatedWork W1852206478 @default.
- W2896040319 hasRelatedWork W1971505109 @default.
- W2896040319 hasRelatedWork W1990784513 @default.
- W2896040319 hasRelatedWork W1998559974 @default.
- W2896040319 hasRelatedWork W2052547909 @default.
- W2896040319 hasRelatedWork W2054332523 @default.
- W2896040319 hasRelatedWork W2159090554 @default.
- W2896040319 hasRelatedWork W2266282164 @default.
- W2896040319 hasRelatedWork W2382520271 @default.
- W2896040319 hasRelatedWork W2786673699 @default.
- W2896040319 hasRelatedWork W2960913870 @default.
- W2896040319 hasRelatedWork W3013707658 @default.
- W2896040319 hasRelatedWork W3041384968 @default.
- W2896040319 hasRelatedWork W3085446862 @default.
- W2896040319 hasRelatedWork W3092465091 @default.
- W2896040319 hasRelatedWork W2182252531 @default.
- W2896040319 hasVolume "75" @default.
- W2896040319 isParatext "false" @default.
- W2896040319 isRetracted "false" @default.
- W2896040319 magId "2896040319" @default.
- W2896040319 workType "article" @default.