Proceedings of the 1st International Workshop on Control Theory for Software Engineering最新文献

Adaptive predictive control for software systems 软件系统的自适应预测控制

Proceedings of the 1st International Workshop on Control Theory for Software Engineering Pub Date : 2015-08-31 DOI: 10.1145/2804337.2804340

Konstantinos Angelopoulos, A. Papadopoulos, J. Mylopoulos

引用次数: 8

Quo vadis cyber-physical systems: research areas of cyber-physical ecosystems: a position paper 网络物理系统:网络物理生态系统的研究领域:立场文件

Proceedings of the 1st International Workshop on Control Theory for Software Engineering Pub Date : 2015-08-31 DOI: 10.1145/2804337.2804341

Christian Bartelt, A. Rausch, Karina Rehfeldt

{"title":"Quo vadis cyber-physical systems: research areas of cyber-physical ecosystems: a position paper","authors":"Christian Bartelt, A. Rausch, Karina Rehfeldt","doi":"10.1145/2804337.2804341","DOIUrl":"https://doi.org/10.1145/2804337.2804341","url":null,"abstract":"Many technological innovations from the research area of dynamic adaptive systems or IT ecosystems are already established in current software systems. Especially cyber-physical systems should benefit by this progress to provide smart applications in ambient environments of private and industrial space. But a proper and methodical engineering of cyber-physical ecosystems (CPES) is still an open and important issue. Traditional software and systems engineering facilities (system models, description languages, or process models) do not consider fundamental characteristics of these ecosystems as openness, uncertainty, or emergent constitution at runtime sufficiently. But especially these aspects let blur the line of system boundaries at design time. The diverse components of CPES have essential impacts on the engineering of CPES as well, concerning time synchronizing, execution control, and interaction structure. Self-balanced control in CPES promises new application possibilities, but also needs new engineering techniques concerning the overall engineering process, including requirements engineering and runtime verification. In this position paper we survey and summarize the dimensions of challenges in applying control theory for the engineering of cyber-physical ecosystems.","PeriodicalId":341181,"journal":{"name":"Proceedings of the 1st International Workshop on Control Theory for Software Engineering","volume":" 48","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120829992","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}

引用次数: 8

Robust degradation and enhancement of robot mission behaviour in unpredictable environments 不可预测环境下机器人任务行为的鲁棒退化与增强

Proceedings of the 1st International Workshop on Control Theory for Software Engineering Pub Date : 2015-08-31 DOI: 10.1145/2804337.2804342

Nicolás D'Ippolito, V. Braberman, Daniel Sykes, Sebastián Uchitel

引用次数: 2

Control theory meets software engineering: the holonic perspective 控制理论与软件工程:整体视角

Proceedings of the 1st International Workshop on Control Theory for Software Engineering Pub Date : 2015-08-31 DOI: 10.1145/2804337.2804343

L. Pazzi

{"title":"Control theory meets software engineering: the holonic perspective","authors":"L. Pazzi","doi":"10.1145/2804337.2804343","DOIUrl":"https://doi.org/10.1145/2804337.2804343","url":null,"abstract":"One of the main challenges towards a software-based theory of control consists in finding an effective method for decomposing monolithic event-based interactive applications into modules. The task is challenging since this requires in turn to decompose both the invariants to be maintained as well as the main control loop. We present a formalisms for gathering portion of behaviour by special units, called holons, which are both parts and wholes and which can be arranged into part-whole taxonomies. Each holon hosts a state machine and embodies different invariants which give semantics to its states. Control is achieved by both taking autonomously internal actions by the state machine in order to maintain such state invariants, as well as by having the the state machine move from one invariant to another by actions driven by external events. Such an approach requires to introduce non trivial solutions in order to allow communication among such modules, mainly by implementing control loops among couple of holons. The proposed model consists essentially in shaping each module in order to be both a controller and a controllable entity. Each module may control a definite number of modules and is controlled by a single module. Control is exercised by discrete events which travel through a communication medium. Control actions as well as feedback events travel thus from a module to the another, thus achieving local control loops which, taken globally, decompose the main control loop.","PeriodicalId":341181,"journal":{"name":"Proceedings of the 1st International Workshop on Control Theory for Software Engineering","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133497109","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}

引用次数: 1

Proceedings of the 1st International Workshop on Control Theory for Software Engineering 第一届软件工程控制理论国际研讨会论文集

Proceedings of the 1st International Workshop on Control Theory for Software Engineering Pub Date : 2015-08-31 DOI: 10.1145/2804337

A. Filieri, M. Maggio

引用次数: 0

SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar SimCA与ActivFORMS:在TAS范例上比较基于控制和基于架构的适应

Proceedings of the 1st International Workshop on Control Theory for Software Engineering Pub Date : 2015-08-31 DOI: 10.1145/2804337.2804338

S. Shevtsov, M. Iftikhar, Danny Weyns

引用次数: 19

MORPH: a reference architecture for configuration and behaviour self-adaptation MORPH:配置和行为自适应的参考体系结构

Proceedings of the 1st International Workshop on Control Theory for Software Engineering Pub Date : 2015-04-30 DOI: 10.1145/2804337.2804339

V. Braberman, Nicolás D'Ippolito, J. Kramer, Daniel Sykes, Sebastián Uchitel

引用次数: 68