Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.
Nicolas HalbwachsFabienne LagnierChristophe RatelPublished in: IEEE Trans. Software Eng. (1992)
Keyphrases
- data flow
- real time systems
- object oriented programming language
- programming language
- object oriented
- database machine
- control flow
- object oriented programming
- programming environment
- digital signal processing
- distributed systems
- reactive systems
- embedded systems
- real time
- object oriented software
- scripting language
- asynchronous communication
- data transfer
- systolic array
- timing constraints
- model checking
- mission critical
- anytime algorithms
- architectural model
- real time embedded
- high level
- real time database systems
- multi agent
- software engineering
- database systems
- bottle neck