Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Bourbouh, Hamza"'
Publikováno v:
ACM Transactions on Cyber-Physical Systems
ACM Transactions on Cyber-Physical Systems, ACM, 2021, 5 (3), pp.1-20. ⟨10.1145/3461668⟩
ACM Transactions on Cyber-Physical Systems, ACM, 2021, 5 (3), pp.1-20. ⟨10.1145/3461668⟩
International audience; 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 Simulin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::85237d093b110e8f574d0b7abd040c8b
https://hal.archives-ouvertes.fr/hal-03323076
https://hal.archives-ouvertes.fr/hal-03323076
Autor:
Mavridou, Anastasia, Bourbouh, Hamza, Garoche, Pierre Loic, Giannakopoulou, Dimitra, Pessburger, Thomas, Schumann, Johann
Publikováno v:
26th REFSQ 2020
Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track
Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, Mar 2020, Pise, Italy
Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track
Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, Mar 2020, Pise, Italy
International audience; Formal verification and simulation are powerful tools for the verification of requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically expressed in natural la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::60c59e49ab3603e21a7517bbff96dfce
https://hal.archives-ouvertes.fr/hal-03188946/document
https://hal.archives-ouvertes.fr/hal-03188946/document
International audience; We present CoCoSim, a framework to support the design, code generation and analysis of discrete dataflow model expressed in Simulink. In this work, we specifically focus on the analysis and code generation of multi-periodic sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3ea2ac5867b3084c18aca291cf84e94f
https://hal.science/hal-02441334
https://hal.science/hal-02441334