Výsledky vyhledávání - "Alain Plantec"

Work-In-Progress: Models and tools to detect Real-Time Scheduling Anomalies

Autor: Blandine Djika, Frank Singhoff, Alain Plantec, Georges Edouard Kouamou

Publikováno v: Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS)
Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany

International audience; This paper deals with scheduling anomalies in real-time systems. Scheduling anomalies jeopardize schedulability analysis made prior to execution. In this paper, we propose a model to specify conditions leading to scheduling an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1cb21833ced297c06df6004135e9715
https://hal.univ-brest.fr/hal-03361920

Zobrazit plný text záznamu

Fine-Grained Runtime Monitoring of Real-Time Embedded Systems

Autor: Zineb Boukili, Hai Nam Tran, Alain Plantec

Publikováno v: ACM SIGAda Ada Letters. 42:105-105

Dynamically ensuring the correctness of the functional behavior of a real-time embedded system is tedious, especially in the autonomous domain. Even though the current real-time task model provides sufficient information to perform basic schedulabili

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3da42b6870d6b3d98564e8856b495f16
https://doi.org/10.1145/3577949.3577970

Zobrazit plný text záznamu

Object Miners: Acquire, Capture and Replay Objects to Track Elusive Bugs

Autor: Stéphane Ducasse, Steven Costiou, Mickaël Kerboeuf, Alain Plantec, Clotilde Toullec

Publikováno v: The Journal of Object Technology
The Journal of Object Technology, Chair of Software Engineering, 2020, 19 (1), pp.1:1. ⟨10.5381/jot.2020.19.1.a1⟩
The Journal of Object Technology, 2020, 19 (1), pp.1:1. ⟨10.5381/jot.2020.19.1.a1⟩

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::98adccd63c440881c54513872a44959f
https://hal.archives-ouvertes.fr/hal-02929746

Zobrazit plný text záznamu

Lub: A pattern for fine grained behavior adaptation at runtime

Autor: Glenn Cavarlé, Alain Plantec, Steven Costiou, Mickaël Kerboeuf

Publikováno v: Science of Computer Programming
Science of Computer Programming, Elsevier, 2017, ⟨10.1016/j.scico.2017.09.006⟩

Autonomous systems have to evolve in complex environments and their software must adapt to various situations. Although it is common to anticipate adaptations at design time, it becomes a more complex issue when facing unpredictable contexts at runti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b6bb3b06a3b0c24714856ffa91af409
https://doi.org/10.1016/j.scico.2017.09.006

Zobrazit plný text záznamu

About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL

Autor: Frank Singhoff, Stéphane Rubini, Hai Nam Tran, Jalil Boukhobza, Laurent Lemarchand, Pierre Dissaux, Valérie-Anne Nicolas, Alain Plantec, Jérôme Legrand, Mourad DRIDI, Jean-Philippe Diguet

Publikováno v: Invited speaker at SYRCoSE 2018-12th Spring/Summer Young Researchers’ Colloquium on Software Engineering
Invited speaker at SYRCoSE 2018-12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia
HAL

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f90852fc5eac705703c26b5866bbdba
https://hal.univ-brest.fr/hal-01825157

Zobrazit plný text záznamu

A feature-oriented model-driven engineering approach for the early validation of feature-based applications

Autor: Alain Plantec, Steven Costiou, Vincent Ribaud, Glenn Cavarlé

Publikováno v: Science of Computer Programming
Science of Computer Programming, Elsevier, 2018, 161, pp.18-33. ⟨10.1016/j.scico.2018.01.001⟩

International audience; The software industry has to offer increasingly individualized software for a large number of platforms. In a constantly evolving technical context, the appropriateness and the profitableness of a software has to be ensured ea

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::210295b34e13a89d0105e6bd1c322afe
https://hal.univ-brest.fr/hal-01701593/document

Zobrazit plný text záznamu

Debugging Cyber-Physical Systems with Pharo

Autor: Stéphane Ducasse, Elisa Gonzalez Boix, Matteo Marra, Alain Plantec, Steven Costiou, Mickaël Kerboeuf, Guillermo Polito

Publikováno v: IWST
Proceedings of the 12th Edition of the International Workshop on Smalltalk Technologies
Proceedings of the 12th Edition of the International Workshop on Smalltalk Technologies, ESUG, Sep 2017, Maribor, Slovenia. pp.8:1--8:10, ⟨10.1145/3139903.3139913⟩

International audience; Cyber-Physical Systems (CPS) integrate sensors and actua-tors to collect data and control entities in the physical world. Debugging CPS systems is hard due to the time-sensitive nature of a distributed applications combined wi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b02bfaa94a783b88c6bf75703d687fa7
https://doi.org/10.1145/3139903.3139913

Zobrazit plný text záznamu

Unanticipated Debugging with Dynamic Layers

Autor: Steven Costiou, Mickaël Kerboeuf, Alain Plantec, Marcus Denker

Publikováno v: Companion to the first International Conference on the Art, Science and Engineering of Programming
LASSY 2017 Live Adaptation of Software SYstems
LASSY 2017 Live Adaptation of Software SYstems, Apr 2017, Brussels, Belgium. pp.6, ⟨10.1145/3079368.3079391⟩
Programming

International audience; To debug running software we need unanticipated adaptation capabilities, especially when systems cannot be stopped, updated and restarted. Adapting such programs at runtime is an extreme solution given the delicate live contex

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9286c36d7e7745b184f3a1188b7ac6d
https://hal.univ-brest.fr/hal-01591077

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání