Matches in SemOpenAlex for { <https://semopenalex.org/work/W243559319> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W243559319 endingPage "555" @default.
- W243559319 startingPage "541" @default.
- W243559319 abstract "AbstractSysML is a modeling language that can be used for the modeling of embedded systems. It is rich enough to model critical and complex embedded systems. The available modeling tools have made the modeling of such large and complex systems much easier. They provide sufficient support for the specification of functional requirements in the elicitation phase as well as in the design phase by graphical modeling. These systems must be properly validated and verified before their manufacturing and deployment in order to increase their reliability and reduce their maintenance cost. In this paper, we have proposed a methodology for the modeling and verification of embedded systems in parallel and distributed environments. We demonstrate the suitability of the framework by applying it on the case study of embedded security system. The parallel model checking tool DiVinE has been used because the available sequential verification tools either fail or show poor performance. DiVinE supports Linear Temporal Logic (LTL) for defining nonfunctional requirements and DVE language for specifying models. First,the case study is modeled using SysML’s state machine diagrams and then semantics are described to translate these state machine diagrams to DVE based model. The translated model is verified against specified LTL properties using DiVinE.KeywordsModel based validationverificationsecurity systemsSysMLDiVinEParallel verification" @default.
- W243559319 created "2016-06-24" @default.
- W243559319 creator A5002815889 @default.
- W243559319 creator A5060980511 @default.
- W243559319 creator A5068800533 @default.
- W243559319 date "2014-01-01" @default.
- W243559319 modified "2023-10-16" @default.
- W243559319 title "Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool" @default.
- W243559319 cites W1501431142 @default.
- W243559319 cites W1965685836 @default.
- W243559319 cites W1977971680 @default.
- W243559319 cites W2053488873 @default.
- W243559319 cites W2084750379 @default.
- W243559319 cites W2097141385 @default.
- W243559319 cites W2103631506 @default.
- W243559319 cites W2111755821 @default.
- W243559319 cites W2116957228 @default.
- W243559319 cites W2132877703 @default.
- W243559319 cites W2143654425 @default.
- W243559319 cites W2317730349 @default.
- W243559319 cites W61606928 @default.
- W243559319 doi "https://doi.org/10.1007/978-3-319-09156-3_38" @default.
- W243559319 hasPublicationYear "2014" @default.
- W243559319 type Work @default.
- W243559319 sameAs 243559319 @default.
- W243559319 citedByCount "7" @default.
- W243559319 countsByYear W2435593192014 @default.
- W243559319 countsByYear W2435593192016 @default.
- W243559319 countsByYear W2435593192017 @default.
- W243559319 countsByYear W2435593192020 @default.
- W243559319 crossrefType "book-chapter" @default.
- W243559319 hasAuthorship W243559319A5002815889 @default.
- W243559319 hasAuthorship W243559319A5060980511 @default.
- W243559319 hasAuthorship W243559319A5068800533 @default.
- W243559319 hasConcept C110251889 @default.
- W243559319 hasConcept C110963975 @default.
- W243559319 hasConcept C111498074 @default.
- W243559319 hasConcept C115903868 @default.
- W243559319 hasConcept C145243422 @default.
- W243559319 hasConcept C145644426 @default.
- W243559319 hasConcept C167822520 @default.
- W243559319 hasConcept C179603123 @default.
- W243559319 hasConcept C184337299 @default.
- W243559319 hasConcept C199360897 @default.
- W243559319 hasConcept C21285288 @default.
- W243559319 hasConcept C2777904410 @default.
- W243559319 hasConcept C41008148 @default.
- W243559319 hasConcept C84651959 @default.
- W243559319 hasConceptScore W243559319C110251889 @default.
- W243559319 hasConceptScore W243559319C110963975 @default.
- W243559319 hasConceptScore W243559319C111498074 @default.
- W243559319 hasConceptScore W243559319C115903868 @default.
- W243559319 hasConceptScore W243559319C145243422 @default.
- W243559319 hasConceptScore W243559319C145644426 @default.
- W243559319 hasConceptScore W243559319C167822520 @default.
- W243559319 hasConceptScore W243559319C179603123 @default.
- W243559319 hasConceptScore W243559319C184337299 @default.
- W243559319 hasConceptScore W243559319C199360897 @default.
- W243559319 hasConceptScore W243559319C21285288 @default.
- W243559319 hasConceptScore W243559319C2777904410 @default.
- W243559319 hasConceptScore W243559319C41008148 @default.
- W243559319 hasConceptScore W243559319C84651959 @default.
- W243559319 hasLocation W2435593191 @default.
- W243559319 hasOpenAccess W243559319 @default.
- W243559319 hasPrimaryLocation W2435593191 @default.
- W243559319 hasRelatedWork W137536751 @default.
- W243559319 hasRelatedWork W1513328100 @default.
- W243559319 hasRelatedWork W2020034474 @default.
- W243559319 hasRelatedWork W2061451695 @default.
- W243559319 hasRelatedWork W2071704968 @default.
- W243559319 hasRelatedWork W2073173980 @default.
- W243559319 hasRelatedWork W2370841479 @default.
- W243559319 hasRelatedWork W243559319 @default.
- W243559319 hasRelatedWork W2953503775 @default.
- W243559319 hasRelatedWork W2995776162 @default.
- W243559319 isParatext "false" @default.
- W243559319 isRetracted "false" @default.
- W243559319 magId "243559319" @default.
- W243559319 workType "book-chapter" @default.