Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783278179> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2783278179 abstract "With the fast development of IT industry, our reliance on the functioning of software systems is growing rapidly. These systems are becoming more and more complicated and are massively encroaching on daily life, e.g., the Internet, embedded systems, mobile devices and so on. The design and verification of concurrent and real-time systems are notoriously difficult problems. Among the software validation techniques, model checking approach has been proved to be successful as an automatic and effective solution. In this paper, we propose a methodology for the modeling and verification of the Real-Time and Hybrid Systems. The Real-Time Maude tool has been used to formally model, simulate, and model check real-time and hybrid systems. This paper also shows via a case study how Real-Time Maude search analysis found a previously unknown behavior that led to missed deadlines. First, the case study is modeled using timed and/or hybrid automata and then SysML's state machine diagram is described, for allowing more precise specification. The specified model is verified against specified LTL properties using Maude LTL Model Checker." @default.
- W2783278179 created "2018-01-26" @default.
- W2783278179 creator A5018074172 @default.
- W2783278179 creator A5027920299 @default.
- W2783278179 creator A5064625587 @default.
- W2783278179 creator A5077543516 @default.
- W2783278179 date "2017-11-01" @default.
- W2783278179 modified "2023-09-26" @default.
- W2783278179 title "Model checking of real-time systems using rewriting logic" @default.
- W2783278179 cites W1506588809 @default.
- W2783278179 cites W1678943029 @default.
- W2783278179 cites W1977971680 @default.
- W2783278179 cites W2001487918 @default.
- W2783278179 cites W2006340882 @default.
- W2783278179 cites W2029176884 @default.
- W2783278179 cites W2084750379 @default.
- W2783278179 cites W2103602915 @default.
- W2783278179 cites W2142345790 @default.
- W2783278179 cites W2396555304 @default.
- W2783278179 cites W243559319 @default.
- W2783278179 doi "https://doi.org/10.1109/eitech.2017.8255280" @default.
- W2783278179 hasPublicationYear "2017" @default.
- W2783278179 type Work @default.
- W2783278179 sameAs 2783278179 @default.
- W2783278179 citedByCount "0" @default.
- W2783278179 crossrefType "proceedings-article" @default.
- W2783278179 hasAuthorship W2783278179A5018074172 @default.
- W2783278179 hasAuthorship W2783278179A5027920299 @default.
- W2783278179 hasAuthorship W2783278179A5064625587 @default.
- W2783278179 hasAuthorship W2783278179A5077543516 @default.
- W2783278179 hasConcept C110251889 @default.
- W2783278179 hasConcept C111498074 @default.
- W2783278179 hasConcept C112505250 @default.
- W2783278179 hasConcept C119857082 @default.
- W2783278179 hasConcept C145644426 @default.
- W2783278179 hasConcept C149635348 @default.
- W2783278179 hasConcept C154690210 @default.
- W2783278179 hasConcept C161913894 @default.
- W2783278179 hasConcept C167822520 @default.
- W2783278179 hasConcept C198008173 @default.
- W2783278179 hasConcept C199360897 @default.
- W2783278179 hasConcept C21285288 @default.
- W2783278179 hasConcept C25016198 @default.
- W2783278179 hasConcept C2777904410 @default.
- W2783278179 hasConcept C28472234 @default.
- W2783278179 hasConcept C41008148 @default.
- W2783278179 hasConcept C4777664 @default.
- W2783278179 hasConcept C48103436 @default.
- W2783278179 hasConcept C50897621 @default.
- W2783278179 hasConcept C80444323 @default.
- W2783278179 hasConceptScore W2783278179C110251889 @default.
- W2783278179 hasConceptScore W2783278179C111498074 @default.
- W2783278179 hasConceptScore W2783278179C112505250 @default.
- W2783278179 hasConceptScore W2783278179C119857082 @default.
- W2783278179 hasConceptScore W2783278179C145644426 @default.
- W2783278179 hasConceptScore W2783278179C149635348 @default.
- W2783278179 hasConceptScore W2783278179C154690210 @default.
- W2783278179 hasConceptScore W2783278179C161913894 @default.
- W2783278179 hasConceptScore W2783278179C167822520 @default.
- W2783278179 hasConceptScore W2783278179C198008173 @default.
- W2783278179 hasConceptScore W2783278179C199360897 @default.
- W2783278179 hasConceptScore W2783278179C21285288 @default.
- W2783278179 hasConceptScore W2783278179C25016198 @default.
- W2783278179 hasConceptScore W2783278179C2777904410 @default.
- W2783278179 hasConceptScore W2783278179C28472234 @default.
- W2783278179 hasConceptScore W2783278179C41008148 @default.
- W2783278179 hasConceptScore W2783278179C4777664 @default.
- W2783278179 hasConceptScore W2783278179C48103436 @default.
- W2783278179 hasConceptScore W2783278179C50897621 @default.
- W2783278179 hasConceptScore W2783278179C80444323 @default.
- W2783278179 hasLocation W27832781791 @default.
- W2783278179 hasOpenAccess W2783278179 @default.
- W2783278179 hasPrimaryLocation W27832781791 @default.
- W2783278179 hasRelatedWork W120135115 @default.
- W2783278179 hasRelatedWork W1515452107 @default.
- W2783278179 hasRelatedWork W2122496508 @default.
- W2783278179 hasRelatedWork W2354457832 @default.
- W2783278179 hasRelatedWork W2507321993 @default.
- W2783278179 hasRelatedWork W2529990979 @default.
- W2783278179 hasRelatedWork W2738298173 @default.
- W2783278179 hasRelatedWork W2741430969 @default.
- W2783278179 hasRelatedWork W2783278179 @default.
- W2783278179 hasRelatedWork W3193381808 @default.
- W2783278179 isParatext "false" @default.
- W2783278179 isRetracted "false" @default.
- W2783278179 magId "2783278179" @default.
- W2783278179 workType "article" @default.