Search - LS2N - équipe STR Access content directly

Filter your results

5 Results
Deposit type : Fulltext
Image document

Efficient mapping of runnables to tasks for embedded AUTOSAR applications

Fouad Khenfri , Khaled Chaaban , Maryline Chetto
Journal of Systems Architecture, 2020, 110, pp.101800. ⟨10.1016/j.sysarc.2020.101800⟩
Journal articles hal-02867311v1
Image document

Requirement specification and model-checking of a real-time scheduler implementation

Khaoula Boukir , Jean-Luc Béchennec , Anne-Marie Déplanche
28th International Conference on Real-Time and Network Systems (RTNS 2020), Jun 2020, Paris, France. pp.89-99, ⟨10.1145/3394810.3394817⟩
Conference papers hal-02941350v1
Image document

Backward Symbolic Optimal Reachability in Weighted Timed Automata

Rémi Parrot , Didier Lime
18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), Sep 2020, Vienna, Austria. pp.41-57, ⟨10.1007/978-3-030-57628-8_3⟩
Conference papers hal-02939596v1
Image document

Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems

Adrien Quillet , Audrey Queudet , Didier Lime
International Conference on Real-Time Networks and Systems (RTNS’20), Jun 2020, Paris, France
Conference papers hal-02566657v1
Image document

Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems Validation

Joumana Lagha , Jean-Luc Béchennec , Sébastien Faucou , Olivier-H Roux
VALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Oct 2020, Lisbon, Portugal
Conference papers hal-03006791v1