Matches in SemOpenAlex for { <https://semopenalex.org/work/W2961231271> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2961231271 endingPage "58" @default.
- W2961231271 startingPage "42" @default.
- W2961231271 abstract "The approach proposed in this article presents a formal verification of embedded systems. The method relies on an automated modeling and code generation based on the systems' behavior. The key concept is the combined use of a subset of UML behavior diagrams extended with timing annotations (Real-Time Statechart and Real-Time Collaboration diagrams) for system modeling and the Maude language for verification. First, UML modeling tools are developed. Then, an automatic generation of equivalent Maude specification is performed. The approach is based on code generation. This is why it is possible to use an available model checking tool to verify certain timed properties represented in Linear Temporal Logic (LTL). The meta-modeling tool ATOM3 is used. A case study is presented to illustrate the feasibility of the approach." @default.
- W2961231271 created "2019-07-23" @default.
- W2961231271 creator A5019095991 @default.
- W2961231271 creator A5082473579 @default.
- W2961231271 date "2018-07-01" @default.
- W2961231271 modified "2023-09-26" @default.
- W2961231271 title "Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language" @default.
- W2961231271 cites W1589034549 @default.
- W2961231271 cites W1816012646 @default.
- W2961231271 cites W1967473444 @default.
- W2961231271 cites W2099529102 @default.
- W2961231271 cites W2110642232 @default.
- W2961231271 cites W2137729790 @default.
- W2961231271 cites W2160030226 @default.
- W2961231271 cites W2479415088 @default.
- W2961231271 cites W2508564296 @default.
- W2961231271 doi "https://doi.org/10.4018/ijcssa.2018070103" @default.
- W2961231271 hasPublicationYear "2018" @default.
- W2961231271 type Work @default.
- W2961231271 sameAs 2961231271 @default.
- W2961231271 citedByCount "1" @default.
- W2961231271 countsByYear W29612312712022 @default.
- W2961231271 crossrefType "journal-article" @default.
- W2961231271 hasAuthorship W2961231271A5019095991 @default.
- W2961231271 hasAuthorship W2961231271A5082473579 @default.
- W2961231271 hasConcept C110251889 @default.
- W2961231271 hasConcept C111498074 @default.
- W2961231271 hasConcept C111919701 @default.
- W2961231271 hasConcept C133162039 @default.
- W2961231271 hasConcept C145644426 @default.
- W2961231271 hasConcept C146939238 @default.
- W2961231271 hasConcept C177264268 @default.
- W2961231271 hasConcept C179603123 @default.
- W2961231271 hasConcept C199360897 @default.
- W2961231271 hasConcept C25016198 @default.
- W2961231271 hasConcept C26517878 @default.
- W2961231271 hasConcept C2776760102 @default.
- W2961231271 hasConcept C2777904410 @default.
- W2961231271 hasConcept C41008148 @default.
- W2961231271 hasConcept C41298492 @default.
- W2961231271 hasConcept C4777664 @default.
- W2961231271 hasConceptScore W2961231271C110251889 @default.
- W2961231271 hasConceptScore W2961231271C111498074 @default.
- W2961231271 hasConceptScore W2961231271C111919701 @default.
- W2961231271 hasConceptScore W2961231271C133162039 @default.
- W2961231271 hasConceptScore W2961231271C145644426 @default.
- W2961231271 hasConceptScore W2961231271C146939238 @default.
- W2961231271 hasConceptScore W2961231271C177264268 @default.
- W2961231271 hasConceptScore W2961231271C179603123 @default.
- W2961231271 hasConceptScore W2961231271C199360897 @default.
- W2961231271 hasConceptScore W2961231271C25016198 @default.
- W2961231271 hasConceptScore W2961231271C26517878 @default.
- W2961231271 hasConceptScore W2961231271C2776760102 @default.
- W2961231271 hasConceptScore W2961231271C2777904410 @default.
- W2961231271 hasConceptScore W2961231271C41008148 @default.
- W2961231271 hasConceptScore W2961231271C41298492 @default.
- W2961231271 hasConceptScore W2961231271C4777664 @default.
- W2961231271 hasIssue "2" @default.
- W2961231271 hasLocation W29612312711 @default.
- W2961231271 hasOpenAccess W2961231271 @default.
- W2961231271 hasPrimaryLocation W29612312711 @default.
- W2961231271 hasRelatedWork W1489443666 @default.
- W2961231271 hasRelatedWork W188696436 @default.
- W2961231271 hasRelatedWork W2072618230 @default.
- W2961231271 hasRelatedWork W2116081797 @default.
- W2961231271 hasRelatedWork W2131592813 @default.
- W2961231271 hasRelatedWork W2223159144 @default.
- W2961231271 hasRelatedWork W2332892937 @default.
- W2961231271 hasRelatedWork W2363570575 @default.
- W2961231271 hasRelatedWork W2377096798 @default.
- W2961231271 hasRelatedWork W79095864 @default.
- W2961231271 hasVolume "6" @default.
- W2961231271 isParatext "false" @default.
- W2961231271 isRetracted "false" @default.
- W2961231271 magId "2961231271" @default.
- W2961231271 workType "article" @default.