Filters








758 Hits in 2.9 sec

Towards Customizable CPS: Composability, Efficiency and Predictability [chapter]

Wang Yi
2017 Lecture Notes in Computer Science  
This trend towards customizable products is extending into all domains of IT, including Cyber-Physical Systems (CPS) such as cars, robotics, and medical devices.  ...  Essentially there are three key challenges: Composability, Resource-Efficiency and Predictability to enable modular, incremental and safe software updates over system life-time in use.  ...  The trend towards customizable products is extending into all application domains of IT including Cyber-Physical Systems (CPS) such as cars, robotics and medical devices.  ... 
doi:10.1007/978-3-319-68690-5_1 fatcat:wwfoniwr2zayfcvigxggfaed2a

Safe CPS from Unsafe Controllers [article]

Usama Mehmood and Stanley Bak and Scott A. Smolka and Scott D. Stoller
2021 arXiv   pre-print
In this paper, we explore using runtime verification to design safe cyber-physical systems (CPS).  ...  This is important as there are many types of powerful control techniques -- model-predictive control, rapidly-exploring random trees and neural network controllers -- that often work well in practice,  ...  This material is based upon work supported by National Science Foundation (NSF) under grant numbers OIA-2134840, OIA-2040599, CCF-1918225, CCF-1954837 and CPS-1446832, the Office of Naval Research (ONR  ... 
arXiv:2102.12981v2 fatcat:3lsadmwujrhkpcxnvvyz2eygkq

Customizable, conformal, and stretchable 3D electronics via predistorted pattern generation and thermoforming

Jungrak Choi, Chankyu Han, Seokjoo Cho, Kyuyoung Kim, Junseong Ahn, Dionisio Del Orbe, Incheol Cho, Zhi-Jun Zhao, Yong Suk Oh, Hyunsoo Hong, Seong Su Kim, Inkyu Park
2021 Science Advances  
INTRODUCTION Three-dimensional electronics (3DE) with high customizability, 3D conformability, and stretchability is becoming an important key factor toward state-of-the-art wearable electronics.  ...  We believe that the PGT3DE can enable a wide range of new functionalities in 3DE and could be an innovative and efficient solution to the design and fabrication of 3DE.  ... 
doi:10.1126/sciadv.abj0694 pmid:34644113 pmcid:PMC8514101 fatcat:vfyp42k2xja4rn7sx33q5t4e7m

Towards Independent In-Cloud Evolution of Cyber-Physical Systems

Amir Taherkordi, Frank Eliassen
2014 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications  
In such scenarios, each cyberphysical flow may be composed of a large number of physical services with composition challenges such as high dynamism of CPS platforms, rapid development and scalability,  ...  and devices, and the dynamic creation of CPS ecosystems.  ...  resources on-demand, customizability through modular composition, rapid development and scalability, resiliency, and performance based on user needs.  ... 
doi:10.1109/cpsna.2014.12 dblp:conf/cpsna/TaherkordiE14 fatcat:tlbn7ztr6bb5tff55uvdz7yeze

Middleware Solutions for Effective Cloud-CPS Integration in Pervasive Environment

Alessandro Zanni
2019
meetings together, and to Ulf and Stefan, from STC, for the support during my staying in Sweden.  ...  Among all the nice and talented people I met during the experiences abroad, in particular, thanks to Se-young, from LIP6-Phare, for the kindness and the knowledge shown during the valuable work and long  ...  operating, towards the creation of more efficient support features.  ... 
doi:10.48676/unibo/amsdottorato/8527 fatcat:tfkg7lo4rfepznap2klfypqffm

Cyber-physical systems: A security perspective

Charalambos Konstantinou, Michail Maniatakos, Fareena Saqib, Shiyan Hu, Jim Plusquellic, Yier Jin
2015 2015 20th IEEE European Test Symposium (ETS)  
A cyber-physical system (CPS) is a composition of independently interacting components, including computational elements, communications and control systems.  ...  Considering the remarkable progress in CPS technologies during recent years, advancement in security and trust measures is much needed to counter the security violations and privacy leakage of integration  ...  Another PUF that can meet the efficiency and resource constraints of devices in health care CPS is NVM PUF [87] , which requires no error correction or helper data. V.  ... 
doi:10.1109/ets.2015.7138763 dblp:conf/ets/KonstantinouMSH15 fatcat:ab6mjbsj7zhyhjixe5z7qjexye

A novel protocol for network-controlled metasurfaces

Ageliki Tsioliaridou, Christos Liaskos, Andreas Pitsillides, Sotiris Ioannidis
2017 Proceedings of the 4th ACM International Conference on Nanoscale Computing and Communication - NanoCom '17  
customizable manner.  ...  The present work focuses on 2D metamaterials, known as metasurfaces, and their electromagnetically programmable counterparts, the HyperSurfaces.  ...  The meta-atom patterns are usually composed of a conductive material and are placed over a dielectric substrate.  ... 
doi:10.1145/3109453.3109469 dblp:conf/nanocom/TsioliaridouLPI17 fatcat:let4ryxka5b5bb4iqp2z74gvje

DA systemization of knowledge: A catalog of prior forward-looking initiatives

Farinaz Koushanfar, Azalia Mirhoseini, Gang Qu, Zhiru Zhang
2015 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)  
Electronic Design Automation (EDA) has had a profound impact on the development of modern computing and information technology which in turn has transformed our lives and society.  ...  In recent years, with the Moore's law approaching it's near-end, a number of studies and newinitiatives have been focusing on more contemporary problems and novel application domains for the field.  ...  New conferences and workshops geared towards expanding EDA to these new markets will be necessary to help steer the community towards the most fruitful directions. IV.  ... 
doi:10.1109/iccad.2015.7372578 dblp:conf/iccad/KoushanfarMQZ15 fatcat:sygilha32napjmmyz43efx73je

