Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035127551> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2035127551 abstract "Verification of real time embedded systems is becoming more and more complex in terms of maintaining the code size and keeping equivalence between the specification. It requires the simulation of the system and the checking of its timing and functional properties as well as constraints. The paper presents a methodology which starts from UML sequence diagrams with MARTE timing constraints and generates a VHDL model with checkers. The simulation of the model allows to verify the specified sequence of exchanged information between components while checkers allow to verify that properties and timing constraints are met. The application of the methodology to the design of a wireless sensor node shows the validity of the approach and its simulation overhead." @default.
- W2035127551 created "2016-06-24" @default.
- W2035127551 creator A5040302302 @default.
- W2035127551 creator A5050479727 @default.
- W2035127551 creator A5062316918 @default.
- W2035127551 date "2012-09-01" @default.
- W2035127551 modified "2023-10-16" @default.
- W2035127551 title "Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis" @default.
- W2035127551 cites W1912715343 @default.
- W2035127551 cites W2001332450 @default.
- W2035127551 cites W2020080115 @default.
- W2035127551 cites W2033019659 @default.
- W2035127551 cites W2079703313 @default.
- W2035127551 cites W2131012717 @default.
- W2035127551 cites W4254608284 @default.
- W2035127551 doi "https://doi.org/10.1109/dsd.2012.66" @default.
- W2035127551 hasPublicationYear "2012" @default.
- W2035127551 type Work @default.
- W2035127551 sameAs 2035127551 @default.
- W2035127551 citedByCount "6" @default.
- W2035127551 countsByYear W20351275512013 @default.
- W2035127551 countsByYear W20351275512014 @default.
- W2035127551 countsByYear W20351275512015 @default.
- W2035127551 countsByYear W20351275512023 @default.
- W2035127551 crossrefType "proceedings-article" @default.
- W2035127551 hasAuthorship W2035127551A5040302302 @default.
- W2035127551 hasAuthorship W2035127551A5050479727 @default.
- W2035127551 hasAuthorship W2035127551A5062316918 @default.
- W2035127551 hasConcept C111498074 @default.
- W2035127551 hasConcept C111919701 @default.
- W2035127551 hasConcept C133162039 @default.
- W2035127551 hasConcept C138885662 @default.
- W2035127551 hasConcept C145644426 @default.
- W2035127551 hasConcept C149635348 @default.
- W2035127551 hasConcept C153185123 @default.
- W2035127551 hasConcept C177264268 @default.
- W2035127551 hasConcept C199360897 @default.
- W2035127551 hasConcept C26517878 @default.
- W2035127551 hasConcept C2776760102 @default.
- W2035127551 hasConcept C2777904410 @default.
- W2035127551 hasConcept C2778112365 @default.
- W2035127551 hasConcept C2780069185 @default.
- W2035127551 hasConcept C36941000 @default.
- W2035127551 hasConcept C41008148 @default.
- W2035127551 hasConcept C41895202 @default.
- W2035127551 hasConcept C42935608 @default.
- W2035127551 hasConcept C54355233 @default.
- W2035127551 hasConcept C86803240 @default.
- W2035127551 hasConceptScore W2035127551C111498074 @default.
- W2035127551 hasConceptScore W2035127551C111919701 @default.
- W2035127551 hasConceptScore W2035127551C133162039 @default.
- W2035127551 hasConceptScore W2035127551C138885662 @default.
- W2035127551 hasConceptScore W2035127551C145644426 @default.
- W2035127551 hasConceptScore W2035127551C149635348 @default.
- W2035127551 hasConceptScore W2035127551C153185123 @default.
- W2035127551 hasConceptScore W2035127551C177264268 @default.
- W2035127551 hasConceptScore W2035127551C199360897 @default.
- W2035127551 hasConceptScore W2035127551C26517878 @default.
- W2035127551 hasConceptScore W2035127551C2776760102 @default.
- W2035127551 hasConceptScore W2035127551C2777904410 @default.
- W2035127551 hasConceptScore W2035127551C2778112365 @default.
- W2035127551 hasConceptScore W2035127551C2780069185 @default.
- W2035127551 hasConceptScore W2035127551C36941000 @default.
- W2035127551 hasConceptScore W2035127551C41008148 @default.
- W2035127551 hasConceptScore W2035127551C41895202 @default.
- W2035127551 hasConceptScore W2035127551C42935608 @default.
- W2035127551 hasConceptScore W2035127551C54355233 @default.
- W2035127551 hasConceptScore W2035127551C86803240 @default.
- W2035127551 hasLocation W20351275511 @default.
- W2035127551 hasOpenAccess W2035127551 @default.
- W2035127551 hasPrimaryLocation W20351275511 @default.
- W2035127551 hasRelatedWork W1513328100 @default.
- W2035127551 hasRelatedWork W196913662 @default.
- W2035127551 hasRelatedWork W2035127551 @default.
- W2035127551 hasRelatedWork W2045666133 @default.
- W2035127551 hasRelatedWork W2143430927 @default.
- W2035127551 hasRelatedWork W2370681738 @default.
- W2035127551 hasRelatedWork W2384847609 @default.
- W2035127551 hasRelatedWork W2483389340 @default.
- W2035127551 hasRelatedWork W2603092047 @default.
- W2035127551 hasRelatedWork W283806354 @default.
- W2035127551 isParatext "false" @default.
- W2035127551 isRetracted "false" @default.
- W2035127551 magId "2035127551" @default.
- W2035127551 workType "article" @default.