SIGNAL声明式同步语言:控制器合成和系统/体系结构设计

Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) Pub Date : 2001-12-04 DOI:10.1109/CDC.2001.980328

A. Benveniste, P. Bournai, T. Gautier, M. L. Borgne, P. Guernic, H. Marchand

{"title":"SIGNAL声明式同步语言:控制器合成和系统/体系结构设计","authors":"A. Benveniste, P. Bournai, T. Gautier, M. L. Borgne, P. Guernic, H. Marchand","doi":"10.1109/CDC.2001.980328","DOIUrl":null,"url":null,"abstract":"Harel and Pnueli showed (1985) that dynamical systems are an essential in the area of computer science. In this context they are called reactive systems. Synchronous languages have been proposed as a paradigm to deal with reactive systems and develop tools for them. In this paper we introduce synchronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the SIGNAL language. We give an outline of controller synthesis in SIGNAL, and system/architecture design.","PeriodicalId":131411,"journal":{"name":"Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":"{\"title\":\"The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design\",\"authors\":\"A. Benveniste, P. Bournai, T. Gautier, M. L. Borgne, P. Guernic, H. Marchand\",\"doi\":\"10.1109/CDC.2001.980328\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Harel and Pnueli showed (1985) that dynamical systems are an essential in the area of computer science. In this context they are called reactive systems. Synchronous languages have been proposed as a paradigm to deal with reactive systems and develop tools for them. In this paper we introduce synchronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the SIGNAL language. We give an outline of controller synthesis in SIGNAL, and system/architecture design.\",\"PeriodicalId\":131411,\"journal\":{\"name\":\"Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"14\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CDC.2001.980328\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.2001.980328","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 14

摘要

Harel和Pnueli表明(1985)动力系统在计算机科学领域是必不可少的。在这种情况下，它们被称为反应系统。同步语言已被提出作为处理响应式系统和为其开发工具的范例。本文通过多锁动态系统的概念介绍了同步编程范式，并用SIGNAL语言对其进行了说明。概述了SIGNAL中的控制器综合和系统/体系结构设计。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design

Harel and Pnueli showed (1985) that dynamical systems are an essential in the area of computer science. In this context they are called reactive systems. Synchronous languages have been proposed as a paradigm to deal with reactive systems and develop tools for them. In this paper we introduce synchronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the SIGNAL language. We give an outline of controller synthesis in SIGNAL, and system/architecture design.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)

自引率

0.00%

发文量