Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

141 résultats
keyword_s : Embedded systems
Page :
triés par

SMT based false causal loop detection during code synthesis from Polychronous specifications

 Bijoy Anthony Jose , Abdoulaye Gamatié , Julien Ouy , Sandeep Kumar Shukla
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom. ⟨10.1109/MEMCOD.2011.5970517⟩
Communication dans un congrès inria-00637574v1
Image document

Contrôle de flux d'information par utilisation conjointe d'analyse statique et dynamique accélérée matériellement

 Mounir Nasr Allah
Cryptographie et sécurité [cs.CR]. CentraleSupélec, 2020. Français. ⟨NNT : 2020CSUP0007⟩
Thèse tel-03350458v1

Controller Area Network: CANs use within automobiles

 Nicolas Navet
IEEE Potentials, 1998, 17 (4), pp.12-14
Article dans une revue inria-00098459v1
Image document

Hardware/Software Support for Securing Virtualization in Embedded Systems

 Franck Bucheron , Arnaud Tisserand , Louis Rilling
1st Symposium on Digital Trust in Auvergne, Dec 2014, Clermont-Ferrand, France
Communication dans un congrès hal-01095430v1

TimeSquare

 Nicolas Chleq , Benoît Ferrero , Julien Deantoni , Frédéric Mallet , Charles André
France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Brevet hal-01355710v1

TimeSquare: Treat your Models with Logical Time

 Julien Deantoni , Frédéric Mallet
TOOLS - 50th International Conference on Objects, Models, Components, Patterns - 2012, Czech Technical University in Prague, in co-operation with ETH Zurich, May 2012, Prague, Czech Republic. pp.34-41, ⟨10.1007/978-3-642-30561-0_4⟩
Communication dans un congrès hal-00688590v1
Image document

Component-based Design of Heterogeneous Reactive Systems in Prometheus

 Gregor Goessler
[Research Report] RR-6057, INRIA. 2006, pp.18
Rapport inria-00119245v2
Image document

Toward optimized code generation through model-based optimization

 Asma Charfi , Chokri Mraidha , Sébastien Gerard , François Terrier , Pierre Boulet
DATE 2010 - Design, Automation and Test in Europe Conference and Exhibition, Mar 2010, Dresden, Germany. pp.1313--1316, ⟨10.1109/DATE.2010.5457010⟩
Communication dans un congrès inria-00522657v1
Image document

When Side-Channel Attacks Break the Black-Box Property of Embedded Artificial Intelligence

 Benoît Coqueret , Mathieu Carbone , Olivier Sentieys , Gabriel Zaid
AISec 2023 - 16th ACM Workshop on Artificial Intelligence and Security, Nov 2023, Copenhagen, Denmark. pp.127-138, ⟨10.1145/3605764.3623903⟩
Communication dans un congrès hal-04320434v1
Image document

Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model

 M. Alras , Paul Caspi , Alain Girault , Pascal Raymond
International Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. pp.3--10, ⟨10.1109/ICESS.2009.36⟩
Communication dans un congrès hal-00753526v1
Image document

SimSoC: A full system simulation software for embedded systems

 Claude Helmstetter , Vania Joloboff , Hui Xiao
2009 International Workshop on Open-source Software for Scientific Computation (OSSC-2009), LIAMA, Institute of Automation, CAS, Beijing, China Guizhou Normal University, China, Sep 2009, Guiyang, China. 7 p
Communication dans un congrès inria-00435247v1

Static Analysis by Abstract Interpretation of Embedded Critical Software

 Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , et al.
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
Communication dans un congrès inria-00528632v1

SystemJ: A GALS Language for System Level Design

 Avinash Malik , Zoran Salcic , Partha Roop , Alain Girault
Computer Languages, Systems and Structures, 2010, 36 (4), pp.317--344. ⟨10.1016/j.cl.2010.01.001⟩
Article dans une revue istex hal-00753512v1

Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone

 Adolf Abdallah , Abdoulaye Gamatié , Jean-Luc Dekeyser
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, Architecture des ordinateurs, 30 (9), pp.1089 -- 1114. ⟨10.3166/tsi.30.1089-1113⟩
Article dans une revue istex inria-00637009v1
Image document

An Architecture Description Language For In-Vehicle Embedded System Development

 Jean-Pierre Elloy , Françoise Simonot-Lion
[Intern report] A01-R-282 || elloy01a, 2001, 6 p
Rapport inria-00107546v1
Image document

Compositional design of isochronous systems

 Jean-Pierre Talpin , Julien Ouy , Loïc Besnard , Paul Le Guernic
