SIGNAL (programming language)
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).
- Comment
- enSIGNAL 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).
- Has abstract
- enSIGNAL 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.
- Homepage
- www.irisa.fr/espresso/Polychrony/
- Hypernym
- Language
- Is primary topic of
- SIGNAL (programming language)
- Label
- enSIGNAL (programming language)
- Link from a Wikipage to an external page
- www.inria.fr/en/en/teams/espresso
- www-sop.inria.fr/meije/esterel/esterel-eng.html
- www.irisa.fr/espresso/home_html
- www.inria.fr/
- www.irisa.fr/espresso/Polychrony/
- www-verimag.imag.fr/SYNCHRONE/
- www.irisa.fr/vertecs/index.html
- www.irisa.fr/vertecs/Softwares/sigali.html
- www.topcased.org
- Link from a Wikipage to another Wikipage
- Abstraction
- Architecture
- Architecture Analysis & Design Language
- Array data type
- Asynchrony (computer programming)
- Avionics
- Block diagram
- Bus (computing)
- Category:Declarative programming languages
- Category:Formal methods
- Category:Hardware description languages
- Category:Software modeling language
- Category:Synchronous programming languages
- Compiler
- Concretization
- Data-flow
- Dataflow programming
- Design methodology
- Digital signal processing
- Documentation
- Domain-specific language
- Eclipse (software)
- Eclipse Modeling Framework
- Esterel
- Formal semantics of programming languages
- Formal verification
- Front and back ends
- Globally asynchronous locally synchronous
- GUI
- Heterogeneous
- Implementation
- Lustre (programming language)
- Metamodeling
- Mode automata
- Model checking
- Model-driven engineering
- Model of computation
- Multi-rate digital signal processing
- Nondeterministic programming
- Ontology components
- Open-source software development
- Programming language
- Programming Language
- Real-time computing
- Reflexive editor
- RTOS
- Simulink
- Sliding window
- Specification
- Supervisory control
- Synchronization
- Synchronous programming language
- System design
- Systems
- Top-down and bottom-up design
- Tree structure
- SameAs
- 4uZw7
- m.0h1dzh7
- Q7390335
- SIGNAL (programming language)
- Subject
- Category:Declarative programming languages
- Category:Formal methods
- Category:Hardware description languages
- Category:Software modeling language
- Category:Synchronous programming languages
- WasDerivedFrom
- SIGNAL (programming language)?oldid=1044546100&ns=0
- WikiPageLength
- 8338
- Wikipage page ID
- 32475185
- Wikipage revision ID
- 1044546100
- WikiPageUsesTemplate
- Template:Abbreviations
- Template:Clarify
- Template:Reflist