Matches in SemOpenAlex for { <https://semopenalex.org/work/W3188195439> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3188195439 endingPage "20" @default.
- W3188195439 startingPage "1" @default.
- W3188195439 abstract "Model-based design is now unavoidable when building embedded systems and, more specifically, controllers. Among the available model languages, the synchronous dataflow paradigm, as implemented in languages such as MATLAB Simulink or ANSYS SCADE, has become predominant in critical embedded system industries. Both of these frameworks are used to design the controller itself but also provide code generation means, enabling faster deployment to target and easier V&V activities performed earlier in the design process, at the model level. Synchronous models also ease the definition of formal specification through the use of synchronous observers, attaching requirements to the model in the very same language, mastered by engineers and tooled with simulation means or code generation. However, few works address the automatic synthesis of MATLAB Simulink annotations from lower-level models or code. This article presents a compilation process from Lustre models to genuine MATLAB Simulink, without the need to rely on external C functions or MATLAB functions. This translation is based on the modular compilation of Lustre to imperative code and preserves the hierarchy of the input Lustre model within the generated Simulink one. We implemented the approach and used it to validate a compilation toolchain, mapping Simulink to Lustre and then C, thanks to equivalence testing and checking. This backward compilation from Lustre to Simulink also provides the ability to produce automatically Simulink components modeling specification, proof arguments, or test cases coverage criteria." @default.
- W3188195439 created "2021-08-16" @default.
- W3188195439 creator A5025996200 @default.
- W3188195439 creator A5051407825 @default.
- W3188195439 creator A5065474253 @default.
- W3188195439 creator A5072535700 @default.
- W3188195439 date "2021-07-29" @default.
- W3188195439 modified "2023-10-14" @default.
- W3188195439 title "From Lustre to Simulink" @default.
- W3188195439 cites W1495266209 @default.
- W3188195439 cites W188860983 @default.
- W3188195439 cites W1965732719 @default.
- W3188195439 cites W1995969393 @default.
- W3188195439 cites W2022877924 @default.
- W3188195439 cites W2028287022 @default.
- W3188195439 cites W2039310738 @default.
- W3188195439 cites W2063524404 @default.
- W3188195439 cites W2069431083 @default.
- W3188195439 cites W2107605224 @default.
- W3188195439 cites W2115803389 @default.
- W3188195439 cites W2170064878 @default.
- W3188195439 cites W2468276494 @default.
- W3188195439 cites W2609686781 @default.
- W3188195439 cites W2987907651 @default.
- W3188195439 cites W2037729698 @default.
- W3188195439 doi "https://doi.org/10.1145/3461668" @default.
- W3188195439 hasPublicationYear "2021" @default.
- W3188195439 type Work @default.
- W3188195439 sameAs 3188195439 @default.
- W3188195439 citedByCount "0" @default.
- W3188195439 crossrefType "journal-article" @default.
- W3188195439 hasAuthorship W3188195439A5025996200 @default.
- W3188195439 hasAuthorship W3188195439A5051407825 @default.
- W3188195439 hasAuthorship W3188195439A5065474253 @default.
- W3188195439 hasAuthorship W3188195439A5072535700 @default.
- W3188195439 hasBestOaLocation W31881954392 @default.
- W3188195439 hasConcept C101468663 @default.
- W3188195439 hasConcept C110251889 @default.
- W3188195439 hasConcept C111919701 @default.
- W3188195439 hasConcept C133162039 @default.
- W3188195439 hasConcept C149635348 @default.
- W3188195439 hasConcept C180699724 @default.
- W3188195439 hasConcept C199360897 @default.
- W3188195439 hasConcept C26517878 @default.
- W3188195439 hasConcept C2777062904 @default.
- W3188195439 hasConcept C2777904410 @default.
- W3188195439 hasConcept C2779752788 @default.
- W3188195439 hasConcept C2780365114 @default.
- W3188195439 hasConcept C2780940931 @default.
- W3188195439 hasConcept C41008148 @default.
- W3188195439 hasConceptScore W3188195439C101468663 @default.
- W3188195439 hasConceptScore W3188195439C110251889 @default.
- W3188195439 hasConceptScore W3188195439C111919701 @default.
- W3188195439 hasConceptScore W3188195439C133162039 @default.
- W3188195439 hasConceptScore W3188195439C149635348 @default.
- W3188195439 hasConceptScore W3188195439C180699724 @default.
- W3188195439 hasConceptScore W3188195439C199360897 @default.
- W3188195439 hasConceptScore W3188195439C26517878 @default.
- W3188195439 hasConceptScore W3188195439C2777062904 @default.
- W3188195439 hasConceptScore W3188195439C2777904410 @default.
- W3188195439 hasConceptScore W3188195439C2779752788 @default.
- W3188195439 hasConceptScore W3188195439C2780365114 @default.
- W3188195439 hasConceptScore W3188195439C2780940931 @default.
- W3188195439 hasConceptScore W3188195439C41008148 @default.
- W3188195439 hasIssue "3" @default.
- W3188195439 hasLocation W31881954391 @default.
- W3188195439 hasLocation W31881954392 @default.
- W3188195439 hasLocation W31881954393 @default.
- W3188195439 hasLocation W31881954394 @default.
- W3188195439 hasOpenAccess W3188195439 @default.
- W3188195439 hasPrimaryLocation W31881954391 @default.
- W3188195439 hasRelatedWork W1565501066 @default.
- W3188195439 hasRelatedWork W2519339279 @default.
- W3188195439 hasRelatedWork W283806354 @default.
- W3188195439 hasRelatedWork W2997781902 @default.
- W3188195439 hasRelatedWork W3006199460 @default.
- W3188195439 hasRelatedWork W3188195439 @default.
- W3188195439 hasRelatedWork W3195022246 @default.
- W3188195439 hasRelatedWork W4288054832 @default.
- W3188195439 hasRelatedWork W986563131 @default.
- W3188195439 hasRelatedWork W3085888268 @default.
- W3188195439 hasVolume "5" @default.
- W3188195439 isParatext "false" @default.
- W3188195439 isRetracted "false" @default.
- W3188195439 magId "3188195439" @default.
- W3188195439 workType "article" @default.