Search - Archive ouverte HAL Access content directly

Filter your results

71 Results
Sub-domain level 1 : info.info-es

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Naji Amine , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers hal-02287276v1

Worst-Case Execution Time Analysis of Predicated Architectures

Florian Brandner , Naji Amine
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers hal-02288493v1

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)

Simon van Mierlo , Eugene Syriani , Dominique Blouin , Moussa Amrani , Julien Deantoni et al.
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Conference papers hal-02428017v1

Solving the instance model-view update problem in AADL

Rakshit Mittal , Dominique Blouin , Anish Bhobe , Soumyadip Bandyopadhyay
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers hal-03905639v1

Is This Still Normal? Putting Definitions of Timing Anomalies to the Test

Florian Brandner , Benjamin Binder , Mihail Asavoae , Belgacem Ben Hedia , Mathieu Jan et al.
2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2021, Houston, France. pp.139-148, ⟨10.1109/RTCSA52859.2021.00024⟩
Conference papers hal-03559899v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Amine Naji , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers hal-01246343v1

Multi-objective exploration of architectural designs by composition of model transformations

Smail Rahmoun , Asma Mehiaoui-Hamitou , Etienne Borde , Laurent Pautet , Elie Soubiran et al.
Software and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Journal articles hal-02292455v1

An Emerging Need for a New Software Engineering Method

Laurent Pautet , Isabelle. Perseil
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
Conference papers hal-02286672v1

Directed Acyclic Graph Scheduling for Mixed-Criticality Systems

Roberto Medina , Etienne Borde , Laurent Pautet
Reliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
Conference papers hal-01995010v1

Dynamic Arbitration of Memory Requests with TDM-like Guarantees

Farouk Hebbache , Mathieu Jan , Florian Brandner , Laurent Pautet
Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
Conference papers hal-02287739v1

A benchmark of incremental model transformation tools based on an industrial case study with AADL

Hana Mkaouar , Dominique Blouin , Etienne Borde
Software and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles hal-03905646v1

Towards a model driven refinement process through architecture evaluation

Grzegorz Loniewski , Etienne Borde , Emilio Insfran
NFPinDSML '12, Dec 2012, Innsbruck, Austria. pp.4:1-4:6, ⟨10.1145/2420942.2420946⟩
Conference papers hal-02286708v1
Image document

Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems

Ankica Barisic , Dušan Savić , Rima Al-Ali , Ivan Ruchkin , Dominique Blouin et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168834v1

Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot , Fabien Coelho
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers hal-01111647v1
Image document

Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming

Nan Li , Eric Goubault , Laurent Pautet , S. Putot
Opportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
Conference papers hal-03749355v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Laurent Pautet , Fabien Cadoret , Smail Rahmoun , Frank Singhoff et al.
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers hal-01115723v1
Image document

Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems

Farouk Hebbache
Hardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩
Theses tel-02494421v1
Image document

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Loïc Besnard , Etienne Borde , Pierre Dissaux , Thierry Gautier , Paul Le Guernic et al.
[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports hal-00970244v2

Precise, efficient, and context-sensitive cache analysis

Florian Brandner , Camille Noûs
Real-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles hal-03559857v1

Eager Stack Cache Memory Transfers

Naji Amine , Florian Brandner
Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers hal-02287376v1

CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEUR

Xavier Jean , Marc Gatti , David Faura , Thomas Robert
France, N° de brevet: FR20130002040 20130903. XJTR:BrevMulDet-2015. 2015, pp.31
Patents hal-02412552v1
Image document

Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali , Moussa Amrani , Soumyadip Bandyopadhyay , Ankica Barisic , Fernando Barros et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168831v1

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Loic Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
Book sections hal-01615143v1
Image document

Deployment of mixed criticality and data driven systems on multi-cores architectures

Roberto Medina
Embedded Systems. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT004⟩
Theses tel-02086680v1
Image document

Réduction de la consommation statique des systèmes temps-réel multiprocesseurs

Vincent Legout , Mathieu Jan , Laurent Pautet
École d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
Conference papers hal-00922521v1

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

Laurent Pautet , Etienne Borde , Thomas Robert , Antoine Jaouen
International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
Conference papers hal-01115671v1
Image document

Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project

J Hugues , Laurent Pautet , B Zalila , P Dissaux , M Perrotin et al.
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270096v1

Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains

Elie Richa , Etienne Borde , Laurent Pautet , Matteo Bordin , José Riuz et al.
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
Conference papers hal-01115716v1

Model-Based Code Generation

Laurent Pautet , B. Zalila
Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections hal-02286688v1
Image document

COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models

I Perseil , Laurent Pautet
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers hal-02270295v1