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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Jasmin: An Alternative for Secure Modularity Inside the Digital Home
Matthieu Anne
,
Koutheir Attouchi
,
Dominique Henry-De-Villeneuve
,
Jacques Pulou
Communication dans un congrès
hal-00863110v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Formal verification of a synchronous data-flow compiler : from Signal to C
van Chan Ngô
Thèse
tel-01067477v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Infrastructure pour la gestion générique et optimisée des traces d’exécution pour les systèmes embarqués
Alexis Martin
Thèse
tel-01492474v3
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Unités arithmétiques et cryptoprocesseurs matériels pour la cryptographie sur courbe hyperelliptique
Gabriel Gallin
Thèse
tel-01989822v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Leveraging side-channel signals for IoT malware classification and rootkit detection
Duy-Phuc Pham
Thèse
tel-03963614v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Contrôle vérifié de flux d'information appliqué aux systèmes cyber-physiques
Jean-Joseph Marty
Thèse
tel-04052781v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Modeling Timing Requirements in Problem Frames Using CCSL
Chen Xiaohong
,
Jing Liu
,
Frédéric Mallet
,
Zhi Jin
APSEC 2011 - 18th Asia Pacific Software Engineering Conference , Dec 2011, Ho Chi Minh, Vietnam. pp.381-388,
⟨10.1109/APSEC.2011.30⟩
Communication dans un congrès
hal-00809644v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: advantages, limitations and alternatives
Imran Rafiq Quadri
,
Abdoulaye Gamatié
,
Pierre Boulet
,
Samy Meftali
,
Jean-Luc Dekeyser
Article dans une revue
istex
hal-00666014v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Mobilité et bases de données : Etat de l'art et perspectives
Guy Bernard
,
Jalel Ben-Othman
,
Luc Bouganim
,
Gérôme Canals
,
Bruno Defude
,
et al.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques , 2003, 22 (3), pp.351-377.
⟨10.3166/tsi.22.351-377⟩
Article dans une revue
hal-00415089v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Interactive Parallelization of Embedded Real-Time Applications Starting from Open-Source Scilab & Xcos
Oliver Oey
,
Michael Rückauer
,
Timo Stripf
,
Jurgen Becker
,
Clément David
,
et al.
ERTS 2018 , Jan 2018, Toulouse, France
Communication dans un congrès
hal-02156237v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
From SSA to Synchronous Concurrency and Back
Hugo Pompougnac
,
Ulysse Beaugnon
,
Albert Cohen
,
Dumitru Potop-Butucaru
[Research Report] RR-9380, INRIA Sophia Antipolis - Méditerranée (France). 2020, pp.23
Rapport
hal-03043623v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams
Aamir Khan
,
Frédéric Mallet
,
Muhammad Rashid
Article dans une revue
hal-01670423v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
SoC-Trace Infrastructure
Generoso Pagano
,
Vania Marangozova-Martin
[Technical Report] RT-0427, Inria. 2012, pp.33
Rapport
hal-00719745v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
From UML to Petri Nets for non functional Property Verification
Frédéric Mallet
,
Marie-Agnès Peraldi-Frati
,
Charles André
IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06. , Oct 2006, Sophia antipolis, France.
⟨10.1109/IES.2006.357475⟩
Communication dans un congrès
inria-00371277v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems
Gideon Smeding
Thèse
tel-00925626v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Boolean Parametric Data Flow Modeling - Analyses - Implementation
Evangelos Bempelis
Thèse
tel-01148698v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Calcul neuromorphique pour l’exploration et la catégorisation robuste d’environnement visuel et multimodal dans les systèmes embarqués.
Yann Bernard
Thèse
tel-03547909v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Virtual prototyping AADL architectures in a polychronous model of computation
Yue Ma
,
Jean-Pierre Talpin
,
Thierry Gautier
[Research Report] RR-6479, INRIA. 2008, pp.25
Rapport
inria-00265059v3
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Does Code Generation Promote or Prevent Optimizations?
Asma Charfi
,
Chokri Mraidha
,
Sébastien Gérard
,
François Terrier
,
Pierre Boulet
ISORC 2010 - 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing , May 2010, Parador of Carmona, Spain. pp.75--79,
⟨10.1109/ISORC.2010.25⟩
Communication dans un congrès
inria-00522661v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More