Filters








1,276 Hits in 7.4 sec

Towards robust OSes for appliances

Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère
2000 Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9  
This approach is based on Domain-Specific Languages (DSLs), and offers rapid development of robust OSes. We illustrate and assess our approach by concrete examples.  ...  The limitations of these approaches are analyzed and used as a basis to propose a new approach to designing and structuring OSes for appliances.  ...  A New Approach Based on Domain-Specific Languages The common thread of our approach to designing OSes is Domain-Specific Languages (DSLs) [12] .  ... 
doi:10.1145/566726.566732 dblp:conf/sigopsE/MullerCMBMR00 fatcat:pmuakjazc5adfi7t6saa2la6me

The Ocean Appliance: Complete Platform Provisioning for Low-Cost Data Sharing

Bill Howe, Nicholas Hagerty, Ethan Van Matre, David Maier, Antonio Baptista, Charles Seaton, Paul Turner
2007 OCEANS 2007  
We report on our progress towards an Ocean Appliance -envisioned as a complete, pre-built "server-in-abox" equipped with an ocean observation database, a forecast engine, a web server publishing an extensible  ...  We report results from a pilot project using the appliance to support cruise operations and describe preparations for an upcoming multi-ship experiment involving real-time telemetry and coordinated, simultaneous  ...  ACKNOWLEDGMENTS Funding for CORIE and extensions thereof, as well as for CORIE-based science, has been provided in part by various programs within the National Science Foundation, National Oceanic and  ... 
doi:10.1109/oceans.2007.4449353 fatcat:ejnlylasnzgevbafxnvejwd7ku

Achieving the Promise of Reuse with Agent Components [chapter]

Martin L. Griss, Robert R. Kessler
2003 Lecture Notes in Computer Science  
In this paper we describe the vision and progress we have made towards developing a robust infrastructure, methods, and tools for this goal.  ...  Whether built on conventional distributed computing and application management platforms, on a specialized agent platform, on web service technology or within a P2P infrastructure, agents are a good match  ...  We expect UML, AUML, and workflow techniques to play a large role in the definition, generation and execution of choreographed multi-agent interactions.  ... 
doi:10.1007/3-540-35828-5_9 fatcat:iyvh4c4cbjeopim4oop4knkfle

Trusted virtual platforms

Chris I. Dalton, David Plaquin, Wolfgang Weidner, Dirk Kuhlmann, Boris Balacheff, Richard Brown
2009 ACM SIGOPS Operating Systems Review  
running on a virtualized platform.  ...  The architecture includes a virtualization-specific integrity measurement and reporting framework.  ...  The TPM specification sets out a base TPM integrity measurement architecture.  ... 
doi:10.1145/1496909.1496918 fatcat:3zuiuas72ncdhfmryuplb6otoe

Embedded Systems Development Tools: A MODUS-oriented Market Overview

Michalis Loupis
2014 Business Systems Research  
Objectives: The goal of the paper is to explore the versatility of the application in the embedded system development based on one FP7-SME project.  ...  As a result embedded system developers have adopted software methods that yield high quality. The qualitative approach to examining embedded systems development tools has been applied in this work.  ...  The act of code generation is based on an ontological model such as a template.  ... 
doi:10.2478/bsrj-2014-0001 fatcat:x2yblzjbrrf2rh5bg3j76injuu

From multilevel security to multiple independent levels of security/safety: the evolution illustrated through a novel cross-domain architecture

Angelo Liguori
2017 International Journal of Mobile Network Design and Innovation  
A novel cross-domain solution is presented as the thread in-between the two approaches.  ...  Recently, a new approach gathered the endorsement of industry and academia, the so-called multiple independent levels of security/safety.  ...  It is based on Integrity 178-B OS.  ... 
doi:10.1504/ijmndi.2017.082802 fatcat:jihunjqyr5fotmvsymol4j5u3e

Exploring the Efficacy of Automatically Generated Counterfactuals for Sentiment Analysis [article]

Linyi Yang, Jiazheng Li, Pádraig Cunningham, Yue Zhang, Barry Smyth, Ruihai Dong
2022 arXiv   pre-print
A comprehensive evaluation on several different datasets and using a variety of state-of-the-art benchmarks demonstrate how our approach can achieve significant improvements in model performance when compared  ...  In this work, we propose an alternative by describing and evaluating an approach to automatically generating counterfactual data for data augmentation and explanation.  ...  Mark Keane from Insight Centre for their helpful advice and discussion during this work.  ... 
arXiv:2106.15231v3 fatcat:e4fwzvggg5g5tj4sju5jv4tnsm

Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization [article]

Luigi De Simone, Giovanni Mazzeo
2019 arXiv   pre-print
A promising approach for designing critical embedded systems is based on virtualization technologies and multi-core platforms.  ...  In this position paper, we propose the usage of Intel's CPU security extension, namely SGX, to enable the adoption of enclaves based on unikernel, a flavor of OS-level virtualization, in the context of  ...  The proposed approach is intended for executing an RTOS based on unikernels into an SGX enclave.  ... 
arXiv:1909.09486v1 fatcat:2eenepltozg2foealytyvbriqi

Software Toolkits: Practical Aspects of the Internet of Things—A Survey

Feng Wang, Liang Hu, Jin Zhou, Yang Wu, Jiejun Hu, Kuo Zhao
2015 International Journal of Distributed Sensor Networks  
TinyOS [4] is an open source, BSD-licensed OS designed for low-power and resource-constrained wireless devices.  ...  Unlike many other node operating systems, TinyOS is coded in nesC, a C dialect optimized for the memory limitations  ...  The Raspbian, which is a Debian-based OS optimized for the Raspberry Pi, is the OS recommended by the Raspberry Pi Foundation.  ... 
doi:10.1155/2015/534378 fatcat:jmqg76lwbveapksmypy3yksxsq

Resource Discovery in High-Volume Internet of Things: Systematic Research

2019 VOLUME-8 ISSUE-10, AUGUST 2019, REGULAR ISSUE  
Based on the outputs, we are able to provide an overview of the IoT resource discovery categories, main areas of the research, IoT platforms, simulation tools and recommended solutions.  ...  The purpose is to recommend a clear review on how the resources could be maximize or improve properly within different IoT solutions.  ...  ii) Deterministic Approach iii) Colocation based Approaches iv) Fully Distributed Opportunistic Approach v) Learning Based Approach (Context-Aware Resource Discovery Approach) However, not all resource  ... 
doi:10.35940/ijitee.l1085.10812s219 fatcat:bov6oitkvjbqdjiqkoytf7su3q

Unikernels

Anil Madhavapeddy, David J. Scott
2014 Communications of the ACM  
The basic enabling technology for the cloud is operating-system virtualization such as Xen 1 or VMWare, which allows customers to multiplex virtual machines (VMs) on a shared cluster of physical machines  ...  Each VM presents as a self-contained computer, booting a standard operatingsystem kernel and running unmodified applications just as if it were executing on a physical machine.  ...  OCaml is the sole base language for MirageOS for a few key reasons.  ... 
doi:10.1145/2541883.2541895 fatcat:5qezzz453nfcnmfpxvhget4phm

Benchmarking Networked Control Systems

Sebastian Gallenmuller, Stephan Gunther, Maurice Leclaire, Samuele Zoppi, Fabio Molinari, Richard Schoffauer, Wolfgang Kellerer, Georg Carle
2018 2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench)  
Towards a novel methodology for benchmarking such systems, we propose a series of key performance indicators (KPIs) that are based on well-established foundations of both worlds.  ...  We are currently implementing an evaluation platform based on Lego Mindstorms to demonstrate and apply our framework.  ...  In this paper, we provide a holistic approach towards the development of a benchmarking framework: we describe a common methodology for benchmarking the control as well as the network aspects of an NCS  ... 
doi:10.1109/cpsbench.2018.00008 dblp:conf/cpsweek/GallenmullerGLZ18 fatcat:dghstf2xgbcm5pfqucxvfvmgpy

Virtualizing mixed-criticality systems: A survey on industrial trends and issues

Marcello Cinque, Domenico Cotroneo, Luigi De Simone, Stefano Rosiello
2021 Future generations computer systems  
Virtualization is gaining attraction in the industry as it promises a flexible way to integrate, manage, and re-use heterogeneous software components with mixed-criticality levels, on a shared hardware  ...  The aim is to highlight current industry trends and support industrial practitioners to choose the most suitable solution according to their application domains.  ...  Solutions specifically designed for industrial and embedded domains, that happen to be based on separation kernel and microkernel approaches; 2.  ... 
doi:10.1016/j.future.2021.12.002 fatcat:4q277etxfjewlpmkjcn7by42pm

A robust smart device app assisting medical diagnosis

Vaios Papaioannou, George - Peter K. Economou, Athanasios Tsakalidis
2016 Artificial intelligence research  
A Medical Decision Making System (MDMS) has recently been implemented as an app (lication) for Android-based Mobile "Smart" Devices (AMSDs).  ...  This MDMS fANNs have been taught by using real world patients' clinical data on a powerful Personal Computer; the MDMS modular structure and its fANNs' weights were then ported to AMSDs to be used as a  ...  Based on them they can implement their inference engine or they can provide for the realization a knowledge base along with knowledge base induction rules.  ... 
doi:10.5430/air.v5n2p82 fatcat:6akze5y7bfbtrltltb4expy62e

Leveraging Machine Learning and Big Data for Smart Buildings: A Comprehensive Survey [article]

Basheer Qolomany, Ala Al-Fuqaha, Ajay Gupta, Driss Benhaddou, Safaa Alwajidi, Junaid Qadir, Alvis C. Fong
2019 arXiv   pre-print
In this paper, we survey the area of smart building with a special focus on the role of techniques from machine learning and big data analytics.  ...  Future buildings will offer new convenience, comfort, and efficiency possibilities to their residents.  ...  Among time domain method, mean and standard deviation are the key approaches for almost all sensor types. While the frequency domain method focuses on the periodic structure of the collected data.  ... 
arXiv:1904.01460v2 fatcat:rz2gsyurkradlkqvfankw3zue4
« Previous Showing results 1 — 15 out of 1,276 results