2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)最新文献

Real-time capabilities in functional languages 函数式语言中的实时功能

2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS) Pub Date : 2016-04-12 DOI: 10.1109/DCPS.2016.7588296

Jeffrey C. Murphy, B. Shivkumar, Lukasz Ziarek

引用次数: 1

Dependability assessment of networked embedded software systems 网络化嵌入式软件系统可靠性评估

2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS) Pub Date : 2016-04-12 DOI: 10.1109/DCPS.2016.7588298

K. Ravindran

引用次数: 1

Architecture for logic programing with arrangements of finite-state machines 具有有限状态机安排的逻辑编程体系结构

2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS) Pub Date : 2016-04-12 DOI: 10.1109/DCPS.2016.7588297

V. Estivill-Castro, R. Hexel, Alberto Ramirez Regalado

引用次数: 6

P-FRP task scheduling: A survey P-FRP任务调度:综述

2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS) Pub Date : 2016-04-12 DOI: 10.1109/DCPS.2016.7588295

Xingliang Zou, A. Cheng, Yu Jiang

{"title":"P-FRP task scheduling: A survey","authors":"Xingliang Zou, A. Cheng, Yu Jiang","doi":"10.1109/DCPS.2016.7588295","DOIUrl":"https://doi.org/10.1109/DCPS.2016.7588295","url":null,"abstract":"Functional Reactive Programming (FRP) is a declarative approach for modeling and building reactive systems. The FRP has been shown to be an expressive formalism for building graphics, robotic, and vision applications. The Priority-based FRP (P-FRP) is a formalism of FRP that allows preemption of execution and guarantees real-time response. Since functional programs cannot maintain state and mutable data, changes made by programs that are preempted have to be rolled back, and the work done by the preempted programs has to be discarded. Hence in the P-FRP model, a preempted lower priority task will have to restart after higher priority tasks have completed execution. Current real-time research mainly focuses on the classic preemptive or non-preemptive models and plenty methods have been developed to analyze the real-time guarantees of these models. Unfortunately, due to its transactional nature where preempted tasks are aborted and have to restart, the execution semantics of the P-FRP model does not fit into the standard definitions of classic preemptive or non-preemptive execution. In this survey paper, we review existing researches on the P-FRP task scheduling, and present a few research areas for future work.","PeriodicalId":187873,"journal":{"name":"2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127541042","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}

引用次数: 6