Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965689677> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2965689677 abstract "The exponential use of time dependant and concurrent embedded systems in safety critical situations demands correctness of their behavior. Early design phase verification techniques allow us to ensure system's safety with minimum cost. In Model Driven Software Engineering (MDSE), Unified Modeling Language (UML) is considered as a standard way to visualize system's design but it is a semiformal language and lacks support for precise verification mechanisms to guarantee system's safety. To solve this issue, we have proposed a model driven approach to formalize timed and concurrent embedded systems using Timed Colored Petri Nets. This paper describes the rules for transformation of timed UML State Machines (source model) to Timed Colored Petri Nets (target model). We have focused on timing and behavioral aspects of concurrent embedded systems. We have also demonstrated the applicability of our approach with the help of a benchmark case study using CPN Tools." @default.
- W2965689677 created "2019-08-13" @default.
- W2965689677 creator A5040585772 @default.
- W2965689677 creator A5042243921 @default.
- W2965689677 creator A5045766368 @default.
- W2965689677 date "2018-12-01" @default.
- W2965689677 modified "2023-10-17" @default.
- W2965689677 title "A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets" @default.
- W2965689677 cites W113225727 @default.
- W2965689677 cites W1597414920 @default.
- W2965689677 cites W1659060819 @default.
- W2965689677 cites W2040734826 @default.
- W2965689677 cites W2590125333 @default.
- W2965689677 cites W2769090014 @default.
- W2965689677 cites W2022543244 @default.
- W2965689677 doi "https://doi.org/10.1109/compcomm.2018.8780731" @default.
- W2965689677 hasPublicationYear "2018" @default.
- W2965689677 type Work @default.
- W2965689677 sameAs 2965689677 @default.
- W2965689677 citedByCount "0" @default.
- W2965689677 crossrefType "proceedings-article" @default.
- W2965689677 hasAuthorship W2965689677A5040585772 @default.
- W2965689677 hasAuthorship W2965689677A5042243921 @default.
- W2965689677 hasAuthorship W2965689677A5045766368 @default.
- W2965689677 hasConcept C110251889 @default.
- W2965689677 hasConcept C111498074 @default.
- W2965689677 hasConcept C116253237 @default.
- W2965689677 hasConcept C120314980 @default.
- W2965689677 hasConcept C13280743 @default.
- W2965689677 hasConcept C145644426 @default.
- W2965689677 hasConcept C149635348 @default.
- W2965689677 hasConcept C154945302 @default.
- W2965689677 hasConcept C185798385 @default.
- W2965689677 hasConcept C199360897 @default.
- W2965689677 hasConcept C205649164 @default.
- W2965689677 hasConcept C2776436953 @default.
- W2965689677 hasConcept C2777904410 @default.
- W2965689677 hasConcept C2779791154 @default.
- W2965689677 hasConcept C38677869 @default.
- W2965689677 hasConcept C41008148 @default.
- W2965689677 hasConcept C55439883 @default.
- W2965689677 hasConcept C75606506 @default.
- W2965689677 hasConceptScore W2965689677C110251889 @default.
- W2965689677 hasConceptScore W2965689677C111498074 @default.
- W2965689677 hasConceptScore W2965689677C116253237 @default.
- W2965689677 hasConceptScore W2965689677C120314980 @default.
- W2965689677 hasConceptScore W2965689677C13280743 @default.
- W2965689677 hasConceptScore W2965689677C145644426 @default.
- W2965689677 hasConceptScore W2965689677C149635348 @default.
- W2965689677 hasConceptScore W2965689677C154945302 @default.
- W2965689677 hasConceptScore W2965689677C185798385 @default.
- W2965689677 hasConceptScore W2965689677C199360897 @default.
- W2965689677 hasConceptScore W2965689677C205649164 @default.
- W2965689677 hasConceptScore W2965689677C2776436953 @default.
- W2965689677 hasConceptScore W2965689677C2777904410 @default.
- W2965689677 hasConceptScore W2965689677C2779791154 @default.
- W2965689677 hasConceptScore W2965689677C38677869 @default.
- W2965689677 hasConceptScore W2965689677C41008148 @default.
- W2965689677 hasConceptScore W2965689677C55439883 @default.
- W2965689677 hasConceptScore W2965689677C75606506 @default.
- W2965689677 hasLocation W29656896771 @default.
- W2965689677 hasOpenAccess W2965689677 @default.
- W2965689677 hasPrimaryLocation W29656896771 @default.
- W2965689677 hasRelatedWork W1408846873 @default.
- W2965689677 hasRelatedWork W1486696980 @default.
- W2965689677 hasRelatedWork W1601757209 @default.
- W2965689677 hasRelatedWork W1831616876 @default.
- W2965689677 hasRelatedWork W2040734826 @default.
- W2965689677 hasRelatedWork W2074405879 @default.
- W2965689677 hasRelatedWork W2324601427 @default.
- W2965689677 hasRelatedWork W2477444687 @default.
- W2965689677 hasRelatedWork W2891611071 @default.
- W2965689677 hasRelatedWork W2965689677 @default.
- W2965689677 isParatext "false" @default.
- W2965689677 isRetracted "false" @default.
- W2965689677 magId "2965689677" @default.
- W2965689677 workType "article" @default.