2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)最新文献_第2页

Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models 基于生命周期的信息物理系统模型的扩展隐马尔可夫模型

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Pub Date : 2022-10-13 DOI: 10.1109/MEMOCODE57689.2022.9954592

Matthias Schaffeld, Rebecca Bernemann, Torben Weis, B. König, V. Matkovic

{"title":"Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models","authors":"Matthias Schaffeld, Rebecca Bernemann, Torben Weis, B. König, V. Matkovic","doi":"10.1109/MEMOCODE57689.2022.9954592","DOIUrl":"https://doi.org/10.1109/MEMOCODE57689.2022.9954592","url":null,"abstract":"Many components of Cyber-Physical Systems (CPS) are designed based on models that represent the assumed behavior of the CPS at the time of deployment. However, significant or continuous small changes in the CPS, as well as wear and tear reduce the effectiveness of the CPS and its model and may lead to a total failure of the overall system. In this paper, we propose a novel lifecycle-based view of CPS models. First, we define the model's lifespan as the period from the initial conception of the model until it is no longer fit to represent the system behavior. For better differentiation, a lifespan is divided into the initial, operation, and adaptation phases. In the initial phase, a known-good baseline performance metric is established for the model's suitability to reflect the system behavior. In the operation phase, the model is used for CPS analysis, data smoothing, and fault location while its suitability is monitored. The adaptation phase is intended for necessary adaptations to the model and to the CPS itself, which lead to new iterations. To implement these lifecycle augmentations of the CPS, we use formal modeling in the form of Hidden Markov Models extended by unobservable transitions (Є-HMMT) to represent the assumed system behavior and compare the data of the observed system behavior with this modeling. In addition, we are testing our proposed formalism by designing a CPS model based on smart home systems and running a simulation for validation. The simulation covers unforeseen system changes and corrupted data.","PeriodicalId":157326,"journal":{"name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132652513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage 折叠数据结构以减少时序侧信道泄漏

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Pub Date : 2022-10-13 DOI: 10.1109/MEMOCODE57689.2022.9954595

Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay

引用次数: 0

Mechanization of a Large DSML: An Experiment with AADL and Coq 大型DSML的机械化:AADL和Coq的实验

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Pub Date : 2022-10-13 DOI: 10.1109/MEMOCODE57689.2022.9954589

J. Hugues, L. Wrage, J. Hatcliff, D. Stewart

引用次数: 0

Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC 异构神经形态SoC上机器学习操作的实时调度

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Pub Date : 2022-09-29 DOI: 10.1109/MEMOCODE57689.2022.9954596

Anup Das

{"title":"Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC","authors":"Anup Das","doi":"10.1109/MEMOCODE57689.2022.9954596","DOIUrl":"https://doi.org/10.1109/MEMOCODE57689.2022.9954596","url":null,"abstract":"Neuromorphic Systems-on-Chip (NSoCs) are becoming heterogeneous by integrating general-purpose processors (GPPs) and neural processing units (NPUs) on the same SoC. For embedded systems, an NSoC may need to execute user applications built using a variety of machine learning models. We propose a real-time scheduler, called PRISM, which can schedule machine learning models on a heterogeneous NSoC either individually or concurrently to improve their system performance. PRISM consists of the following four key steps. First, it constructs an interprocessor communication (IPC) graph of a machine learning model from a mapping and a self-timed schedule. Second, it creates a transaction order for the communication actors and embeds this order into the IPC graph. Third, it schedules the graph on an NSoC by overlapping communication with the computation. Finally, it uses a Hill Climbing heuristic to explore the design space of mapping operations on GPPs and NPUs to improve the performance. Unlike existing schedulers which use only the NPUs of an NSoC, PRISM improves performance by enabling batch, pipeline, and operation parallelism via exploiting a platform's heterogeneity. For use-cases with concurrent applications, PRISM uses a heuristic resource sharing strategy and a non-preemptive scheduling to reduce the expected wait time before concurrent operations can be scheduled on contending resources. Our extensive evaluations with 20 machine learning workloads show that PRISM significantly improves the performance per watt for both individual applications and use-cases when compared to state-of-the-art schedulers.","PeriodicalId":157326,"journal":{"name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125422222","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3