-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
signal.scroll
25 lines (21 loc) · 1.46 KB
/
signal.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
import ../code/conceptPage.scroll
id signal
name SIGNAL
appeared 1982
tags pl
fileType text
wordRank 2383
centralPackageRepositoryCount 0
country France
originCommunity Institut national de recherche en sciences et technologies du numérique
wikipedia https://en.wikipedia.org/wiki/SIGNAL_(programming_language)
related esterel lustre simulink isbn
summary SIGNAL is a programming language based on synchronized data-flow (flows + synchronization): a process is a set of equations on elementary flows describing both data and control. The SIGNAL formal model provides the capability to describe systems with several clocks (polychronous systems) as relational specifications. Relations are useful as partial specifications and as specifications of non-deterministic devices (for instance a non-deterministic bus) or external processes (for instance an unsafe car driver). Using SIGNAL allows one to specify an application, to design an architecture, to refine detailed components down to RTOS or hardware description. The SIGNAL model supports a design methodology which goes from specification to implementation, from abstraction to concretization, from synchrony to asynchrony. SIGNAL has been mainly developed in INRIAEspresso team since the 1980s, at the same time as similar programming languages, Esterel and Lustre.
pageId 32475185
dailyPageViews 13
created 2011
backlinksCount 13
revisionCount 60
appeared 1982
hopl https://hopl.info/showlanguage.prx?exp=1270
tiobe SIGNAL