[Research Report] RR-6227, INRIA. 2007, pp.24
Rapport inria-00156499v5

Modélisation de composants matériels et exécutifs en vue de la validation d'architecture opérationelle par évaluation de performances. Rapport intermédiaire du contrat PSA 033

 Matthieu Courrier , Sébastien Wolf , Françoise Simonot-Lion , Ye-Qiong Song
[Contrat] 98-R-056 || courrier98a, 1998, 32 p
Rapport inria-00098544v1

Definition of language for automotive embedded electronic architecture description (ADL V0.4)

 Paolo Castelpietra , Ulrich Freund , Jochen Küster , Henrik Lönn , Jörn Migge , et al.
[Contract] A03-R-334 || castelpietra03a, 2003, 113 p
Rapport inria-00099642v1
Image document

Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip

 Abdoulaye Gamatié
Embedded Systems. Université des Sciences et Technologie de Lille - Lille I, 2012
HDR tel-00756967v2
Image document

Embedded systems energy characterization methodology using non-intrusive instrumentation

 Nicolas Fournel , Antoine Fraboulet , Paul Feautrier
[Research Report] LIP RR-2006-37, Laboratoire de l'informatique du parallélisme. 2006, 2+32p
Rapport hal-02102406v1

Jasmin: An Alternative for Secure Modularity Inside the Digital Home

 Matthieu Anne , Koutheir Attouchi , Dominique Henry-De-Villeneuve , Jacques Pulou
Component Based Software Engineering, Jun 2012, Bertinoro, Italy. pp.Pages 145-150, ⟨10.1145/2304736.2304760⟩
Communication dans un congrès hal-00863110v1
Image document

Formal verification of a synchronous data-flow compiler : from Signal to C

 van Chan Ngô
Software Engineering [cs.SE]. Université de Rennes, 2014. English. ⟨NNT : 2014REN1S034⟩
Thèse tel-01067477v2

Interoperability, safety and security in IoT : second international conference, InterIoT 2016 and third international conference, SaSeIoT 2016

 Nathalie Mitton , Hakima Chaouchi , Thomas Noel , Thomas Watteyne , Alban Gabillon , et al.
Springer, 190, pp.139, 2017, LNICST, LNICST, 978-3-319-52726-0
Ouvrages hal-01647101v1
Image document

Orcc's Compa-Backend demonstration

 Yaset Oliva , Emmanuel Casseau , Kevin Martin , Pierre Bomel , Jean-Philippe Diguet , et al.
Conference on Design and Architectures for Signal and Image Processing, Demo Night, Oct 2014, Madrid, Spain. 2014
Poster de conférence hal-01059858v1
Image document

Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset

 Mikel Cordovilla , Frédéric Boniol , Julien Forget , Eric Noulard , Claire Pagetti
19th International Conference on Real-Time and Network Systems, Irccyn, Sep 2011, Nantes, France
Communication dans un congrès inria-00618587v1
Image document

Unités arithmétiques et cryptoprocesseurs matériels pour la cryptographie sur courbe hyperelliptique

 Gabriel Gallin
Cryptographie et sécurité [cs.CR]. Université de Rennes, 2018. Français. ⟨NNT : 2018REN1S071⟩
Thèse tel-01989822v2
Image document

Leveraging side-channel signals for IoT malware classification and rootkit detection

 Duy-Phuc Pham
Cryptography and Security [cs.CR]. Université Rennes 1, 2022. English. ⟨NNT : 2022REN1S068⟩
Thèse tel-03963614v1
Image document

Contrôle vérifié de flux d'information appliqué aux systèmes cyber-physiques

 Jean-Joseph Marty
Systèmes embarqués. Université de Rennes, 2022. Français. ⟨NNT : 2022REN1S086⟩
Thèse tel-04052781v1

An MDE approach for modeling network on chip topologies

 Majdi Elhaji , Pierre Boulet , Samy Meftali , Abdelkrim Zitouni , Jean-Luc Dekeyser , et al.
Design and Technology of Integrated Systems in Nanoscale Era (DTIS), 2010 5th International Conference on, Mar 2010, Hammamet, Tunisia. ⟨10.1109/DTIS.2010.5487596⟩
Communication dans un congrès inria-00526629v1

An Architecture Description Language for developing Automotive ECU-Software

 Ulrich Freund , Orazio Gurrieri , Jochen Küster , Henrik Lonn , Jörn Migge , et al.
[Intern report] A03-R-337 || freund03a, 2003
Rapport inria-00099774v1
Page :