A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.
Rémy WyssFrédéric BoniolJulien ForgetClaire PagettiPublished in: APLAS (2012)
Keyphrases
- real time systems
- object oriented programming language
- reactive systems
- programming language
- specification language
- real time
- oriented programming
- object oriented programming
- embedded systems
- programming environment
- asynchronous communication
- object oriented
- timing constraints
- distributed systems
- mission critical
- operational semantics
- formal language
- exception handling
- scripting language
- formal languages
- high level
- java programming
- action language
- real time database systems
- formal specification
- architectural model
- open source
- real time embedded
- case study