Matches in SemOpenAlex for { <https://semopenalex.org/work/W1860132236> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1860132236 abstract "In this paper we focus on some aspects related to modeling and formal verification of embedded systems. Many models have been proposed to represent embedded systems. These models encompass a broad range of styles, characteristics, and application domains and include the extensions of finite state machines, data flow graphs, communication processes and Petri nets. In this report, we have used a PRES+ model (Petri net based Representation for Embedded Systems) as an extension of classical Petri net model that captures concurrency, timing behaviour of embedded systems; it allows systems to be representative in different levels of abstraction and improves expressiveness by allowing the token to carry information. Modeling using PRES+, as discussed above, may be convenient for specifying the input behaviour because it supports concurrency. However, there is no equivalence checking method reported in the literature for PRES+ models to the best of our knowledge. In contrast, equivalence checking of FSMD models exist. As a first step, therefore, we seek to devise an algorithm to translate PRES+ models to FSMD models and we seek to hand execute our algorithm on a real life example and we have to translate two versions of PRES+ models to FSMD models. Then using existing equivalence checker we have checked the equivalence between two FSMD models." @default.
- W1860132236 created "2016-06-24" @default.
- W1860132236 creator A5041756250 @default.
- W1860132236 date "2010-10-24" @default.
- W1860132236 modified "2023-09-27" @default.
- W1860132236 title "Equivalence Checking in Embedded Systems Design Verification using PRES+ model" @default.
- W1860132236 cites W2099414645 @default.
- W1860132236 cites W2107475403 @default.
- W1860132236 cites W2169687938 @default.
- W1860132236 hasPublicationYear "2010" @default.
- W1860132236 type Work @default.
- W1860132236 sameAs 1860132236 @default.
- W1860132236 citedByCount "0" @default.
- W1860132236 crossrefType "posted-content" @default.
- W1860132236 hasAuthorship W1860132236A5041756250 @default.
- W1860132236 hasConcept C110251889 @default.
- W1860132236 hasConcept C111472728 @default.
- W1860132236 hasConcept C111498074 @default.
- W1860132236 hasConcept C118615104 @default.
- W1860132236 hasConcept C124304363 @default.
- W1860132236 hasConcept C138885662 @default.
- W1860132236 hasConcept C193702766 @default.
- W1860132236 hasConcept C199360897 @default.
- W1860132236 hasConcept C2780069185 @default.
- W1860132236 hasConcept C33923547 @default.
- W1860132236 hasConcept C38677869 @default.
- W1860132236 hasConcept C41008148 @default.
- W1860132236 hasConcept C80444323 @default.
- W1860132236 hasConcept C96654402 @default.
- W1860132236 hasConceptScore W1860132236C110251889 @default.
- W1860132236 hasConceptScore W1860132236C111472728 @default.
- W1860132236 hasConceptScore W1860132236C111498074 @default.
- W1860132236 hasConceptScore W1860132236C118615104 @default.
- W1860132236 hasConceptScore W1860132236C124304363 @default.
- W1860132236 hasConceptScore W1860132236C138885662 @default.
- W1860132236 hasConceptScore W1860132236C193702766 @default.
- W1860132236 hasConceptScore W1860132236C199360897 @default.
- W1860132236 hasConceptScore W1860132236C2780069185 @default.
- W1860132236 hasConceptScore W1860132236C33923547 @default.
- W1860132236 hasConceptScore W1860132236C38677869 @default.
- W1860132236 hasConceptScore W1860132236C41008148 @default.
- W1860132236 hasConceptScore W1860132236C80444323 @default.
- W1860132236 hasConceptScore W1860132236C96654402 @default.
- W1860132236 hasLocation W18601322361 @default.
- W1860132236 hasOpenAccess W1860132236 @default.
- W1860132236 hasPrimaryLocation W18601322361 @default.
- W1860132236 hasRelatedWork W1492683468 @default.
- W1860132236 hasRelatedWork W1496424806 @default.
- W1860132236 hasRelatedWork W1505677092 @default.
- W1860132236 hasRelatedWork W1516288898 @default.
- W1860132236 hasRelatedWork W1531715720 @default.
- W1860132236 hasRelatedWork W1532304424 @default.
- W1860132236 hasRelatedWork W1569942099 @default.
- W1860132236 hasRelatedWork W1575138043 @default.
- W1860132236 hasRelatedWork W1582868218 @default.
- W1860132236 hasRelatedWork W1600796815 @default.
- W1860132236 hasRelatedWork W1608482506 @default.
- W1860132236 hasRelatedWork W2088095944 @default.
- W1860132236 hasRelatedWork W2156990995 @default.
- W1860132236 hasRelatedWork W2269275305 @default.
- W1860132236 hasRelatedWork W2296389228 @default.
- W1860132236 hasRelatedWork W2359287021 @default.
- W1860132236 hasRelatedWork W2757611789 @default.
- W1860132236 hasRelatedWork W3147623613 @default.
- W1860132236 hasRelatedWork W3172676330 @default.
- W1860132236 hasRelatedWork W327065828 @default.
- W1860132236 isParatext "false" @default.
- W1860132236 isRetracted "false" @default.
- W1860132236 magId "1860132236" @default.
- W1860132236 workType "article" @default.