Matches in SemOpenAlex for { <https://semopenalex.org/work/W1590647512> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1590647512 endingPage "6" @default.
- W1590647512 startingPage "1" @default.
- W1590647512 abstract "In this paper, a new framework EmCodeSyn is introduced for visual debugging, execution and code synthesis from multi-rate data flow based specifications. EmCodeSyn is an attempt to create a formal semantics based visual framework for specifying safety critical applications such as automotive control, avionics fly-by-wire control, etc. In contrast with SIMULINK/Stateflow, LabVIEW and other visual tools, EmCodeSyn is based on a synchronous programming paradigm akin to the polychronous language SIGNAL. The formalism on which this work is based, is called MRICDF (Multi-rate Instantaneous Channel Connected Data Flow). The specification formalism has relational semantics, which enables static rate-analysis for scheduling the computation in the code generation stage. Hierarchical data flow specification with minimal amount of control specification makes it easier for designers to compose existing MRICDF models to create larger ones. Once the feasibilty of an MRICDF design is verified, Code Synthesis is performed by the tool to generate C code. EmCodeSyn design methodology provides a visual framework for generating verifiable deterministic code from synchronous specification based on MRICDF formalism." @default.
- W1590647512 created "2016-06-24" @default.
- W1590647512 creator A5001955841 @default.
- W1590647512 creator A5021517996 @default.
- W1590647512 creator A5043317855 @default.
- W1590647512 creator A5081757895 @default.
- W1590647512 date "2009-09-01" @default.
- W1590647512 modified "2023-09-26" @default.
- W1590647512 title "EmCodeSyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications" @default.
- W1590647512 cites W1535515756 @default.
- W1590647512 cites W2100500718 @default.
- W1590647512 cites W2125023624 @default.
- W1590647512 cites W2125415493 @default.
- W1590647512 cites W2145331516 @default.
- W1590647512 hasPublicationYear "2009" @default.
- W1590647512 type Work @default.
- W1590647512 sameAs 1590647512 @default.
- W1590647512 citedByCount "8" @default.
- W1590647512 countsByYear W15906475122013 @default.
- W1590647512 countsByYear W15906475122014 @default.
- W1590647512 crossrefType "proceedings-article" @default.
- W1590647512 hasAuthorship W1590647512A5001955841 @default.
- W1590647512 hasAuthorship W1590647512A5021517996 @default.
- W1590647512 hasAuthorship W1590647512A5043317855 @default.
- W1590647512 hasAuthorship W1590647512A5081757895 @default.
- W1590647512 hasConcept C116253237 @default.
- W1590647512 hasConcept C133162039 @default.
- W1590647512 hasConcept C149635348 @default.
- W1590647512 hasConcept C160191386 @default.
- W1590647512 hasConcept C168065819 @default.
- W1590647512 hasConcept C199360897 @default.
- W1590647512 hasConcept C201677973 @default.
- W1590647512 hasConcept C26517878 @default.
- W1590647512 hasConcept C2779752788 @default.
- W1590647512 hasConcept C2780365114 @default.
- W1590647512 hasConcept C38652104 @default.
- W1590647512 hasConcept C41008148 @default.
- W1590647512 hasConceptScore W1590647512C116253237 @default.
- W1590647512 hasConceptScore W1590647512C133162039 @default.
- W1590647512 hasConceptScore W1590647512C149635348 @default.
- W1590647512 hasConceptScore W1590647512C160191386 @default.
- W1590647512 hasConceptScore W1590647512C168065819 @default.
- W1590647512 hasConceptScore W1590647512C199360897 @default.
- W1590647512 hasConceptScore W1590647512C201677973 @default.
- W1590647512 hasConceptScore W1590647512C26517878 @default.
- W1590647512 hasConceptScore W1590647512C2779752788 @default.
- W1590647512 hasConceptScore W1590647512C2780365114 @default.
- W1590647512 hasConceptScore W1590647512C38652104 @default.
- W1590647512 hasConceptScore W1590647512C41008148 @default.
- W1590647512 hasLocation W15906475121 @default.
- W1590647512 hasOpenAccess W1590647512 @default.
- W1590647512 hasPrimaryLocation W15906475121 @default.
- W1590647512 hasRelatedWork W121640275 @default.
- W1590647512 hasRelatedWork W1755901030 @default.
- W1590647512 hasRelatedWork W1963984425 @default.
- W1590647512 hasRelatedWork W2045010483 @default.
- W1590647512 hasRelatedWork W2081938726 @default.
- W1590647512 hasRelatedWork W2100500718 @default.
- W1590647512 hasRelatedWork W2101789632 @default.
- W1590647512 hasRelatedWork W2125415493 @default.
- W1590647512 hasRelatedWork W2126350516 @default.
- W1590647512 hasRelatedWork W2127335869 @default.
- W1590647512 hasRelatedWork W2133420352 @default.
- W1590647512 hasRelatedWork W2138229085 @default.
- W1590647512 hasRelatedWork W2160937337 @default.
- W1590647512 hasRelatedWork W2300021531 @default.
- W1590647512 hasRelatedWork W2349021215 @default.
- W1590647512 hasRelatedWork W2616296684 @default.
- W1590647512 hasRelatedWork W2623132145 @default.
- W1590647512 hasRelatedWork W2871882216 @default.
- W1590647512 hasRelatedWork W2912169573 @default.
- W1590647512 hasRelatedWork W2137697483 @default.
- W1590647512 isParatext "false" @default.
- W1590647512 isRetracted "false" @default.
- W1590647512 magId "1590647512" @default.
- W1590647512 workType "article" @default.