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

被引：0

作者：

Benveniste, A ^{[1
]}

Boumai, P ^{[1
]}

Gautier, TY ^{[1
]}

Le Borgne, M ^{[1
]}

Le Guernic, P ^{[1
]}

Marchand, H ^{[1
]}

机构：

[1] INRIA, IRISA, F-35042 Rennes, France

来源：

PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5 | 2001年

关键词：

discrete event systems; reactive systems; distributed architectures; embedded code generation;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Dynamical systems working have been recognized as essential in the area of computer science, under the name of reactive systems by David Harel. 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.

引用

页码：3284 / 3289

页数：6

共 15 条

[1] THE SYNCHRONOUS APPROACH TO REACTIVE AND REAL-TIME SYSTEMS [J].

BENVENISTE, A ;

BERRY, G .

PROCEEDINGS OF THE IEEE, 1991, 79 (09) :1270-1282

[2]

Benveniste A, 2000, INFORM COMPUT, V163, P125, DOI [10.1006/inco.2000.9999, 10.1006/inco.2000.2898]

[3]

Benveniste A, 1999, LECT NOTES COMPUT SC, V1664, P162

[4]

Berry Gerard, 1999, The constructive semantics of pure Esterel.

[5] THE SYNCHRONOUS DATA FLOW PROGRAMMING LANGUAGE LUSTER [J].

HALBWACHS, N ;

CASPI, P ;

RAYMOND, P ;

PILAUD, D .

PROCEEDINGS OF THE IEEE, 1991, 79 (09) :1305-1320

[6]

Halbwachs N., 1993, Synchronous Programming of Reactive Systems

[7]

HAREL D, 1985, NATO ASI SERIES F, V13, P477

[8]

Harel D., 1998, MODELING REACTIVE SY

[9]

*INR IR, 2001, SIGNAL TOOL CONT LEG

[10]

KOUNTOURIS A, 1996, P IEE C HW SW COS RE

← 1 2 →