An Analytical Model for 5G Network Resource Sharing with Flexible SLA -Oriented Slice Isolation

Natalia Yarkina, Yuliya Gaidamaka, Luis M. Correia, Konstantin Samouylov
2020 Mathematics  
Since radio spectrum resources are inherently scarce, the slicing of the radio access network should rely on a flexible resource sharing policy that provides efficient resource usage, fairness and slice  ...  Numerical analysis illustrates the efficiency of the proposed slicing scheme compared to the complete sharing and complete partitioning policies, showing that our approach leads to a data rate about the  ...  In this article, we propose a flexible and highly customizable resource slicing scheme that satisfies the important criteria given above-efficient resource usage, fairness and performance isolation of  ... 
doi:10.3390/math8071177 fatcat:r5wojezkxnethauulfvotr6t6a

Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip

Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, Luca Benini
2007 Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07  
The optimizer implements an efficient and exact approach to allocation and scheduling based on problem decomposition.  ...  The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications onto hardware platforms.  ...  It is mainly composed by a generic customizable application template and a set of high-level APIs, which handle all the main possible issues in embedded parallel programming.  ... 
doi:10.1145/1289927.1289940 dblp:conf/emsoft/DolifLRMB07 fatcat:ioplqa6fbzchzordv3goiaa5ae

A software product line for static analyses

Michael Eichberg, Ben Hermann
2014 Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis - SOAP '14  
Implementations of static analyses are usually tailored toward a single goal to be efficient, hampering reusability and adaptability of the components of an analysis.  ...  We present OPAL and show how a design based on software produce line engineering benefits the implementation of static analyses with the framework.  ...  Acknowledgments This work was supported by the German Ministry of Research and Education (BMBF) within EC SPRIDE.  ... 
doi:10.1145/2614628.2614630 dblp:conf/pldi/EichbergH14 fatcat:xjajh7atanarxgmi2ohzfibgla

Unifying Product and Software Configuration (Dagstuhl Seminar 14172)

Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, Tomi Männistö, Marc Herbstritt
2014 Dagstuhl Reports  
Research on computer-supported configuration of customizable products and services is currently carried out in two main communities: one community is mainly focused on the configuration of hardware artifacts  ...  This report documents the program and the outcomes of Dagstuhl Seminar 14172 "Unifying Product and Software Configuration".  ...  The first direction is towards efficient optimization procedures. The second direction is towards efficient encodings of the problem of exactly matching the properties of the optimization procedure.  ... 
doi:10.4230/dagrep.4.4.20 dblp:journals/dagstuhl-reports/CzarneckiHJJM14 fatcat:izlndk2mqnhb7bfwml65ape2ki

Real-time multi-agent systems: rationality, formal model, and empirical results

Davide Calvaresi, Yashin Dicente Cid, Mauro Marinoni, Aldo Franco Dragoni, Amro Najjar, Michael Schumacher
2021 Autonomous Agents and Multi-Agent Systems  
To pave the road towards reliable and predictable MAS, this paper postulates a formal definition and mathematical model of real-time multi-agent systems (RT-MAS).  ...  Unfortunately, current AI/MAS theories and applications only reason "about time" and are incapable of acting "in time" guaranteeing any timing predictability.  ...  response time; • Predictability: the system must be observable and analyzable to predict the consequences of any scheduling decision 1 ; • Efficiency: most of RTS might run into small devices with severe  ... 
doi:10.1007/s10458-020-09492-5 fatcat:wnk7xk7ei5blfg7eil5byr67ha

Admission Control in Home Energy Management Systems Using Theatre and Hybrid Actors

Franco Cicirelli, Libero Nigro
2021 Modelling  
discrete behaviours of a CPS.  ...  Instead of reacting to an overload condition, the strategy is able to prevent an overload upfront by predicting the effect that the admission of a new load will have on the consumption curve of the whole  ...  Communication from the load toward the mode is instead achieved by using the broadcast urgent channels deactivate[.], activate [.] , and predict [.] , which, respectively, are used to: deactivating and  ... 
doi:10.3390/modelling2020015 fatcat:i3umq3aty5fnvbbyhvtudj4dmy

iPaaS in Agriculture 4.0: An Industrial Case [article]

Rafael Cestari, Sebastien Ducos
2020 arXiv   pre-print
With the popularization of open-source software and applications such as BPM Engines, Machine Learning libraries, and Integration suites and libraries, it is possible to develop a fully customizable and  ...  , brand locking, and occasionally high prices.  ...  The iPaaS is composed of three main logical components: the integration module, the process manager, and the prediction module.  ... 
arXiv:2010.07015v1 fatcat:decluehep5bytf7gt6lamuhzh4
« Previous Showing results 1 — 15 out of 758 results