Porting the Pip proto-kernel's model to multi-core environments
| Autor: | Quentin Bergougnoux, Julien Cartigny, Gilles Grimaud |
|---|---|
| Přispěvatelé: | Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche sur les Composants logiciels et matériels pour l'Information et la Communication Avancé - USR 3380 (IRCICA), Université de Lille-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES
Multi-core processor Correctness Computer science business.industry Concurrency Distributed computing 020206 networking & telecommunications Cloud computing 02 engineering and technology Porting Software Control flow Kernel (image processing) [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] 0202 electrical engineering electronic engineering information engineering ACM: D.: Software/D.4: OPERATING SYSTEMS 020201 artificial intelligence & image processing [INFO.INFO-ES]Computer Science [cs]/Embedded Systems [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS] business ComputingMilieux_MISCELLANEOUS |
| Zdroj: | 16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018). 16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018)., Aug 2018, Athens, Greece DASC/PiCom/DataCom/CyberSciTech |
| Popis: | In order to bring integrity and confidentiality through memory isolation in embedded devices, we developed Pip, a proto-kernel ensuring only memory isolation and control flow in the Internet of Things's computing environments. Its API is verified, ensuring the correctness of the memory isolation properties. Nevertheless, today, like Cloud Computing environments, IoT environments are becoming more and more multi-core and parallelized. Those environments introduce many new issues of consistency and concurrency, and require specific software architectures. In this paper, we discuss those new aspects, and the evolution of Pip's model into a multi-core model designed for those environments. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|