Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Belgacem Ben Hedia"'
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::083f33e98aba9e11deb3616f59abb0f5
https://telecom-paris.hal.science/hal-03702426
https://telecom-paris.hal.science/hal-03702426
Publikováno v:
RTCSA
Correctness is an important concern during the development of real-time systems. In addition to the functional correctness, the timing behavior is often formally verified in order to ensure that correct results are delivered in-time for all possible
This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18–20, 2023. The 12 full papers inclu
Publikováno v:
Cyber Physical Systems. Model-Based Design ISBN: 9783030411305
Timing analysis of safety-critical systems derives timing bounds of applications, or software (SW), executed on dedicated platforms, or hardware (HW). The ensemble HW–SW features, from a timing perspective, two different types of computation – a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b4c64a8f115bec3c69e61a6a4a4c2b4
https://doi.org/10.1007/978-3-030-41131-2_10
https://doi.org/10.1007/978-3-030-41131-2_10
This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi'an, China, in October 2020, but was held virtually inste
Publikováno v:
Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering, 2018, 14 (2), pp.117-142. ⟨10.1007/s11334-018-0312-y⟩
Innovations in Systems and Software Engineering, Springer Verlag, 2018, 14 (2), pp.117-142. ⟨10.1007/s11334-018-0312-y⟩
Innovations in Systems and Software Engineering, 2018, 14 (2), pp.117-142. ⟨10.1007/s11334-018-0312-y⟩
Innovations in Systems and Software Engineering, Springer Verlag, 2018, 14 (2), pp.117-142. ⟨10.1007/s11334-018-0312-y⟩
International audience; In order to combine advantages of Real-Time Operating Systems (RTOS) implementing the Time-Triggered (TT) execution model and model-based design frameworks, we aim at proposing a correct-by-design methodology that derives corr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::43d5b2ac34f247ed688f639fa186bc10
https://inria.hal.science/hal-01823749/document
https://inria.hal.science/hal-01823749/document
Publikováno v:
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC), May 2018, Singapore, France. pp.42-50, ⟨10.1109/ISORC.2018.00014⟩
ISORC
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC), May 2018, Singapore, France. pp.42-50, ⟨10.1109/ISORC.2018.00014⟩
ISORC
To improve the quality, the performance and the real-time correctness of embedded real-time systems, one main design activity is the deployment consisting on mapping functions to tasks and tasks to processors. Several deployment strategies have been
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efef01b15992e5a6be354a20a875ede6
https://hal.archives-ouvertes.fr/hal-02060014
https://hal.archives-ouvertes.fr/hal-02060014
Publikováno v:
Enhanced Living Environments: From models to technologies ISBN: 9781785612114
There are several "disconnects " which need to be addressed to provide effective means for engineering Cyber Physical Systems (CPS). One of them is how to construct an optimized application starting from high-level specifications taking into account
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6aca599862232d17ac28c68c5343d65
https://doi.org/10.1049/pbhe010e_ch11
https://doi.org/10.1049/pbhe010e_ch11
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783319606170
SoCPaR
SoCPaR
With the spread of Internet of Things (IoT), ensuring security and privacy proves essential. However, given the limited computation resources of IoT objects, the mechanisms and techniques used to secure data exchange in these environments should cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a4be69a63c8c8a40242d0e94c6e0f6a0
https://doi.org/10.1007/978-3-319-60618-7_60
https://doi.org/10.1007/978-3-319-60618-7_60
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319661759
VECoS
VECoS
In order to combine advantages of Real-Time Operating Systems (RTOS) implementing the Time-Triggered (TT) execution model and model-based design frameworks, we aim at proposing a correct-by-design methodology that derives correct TT implementations f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81e7bc54d7653867124f38d20bbc5db4
https://doi.org/10.1007/978-3-319-66176-6_12
https://doi.org/10.1007/978-3-319-66176-6_12