Property |
Value |
dbo:abstract
|
- L'isolation des systèmes temps réel est une nécessité pour garantir la fiabilité et la sécurité en limitant ou en empêchant certaines interactions entre les différents composants d'un système. Dans les systèmes temps réel, les composants à isoler les uns des autres sont généralement les différentes tâches exécutées sur le système et les ressources spatiales et temporelles que celles-ci utilisent. Les ressources spatiales comprennent les différents types de mémoires présents dans le système : mémoire cache, mémoire vive, etc. Les ressources temporelles correspondent au temps pendant lequel une tâche a accès au processeur en comprenant le temps d'accès aux ressources. Selon le type d'isolation recherchée (spatiale, temporelle, consommation d'énergie, etc.), différentes solutions peuvent être mises en place. Ces différentes solutions peuvent passer par la virtualisation ou par le partitionnement des ressources, c'est-à-dire, limiter l'accès aux ressources de certaines tâches pour améliorer le temps d'accès à ces ressources. Ces pratiques de partitionnement sont notamment très répandues dans les systèmes systèmes temps réel qui possèdent un processeur multi-cœur car cela permet une meilleure isolation temporelle entre les tâches exécutées sur les différents cœurs en rendant le temps d'accès aux ressources partagées plus déterministe. Les systèmes à criticité mixte sont un type de système temps réel qui doivent fournir certaines garanties quant à leur capacité à faire cohabiter les tâches à criticités élevées et faibles. Dans un système à criticité mixte il y a au minimum deux niveaux de criticité, critique et non-critique, et plus le niveau de criticité d'une tâche est élevé, plus les contraintes sur cette tâche seront fortes. (fr)
- L'isolation des systèmes temps réel est une nécessité pour garantir la fiabilité et la sécurité en limitant ou en empêchant certaines interactions entre les différents composants d'un système. Dans les systèmes temps réel, les composants à isoler les uns des autres sont généralement les différentes tâches exécutées sur le système et les ressources spatiales et temporelles que celles-ci utilisent. Les ressources spatiales comprennent les différents types de mémoires présents dans le système : mémoire cache, mémoire vive, etc. Les ressources temporelles correspondent au temps pendant lequel une tâche a accès au processeur en comprenant le temps d'accès aux ressources. Selon le type d'isolation recherchée (spatiale, temporelle, consommation d'énergie, etc.), différentes solutions peuvent être mises en place. Ces différentes solutions peuvent passer par la virtualisation ou par le partitionnement des ressources, c'est-à-dire, limiter l'accès aux ressources de certaines tâches pour améliorer le temps d'accès à ces ressources. Ces pratiques de partitionnement sont notamment très répandues dans les systèmes systèmes temps réel qui possèdent un processeur multi-cœur car cela permet une meilleure isolation temporelle entre les tâches exécutées sur les différents cœurs en rendant le temps d'accès aux ressources partagées plus déterministe. Les systèmes à criticité mixte sont un type de système temps réel qui doivent fournir certaines garanties quant à leur capacité à faire cohabiter les tâches à criticités élevées et faibles. Dans un système à criticité mixte il y a au minimum deux niveaux de criticité, critique et non-critique, et plus le niveau de criticité d'une tâche est élevé, plus les contraintes sur cette tâche seront fortes. (fr)
|
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 55442 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1997 (xsd:integer)
- 1999 (xsd:integer)
- 2006 (xsd:integer)
- 2007 (xsd:integer)
- 2008 (xsd:integer)
- 2009 (xsd:integer)
- 2010 (xsd:integer)
- 2011 (xsd:integer)
- 2012 (xsd:integer)
- 2013 (xsd:integer)
- 2014 (xsd:integer)
- 2015 (xsd:integer)
- 2016 (xsd:integer)
- 2017 (xsd:integer)
|
prop-fr:article
|
- 2 (xsd:integer)
- 3 (xsd:integer)
- 4 (xsd:integer)
- 22 (xsd:integer)
|
prop-fr:arxiv
| |
prop-fr:commentaire
|
- 8 (xsd:integer)
- 11 (xsd:integer)
- 16 (xsd:integer)
- 34 (xsd:integer)
- 978 (xsd:integer)
- 200915 (xsd:integer)
- 201110 (xsd:integer)
- 201124 (xsd:integer)
- Proceedings of the 44th annual Design Automation Conference (fr)
- International Conference on Computational Science and Engineering (fr)
- Proceedings of the 1st Workshop on critical automotive applications (fr)
- Real-Time and Embedded Technology and Applications Symposium , 2017 IEEE (fr)
- Haskell '06 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (fr)
- Real-Time and Embedded Technology and Applications Symposium , 2013 IEEE 19th (fr)
- IEEE 19th Real-Time and Embedded Technology and Applications Symposium (fr)
- ACM SIGBED Review (fr)
- ACM Trans. Embedd. Comput. Syst (fr)
- Distributed Computing Systems (fr)
- Journal of Systems Architecture (fr)
- Real-Time Computing Systems and Applications, 1997. Proceedings., Fourth International Workshop on Real-Time Computing Systems and Applications (fr)
- Ninth edition (fr)
- Pervasive Computing and Communication Workshops (fr)
- Real-Time Syst (fr)
- Real-time systems 2014 (fr)
- Sponsored by IEEE Computer Society (fr)
- The Journal of systems and software (fr)
- technical report (fr)
- Conférence d’informatique en Parallélisme, Architecture et Système , Jun 2017, Sophia Antipolis, France. (fr)
- Proceedings of the 6th international conference on Information processing in sensor networks (fr)
- Proceedings of the 29th Annual ACM Symposium on applied computing (fr)
- Proceedings of the Second Workshop on isolation and integration in embedded systems (fr)
- International Journal of Computer Science and Information Security (fr)
- APSys '11 Proceedings of the Second Asia-Pacific Workshop on Systems (fr)
- Object/Component/Service-Oriented Real-Time Distributed Computing , 2013 IEEE 16th International Symposium (fr)
- Vingt-sixièmes Journées Francophones des Langages Applicatifs (fr)
- International Conference on Green Computing and Communications (fr)
- HOTOS'07 Proceedings of the 11th USENIX workshop on Hot topics in operating systems (fr)
- Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security (fr)
- Cyber-Physical Systems, Networks, and Applications , 2015 IEEE 3rd International Conference (fr)
|
prop-fr:doi
| |
prop-fr:id
|
- Chen2011 (fr)
- Ali2017 (fr)
- Balbastre2009 (fr)
- Bertrand2010 (fr)
- Craciunas2009 (fr)
- Craciunas2012 (fr)
- Cucinotta2012 (fr)
- Cucinotta2013 (fr)
- Farshchi2017 (fr)
- Heechul2015 (fr)
- HeechulYun2012 (fr)
- Herber2014 (fr)
- Hyoseung2012 (fr)
- Kumar1 (fr)
- Kumar2 (fr)
- Kumar2007 (fr)
- Kumar2007v2 (fr)
- Nakajima1 (fr)
- Nakamoto1 (fr)
- Risat2014 (fr)
- Schliecker2013 (fr)
- Sha2016 (fr)
- Shin1 (fr)
- Takahiro1 (fr)
- Takashi1 (fr)
- Yamada1 (fr)
- Yamada2 (fr)
- Yun2013 (fr)
- Yun2014 (fr)
- azab2014 (fr)
- baruah2011 (fr)
- baruah2014 (fr)
- blackham2011 (fr)
- ecco2014 (fr)
- hwang2010 (fr)
- medusa (fr)
- pip (fr)
- review (fr)
- stecklina2015 (fr)
- takuya2013 (fr)
- yao2012 (fr)
- Chen2011 (fr)
- Ali2017 (fr)
- Balbastre2009 (fr)
- Bertrand2010 (fr)
- Craciunas2009 (fr)
- Craciunas2012 (fr)
- Cucinotta2012 (fr)
- Cucinotta2013 (fr)
- Farshchi2017 (fr)
- Heechul2015 (fr)
- HeechulYun2012 (fr)
- Herber2014 (fr)
- Hyoseung2012 (fr)
- Kumar1 (fr)
- Kumar2 (fr)
- Kumar2007 (fr)
- Kumar2007v2 (fr)
- Nakajima1 (fr)
- Nakamoto1 (fr)
- Risat2014 (fr)
- Schliecker2013 (fr)
- Sha2016 (fr)
- Shin1 (fr)
- Takahiro1 (fr)
- Takashi1 (fr)
- Yamada1 (fr)
- Yamada2 (fr)
- Yun2013 (fr)
- Yun2014 (fr)
- azab2014 (fr)
- baruah2011 (fr)
- baruah2014 (fr)
- blackham2011 (fr)
- ecco2014 (fr)
- hwang2010 (fr)
- medusa (fr)
- pip (fr)
- review (fr)
- stecklina2015 (fr)
- takuya2013 (fr)
- yao2012 (fr)
|
prop-fr:isbn
|
- 0 (xsd:integer)
- 1 (xsd:integer)
- 978 (xsd:integer)
- 1605584649 (xsd:integer)
- 9781450311793 (xsd:decimal)
- 9781450324694 (xsd:decimal)
|
prop-fr:issn
|
- 18 (xsd:integer)
- 164 (xsd:integer)
- 360 (xsd:integer)
- 738 (xsd:integer)
- 922 (xsd:integer)
- 1052 (xsd:integer)
- 1063 (xsd:integer)
- 1068 (xsd:integer)
- 1080 (xsd:integer)
- 1433 (xsd:integer)
- 1533 (xsd:integer)
- 1541 (xsd:integer)
- 1545 (xsd:integer)
- 1551 (xsd:integer)
- 1573 (xsd:integer)
- 1947 (xsd:integer)
- 2153 (xsd:integer)
|
prop-fr:lang
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
prop-fr:lireEnLigne
| |
prop-fr:mois
|
- Décembre (fr)
- Juin (fr)
- décembre (fr)
- mai (fr)
- mars (fr)
- septembre (fr)
- janvier (fr)
- juillet (fr)
- août (fr)
- avril (fr)
- juin (fr)
- novembre (fr)
- octobre (fr)
- février (fr)
- Décembre (fr)
- Juin (fr)
- décembre (fr)
- mai (fr)
- mars (fr)
- septembre (fr)
- janvier (fr)
- juillet (fr)
- août (fr)
- avril (fr)
- juin (fr)
- novembre (fr)
- octobre (fr)
- février (fr)
|
prop-fr:nom
|
- Bradford (fr)
- Ford (fr)
- Grimaud (fr)
- Suzuki (fr)
- Yao (fr)
- Shao (fr)
- Davis (fr)
- Chen (fr)
- Ali (fr)
- Hiroshi (fr)
- Richter (fr)
- Choi (fr)
- Costanzo (fr)
- Hwang (fr)
- Kim (fr)
- Ma (fr)
- Ning (fr)
- Shah (fr)
- Shin (fr)
- Yang (fr)
- Bertrand (fr)
- Ernst (fr)
- Kohler (fr)
- Nakajima (fr)
- Sha (fr)
- Burns (fr)
- Ecco (fr)
- Klein (fr)
- Srivastava (fr)
- Takashi (fr)
- Roscoe (fr)
- Nowak (fr)
- Gu (fr)
- Kang (fr)
- Takuya (fr)
- Shen (fr)
- Perlman (fr)
- Vaynberg (fr)
- Santosh (fr)
- Kumar (fr)
- Mancuso (fr)
- Herber (fr)
- Yamada (fr)
- Bak (fr)
- Shi (fr)
- Kirsch (fr)
- Caccamo (fr)
- Payer (fr)
- Cock (fr)
- Derrin (fr)
- Elphinstone (fr)
- Heiser (fr)
- Jomaa (fr)
- Saidi (fr)
- Biswas (fr)
- Rauchfuss (fr)
- Sokolova (fr)
- Yun (fr)
- Herkersdorf (fr)
- Takahiro (fr)
- Takanori (fr)
- Bergougnoux (fr)
- Cucinotta (fr)
- Tamura (fr)
- Yoon (fr)
- Trinquet (fr)
- Ganesh (fr)
- Masuda (fr)
- Hiroaki (fr)
- Blackham (fr)
- Castner (fr)
- Kinebuchi (fr)
- Arundale (fr)
- Azab (fr)
- Balbastre (fr)
- Baruah (fr)
- Betti (fr)
- Bhutkar (fr)
- Craciunas (fr)
- Faggioli (fr)
- Farshchi (fr)
- Faucou (fr)
- Gang Yao (fr)
- Heechul (fr)
- Heechul Yun (fr)
- Hyoseung (fr)
- Iguchi-Cartigny (fr)
- Kegley (fr)
- Kono (fr)
- Kumar Valsan (fr)
- Nakamoto (fr)
- Pellizzoni (fr)
- Ragunathan (fr)
- Ripom (fr)
- Risat (fr)
- Röck (fr)
- Schliecker (fr)
- Singhania (fr)
- Stecklina (fr)
- Tobuschat (fr)
- Valsan (fr)
- Zheng-Pei (fr)
- Bradford (fr)
- Ford (fr)
- Grimaud (fr)
- Suzuki (fr)
- Yao (fr)
- Shao (fr)
- Davis (fr)
- Chen (fr)
- Ali (fr)
- Hiroshi (fr)
- Richter (fr)
- Choi (fr)
- Costanzo (fr)
- Hwang (fr)
- Kim (fr)
- Ma (fr)
- Ning (fr)
- Shah (fr)
- Shin (fr)
- Yang (fr)
- Bertrand (fr)
- Ernst (fr)
- Kohler (fr)
- Nakajima (fr)
- Sha (fr)
- Burns (fr)
- Ecco (fr)
- Klein (fr)
- Srivastava (fr)
- Takashi (fr)
- Roscoe (fr)
- Nowak (fr)
- Gu (fr)
- Kang (fr)
- Takuya (fr)
- Shen (fr)
- Perlman (fr)
- Vaynberg (fr)
- Santosh (fr)
- Kumar (fr)
- Mancuso (fr)
- Herber (fr)
- Yamada (fr)
- Bak (fr)
- Shi (fr)
- Kirsch (fr)
- Caccamo (fr)
- Payer (fr)
- Cock (fr)
- Derrin (fr)
- Elphinstone (fr)
- Heiser (fr)
- Jomaa (fr)
- Saidi (fr)
- Biswas (fr)
- Rauchfuss (fr)
- Sokolova (fr)
- Yun (fr)
- Herkersdorf (fr)
- Takahiro (fr)
- Takanori (fr)
- Bergougnoux (fr)
- Cucinotta (fr)
- Tamura (fr)
- Yoon (fr)
- Trinquet (fr)
- Ganesh (fr)
- Masuda (fr)
- Hiroaki (fr)
- Blackham (fr)
- Castner (fr)
- Kinebuchi (fr)
- Arundale (fr)
- Azab (fr)
- Balbastre (fr)
- Baruah (fr)
- Betti (fr)
- Bhutkar (fr)
- Craciunas (fr)
- Faggioli (fr)
- Farshchi (fr)
- Faucou (fr)
- Gang Yao (fr)
- Heechul (fr)
- Heechul Yun (fr)
- Hyoseung (fr)
- Iguchi-Cartigny (fr)
- Kegley (fr)
- Kono (fr)
- Kumar Valsan (fr)
- Nakamoto (fr)
- Pellizzoni (fr)
- Ragunathan (fr)
- Ripom (fr)
- Risat (fr)
- Röck (fr)
- Schliecker (fr)
- Singhania (fr)
- Stecklina (fr)
- Tobuschat (fr)
|
prop-fr:pages
|
- 1 (xsd:integer)
- 19 (xsd:integer)
- 25 (xsd:integer)
- 51 (xsd:integer)
- 60 (xsd:integer)
- 61 (xsd:integer)
- 64 (xsd:integer)
- 69 (xsd:integer)
- 90 (xsd:integer)
- 144 (xsd:integer)
- 155 (xsd:integer)
- 161 (xsd:integer)
- 165 (xsd:integer)
- 189 (xsd:integer)
- 218 (xsd:integer)
- 236 (xsd:integer)
- 245 (xsd:integer)
- 248 (xsd:integer)
- 297 (xsd:integer)
- 299 (xsd:integer)
- 315 (xsd:integer)
- 340 (xsd:integer)
- 347 (xsd:integer)
- 375 (xsd:integer)
- 557 (xsd:integer)
- 645 (xsd:integer)
- 673 (xsd:integer)
- 681 (xsd:integer)
- 995 (xsd:integer)
- 1517 (xsd:integer)
|
prop-fr:prénom
|
- Chiba (fr)
- Gang (fr)
- Greg (fr)
- Yao (fr)
- A. (fr)
- Ahmed (fr)
- Andrew (fr)
- E. (fr)
- G. (fr)
- H. (fr)
- K. (fr)
- L. (fr)
- M. (fr)
- P. (fr)
- R. (fr)
- Y. (fr)
- C. (fr)
- Alexander (fr)
- Bernard (fr)
- D. (fr)
- David (fr)
- Gilles (fr)
- Julien (fr)
- Kevin (fr)
- Marco (fr)
- Richard (fr)
- Mani (fr)
- Philip (fr)
- S. (fr)
- Oyama (fr)
- Bryan (fr)
- Liang (fr)
- Peng (fr)
- Quan (fr)
- T. (fr)
- F. (fr)
- W. (fr)
- Jia (fr)
- O. (fr)
- Timothy (fr)
- Dennis R. (fr)
- I. (fr)
- Rohan (fr)
- Eddie (fr)
- R.I. (fr)
- Ishikawa (fr)
- Lui (fr)
- Quentin (fr)
- Zhong (fr)
- K. G. (fr)
- Rodolfo (fr)
- Renato (fr)
- S.K. (fr)
- Azumi (fr)
- Prathap (fr)
- Waqar (fr)
- Gernot (fr)
- Yun (fr)
- P.K. (fr)
- Siddhartha (fr)
- Yokoyama (fr)
- Farzad (fr)
- Takada (fr)
- Gondi (fr)
- Gerwin (fr)
- Dongwoo (fr)
- Christoph M. (fr)
- Guruprasad (fr)
- Heechul (fr)
- Heekwon (fr)
- Jitesh (fr)
- Jongmoo (fr)
- Jung-Eun (fr)
- Man-Ki (fr)
- Myungryun Yoo (fr)
- Narjes (fr)
- Russell B. (fr)
- Shimpei (fr)
- Silviu S. (fr)
- Vatsalkumar H. (fr)
- Wenbo (fr)
- Yukikazu (fr)
- Chiba (fr)
- Gang (fr)
- Greg (fr)
- Yao (fr)
- A. (fr)
- Ahmed (fr)
- Andrew (fr)
- E. (fr)
- G. (fr)
- H. (fr)
- K. (fr)
- L. (fr)
- M. (fr)
- P. (fr)
- R. (fr)
- Y. (fr)
- C. (fr)
- Alexander (fr)
- Bernard (fr)
- D. (fr)
- David (fr)
- Gilles (fr)
- Julien (fr)
- Kevin (fr)
- Marco (fr)
- Richard (fr)
- Mani (fr)
- Philip (fr)
- S. (fr)
- Oyama (fr)
- Bryan (fr)
- Liang (fr)
- Peng (fr)
- Quan (fr)
- T. (fr)
- F. (fr)
- W. (fr)
- Jia (fr)
- O. (fr)
- Timothy (fr)
- Dennis R. (fr)
- I. (fr)
- Rohan (fr)
- Eddie (fr)
- R.I. (fr)
- Ishikawa (fr)
- Lui (fr)
- Quentin (fr)
- Zhong (fr)
- K. G. (fr)
- Rodolfo (fr)
- Renato (fr)
- S.K. (fr)
- Azumi (fr)
- Prathap (fr)
- Waqar (fr)
- Gernot (fr)
- Yun (fr)
- P.K. (fr)
- Siddhartha (fr)
- Yokoyama (fr)
- Farzad (fr)
- Takada (fr)
- Gondi (fr)
- Gerwin (fr)
- Dongwoo (fr)
- Christoph M. (fr)
- Guruprasad (fr)
- Heechul (fr)
- Heekwon (fr)
- Jitesh (fr)
- Jongmoo (fr)
- Jung-Eun (fr)
- Man-Ki (fr)
- Myungryun Yoo (fr)
- Narjes (fr)
- Russell B. (fr)
- Shimpei (fr)
- Silviu S. (fr)
- Vatsalkumar H. (fr)
- Wenbo (fr)
- Yukikazu (fr)
|
prop-fr:périodique
|
- IEEE (fr)
- Springer (fr)
- arXiv (fr)
- Elsevier (fr)
- ACM (fr)
- Springer US (fr)
- ACM Computing Surveys (fr)
- IEEE Conference Publications (fr)
- Elsevier Science Direct Freedom Collection (fr)
- ACM Digital Library (fr)
- USENIX (fr)
- Embedded and Real-Time Computing Systems and Applications (fr)
- ACM Digital Library Proceeding (fr)
- ACM Digital Library Proceedings (fr)
- ComPAS (fr)
- IEEE/ACM (fr)
- IEEE/IET Electronic Library (fr)
- Kluwer Academic Publishers Norwell, MA, USA (fr)
- Person Education (fr)
- Real-Time Systems Symposium , 2011 IEEE 32nd (fr)
- Springer Science Business Media New York 2014 (fr)
- Theoretical Aspects of Software Engineering (fr)
- Complex, Intelligent and Software Intensive Systems , 2010 International Conference (fr)
- WMC : 2nd International Workshop on Mixed Criticality Systems (fr)
- IEEE (fr)
- Springer (fr)
- arXiv (fr)
- Elsevier (fr)
- ACM (fr)
- Springer US (fr)
- ACM Computing Surveys (fr)
- IEEE Conference Publications (fr)
- Elsevier Science Direct Freedom Collection (fr)
- ACM Digital Library (fr)
- USENIX (fr)
- Embedded and Real-Time Computing Systems and Applications (fr)
- ACM Digital Library Proceeding (fr)
- ACM Digital Library Proceedings (fr)
- ComPAS (fr)
- IEEE/ACM (fr)
- IEEE/IET Electronic Library (fr)
- Kluwer Academic Publishers Norwell, MA, USA (fr)
- Person Education (fr)
- Real-Time Systems Symposium , 2011 IEEE 32nd (fr)
- Springer Science Business Media New York 2014 (fr)
- Theoretical Aspects of Software Engineering (fr)
- Complex, Intelligent and Software Intensive Systems , 2010 International Conference (fr)
- WMC : 2nd International Workshop on Mixed Criticality Systems (fr)
|
prop-fr:titre
|
- CertiKOS: a certified kernel for secure cloud computing (fr)
- Formal Proof of Dynamic Memory Isolation Based on MMU (fr)
- Response-Time Analysis for Mixed Criticality Systems (fr)
- A Secure Isolation of Software Activities in Tiny Scale Systems (fr)
- Efficient kernel support of fine-grained protection domains for mobile code (fr)
- Research on Ultra-dependable Embedded Real Time Operating System (fr)
- Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling (fr)
- Temporal isolation for the cohabitation of applications in automotive embedded software (fr)
- Generic Memory Protection Mechanism for Embedded System and Its Application to Embedded Component Systems (fr)
- Real-Time Performance Analysis of Multiprocessor Systems with Shared Memory (fr)
- Protection Mechanism in Privileged Memory Space for Embedded Systems, Real-Time OS (fr)
- An Analysis and Review on Memory Management Algorithms for Real Time Operating System (fr)
- Achieving temporal isolation in multiprocessor mixed-criticality systems (fr)
- Protecting Memory-Performance Critical Sections in Soft Real-Time Applications (fr)
- Mixed Criticality Systems - A Review (fr)
- A Mixed Critical Memory Controller Using Bank Privatization and Fixed Priority Scheduling (fr)
- Protected hard real-time: the next frontier (fr)
- Real-Time Computing on Multicore Processors (fr)
- The Power of Isolation (fr)
- Towards a practical, verified kernel (fr)
- Proposing Software Transational Memory for Embedded Systems (fr)
- Harbor: software-based memory protection for sensor nodes (fr)
- Fault-tolerant and real-time scheduling for mixed-criticality systems (fr)
- MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms (fr)
- Temporal isolation in real-time systems: the VBS approach (fr)
- HR-TECS: Component technology for embedded systems with memory protection (fr)
- Cooperative kernel: online memory test platform using inter-kernel context switch and memory isolation (fr)
- Spatial and temporal isolation of virtual CAN controllers (fr)
- On memory protection in real-time OS for small embedded systems (fr)
- Running the Manual: An Approach to High-Assurance Microkernel Development (fr)
- MEDUSA: A Predictable and High-Performance DRAM Controller for Multicore Based Embedded Systems (fr)
- Hypervision Across Worlds: Real-time Kernel Protection from the ARM TrustZone Secure World (fr)
- Temporal and spatial isolation in a virtualization layer for multi-core processor based information appliances (fr)
- Addressing isolation challenges of non-blocking caches for multicore real-time systems (fr)
- Memory-centric scheduling for multicore hard real-time systems (fr)
- Work-In-Progress: Protecting Real-Time GPU Applications on Integrated CPU-GPU SoC Platforms (fr)
- PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms (fr)
- Least Slack Time Rate First: an Efficient Scheduling Algorithm for Pervasive Computing Environment (fr)
- Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality (fr)
- A Distributed Real-Time Operating System with Distributed Shared Memory for Embedded Control Systems (fr)
- A System For Coarse Grained Memory Protection In Tiny Embedded Processors (fr)
- Programmable temporal isolation in real-time and embedded execution environments (fr)
- Deterministic Memory Abstraction and Supporting Cache Architecture for Real-Time Systems (fr)
- Taming Non-Blocking Caches to Improve Isolation in Multicore Real-Time Systems (fr)
- Memory reservation and shared page management for real-time systems (fr)
- Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés (fr)
- Handling timing constraints violations in soft real-time applications as exceptions (fr)
- CertiKOS: a certified kernel for secure cloud computing (fr)
- Formal Proof of Dynamic Memory Isolation Based on MMU (fr)
- Response-Time Analysis for Mixed Criticality Systems (fr)
- A Secure Isolation of Software Activities in Tiny Scale Systems (fr)
- Efficient kernel support of fine-grained protection domains for mobile code (fr)
- Research on Ultra-dependable Embedded Real Time Operating System (fr)
- Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling (fr)
- Temporal isolation for the cohabitation of applications in automotive embedded software (fr)
- Generic Memory Protection Mechanism for Embedded System and Its Application to Embedded Component Systems (fr)
- Real-Time Performance Analysis of Multiprocessor Systems with Shared Memory (fr)
- Protection Mechanism in Privileged Memory Space for Embedded Systems, Real-Time OS (fr)
- An Analysis and Review on Memory Management Algorithms for Real Time Operating System (fr)
- Achieving temporal isolation in multiprocessor mixed-criticality systems (fr)
- Protecting Memory-Performance Critical Sections in Soft Real-Time Applications (fr)
- Mixed Criticality Systems - A Review (fr)
- A Mixed Critical Memory Controller Using Bank Privatization and Fixed Priority Scheduling (fr)
- Protected hard real-time: the next frontier (fr)
- Real-Time Computing on Multicore Processors (fr)
- The Power of Isolation (fr)
- Towards a practical, verified kernel (fr)
- Proposing Software Transational Memory for Embedded Systems (fr)
- Harbor: software-based memory protection for sensor nodes (fr)
- Fault-tolerant and real-time scheduling for mixed-criticality systems (fr)
- MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms (fr)
- Temporal isolation in real-time systems: the VBS approach (fr)
- HR-TECS: Component technology for embedded systems with memory protection (fr)
- Cooperative kernel: online memory test platform using inter-kernel context switch and memory isolation (fr)
- Spatial and temporal isolation of virtual CAN controllers (fr)
- On memory protection in real-time OS for small embedded systems (fr)
- Running the Manual: An Approach to High-Assurance Microkernel Development (fr)
- MEDUSA: A Predictable and High-Performance DRAM Controller for Multicore Based Embedded Systems (fr)
- Hypervision Across Worlds: Real-time Kernel Protection from the ARM TrustZone Secure World (fr)
- Temporal and spatial isolation in a virtualization layer for multi-core processor based information appliances (fr)
- Addressing isolation challenges of non-blocking caches for multicore real-time systems (fr)
- Memory-centric scheduling for multicore hard real-time systems (fr)
- Work-In-Progress: Protecting Real-Time GPU Applications on Integrated CPU-GPU SoC Platforms (fr)
- PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms (fr)
- Least Slack Time Rate First: an Efficient Scheduling Algorithm for Pervasive Computing Environment (fr)
- Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality (fr)
- A Distributed Real-Time Operating System with Distributed Shared Memory for Embedded Control Systems (fr)
- A System For Coarse Grained Memory Protection In Tiny Embedded Processors (fr)
- Programmable temporal isolation in real-time and embedded execution environments (fr)
- Deterministic Memory Abstraction and Supporting Cache Architecture for Real-Time Systems (fr)
- Taming Non-Blocking Caches to Improve Isolation in Multicore Real-Time Systems (fr)
- Memory reservation and shared page management for real-time systems (fr)
- Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés (fr)
- Handling timing constraints violations in soft real-time applications as exceptions (fr)
|
prop-fr:volume
|
- 10 (xsd:integer)
- 11 (xsd:integer)
- 14 (xsd:integer)
- 15 (xsd:integer)
- 48 (xsd:integer)
- 49 (xsd:integer)
- 50 (xsd:integer)
- 53 (xsd:integer)
- 60 (xsd:integer)
- 85 (xsd:integer)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- L'isolation des systèmes temps réel est une nécessité pour garantir la fiabilité et la sécurité en limitant ou en empêchant certaines interactions entre les différents composants d'un système. Dans les systèmes temps réel, les composants à isoler les uns des autres sont généralement les différentes tâches exécutées sur le système et les ressources spatiales et temporelles que celles-ci utilisent. Les ressources spatiales comprennent les différents types de mémoires présents dans le système : mémoire cache, mémoire vive, etc. Les ressources temporelles correspondent au temps pendant lequel une tâche a accès au processeur en comprenant le temps d'accès aux ressources. Selon le type d'isolation recherchée (spatiale, temporelle, consommation d'énergie, etc.), différentes solutions peuvent être (fr)
- L'isolation des systèmes temps réel est une nécessité pour garantir la fiabilité et la sécurité en limitant ou en empêchant certaines interactions entre les différents composants d'un système. Dans les systèmes temps réel, les composants à isoler les uns des autres sont généralement les différentes tâches exécutées sur le système et les ressources spatiales et temporelles que celles-ci utilisent. Les ressources spatiales comprennent les différents types de mémoires présents dans le système : mémoire cache, mémoire vive, etc. Les ressources temporelles correspondent au temps pendant lequel une tâche a accès au processeur en comprenant le temps d'accès aux ressources. Selon le type d'isolation recherchée (spatiale, temporelle, consommation d'énergie, etc.), différentes solutions peuvent être (fr)
|
rdfs:label
|
- Isolation des systèmes temps réel (fr)
- Isolation des systèmes temps réel (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |