Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Jean-Philippe Babau"'
Publikováno v:
2022 IEEE International Conference on Big Data (Big Data).
Publikováno v:
INCOSE International Symposium. 30:1758-1769
Publikováno v:
FDL (Forum on specification & Design Languages) 2021
FDL (Forum on specification & Design Languages) 2021, Sep 2021, Antibes, France
2021 Forum on specification & Design Languages (FDL)
2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France. pp.01-08, ⟨10.1109/FDL53530.2021.9568380⟩
FDL
FDL (Forum on specification & Design Languages) 2021, Sep 2021, Antibes, France
2021 Forum on specification & Design Languages (FDL)
2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France. pp.01-08, ⟨10.1109/FDL53530.2021.9568380⟩
FDL
International audience; One key objective of Cyber-Physical System (CPS) simulation is to evaluate different CPS configurations regarding a certain user objective. First, simulation of CPS necessitates frameworks to handle heterogeneity of CPS compon
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f7a3b95e0a169ccbaea3e6907c6e1a51
https://hal.archives-ouvertes.fr/hal-03364439
https://hal.archives-ouvertes.fr/hal-03364439
Publikováno v:
EUC
2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)
2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC), Dec 2020, Guangzhou, China. pp.1-8, ⟨10.1109/EUC50751.2020.00008⟩
2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)
2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC), Dec 2020, Guangzhou, China. pp.1-8, ⟨10.1109/EUC50751.2020.00008⟩
Cyber-physical systems evolving in uncertain environment endure fluctuating dynamics during their lifetime. In such a variable context, controlling systems towards safety and system performances is challenging. In particular, controller tuning (findi
Publikováno v:
SAC
SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing
SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, Apr 2020, Brno Czech Republic, Czech Republic. pp.1654-1657, ⟨10.1145/3341105.3374093⟩
SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing
SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, Apr 2020, Brno Czech Republic, Czech Republic. pp.1654-1657, ⟨10.1145/3341105.3374093⟩
In the context of model-based system engineering (MBSE), the need emerges for model verification tools aiming at detecting inconsistencies in the dynamic behavioral aspect of the design. In this paper, a model-based approach is proposed to develop mo
Publikováno v:
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development-Volume 1: MODELSWARD
8th International Conference on Model-Driven Engineering and Software Development
8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.279-286, ⟨10.5220/0008902302790286⟩
MODELSWARD
8th International Conference on Model-Driven Engineering and Software Development
8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.279-286, ⟨10.5220/0008902302790286⟩
MODELSWARD
International audience; In the context of Model-Based System Engineering (MBSE), Thales has developed a method called Arcadia, and its dedicated workbench Capella. This approach provides engineer generic practices and tools to design system models in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0640c743f36e14b93b0c0660d85242c8
https://hal.archives-ouvertes.fr/hal-02866122
https://hal.archives-ouvertes.fr/hal-02866122
Publikováno v:
Journal of Communications and Networks
Journal of Communications and Networks, IEEE & Korea Information and Communications Society, 2018, 20 (2), pp.168--181
Journal of Communications and Networks, IEEE & Korea Information and Communications Society, 2018, 20 (2), pp.168--181
International audience; To achieve an efficient and adapted network usage during video content distribution, bandwidth is classically controlled by limiting the outgoing server traffic with a token bucket policy. In this paper, we propose a predictiv
Publikováno v:
3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control CESCIT 2018
3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control CESCIT 2018, Jun 2018, Faro, Portugal. pp.88-94, ⟨10.1016/j.ifacol.2018.06.242⟩
3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control CESCIT 2018, Jun 2018, Faro, Portugal. pp.88-94, ⟨10.1016/j.ifacol.2018.06.242⟩
Racing sailboats are becoming more and more complex systems, especially with the increasing interest in total 3D attitude control. In such competitive context, realistic simulation appears as a key point for new developments. This paper presents AVS,
Publikováno v:
MODELS Companion
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, France. pp.568-576, ⟨10.1109/MODELS-C.2019.00087⟩
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, France. pp.568-576, ⟨10.1109/MODELS-C.2019.00087⟩
Cyber-physical systems evolving in uncertain environment endure fluctuating dynamics during their lifetime. Variations can be related to environment evolution, physical damages and component failures occurring after deployment. In such a variable con
Publikováno v:
Automated Software Engineering
Automated Software Engineering, Springer Verlag, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Automated Software Engineering, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Automated Software Engineering, Springer Verlag, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Automated Software Engineering, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Recent development methodologies from the industry and the academia for complex real-time systems define a stage in which system functions are deployed onto an execution platform. The deployment consists of the placement of functions on a distributed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9af5a04f60b5274cf69d73b7009cb47e
https://hal.archives-ouvertes.fr/hal-02060027
https://hal.archives-ouvertes.fr/hal-02060027