An ADL Centric Approach for the Formal Design of Real-Time Systems.
Sébastien FaucouAnne-Marie DéplancheYvon TrinquetPublished in: IFIP-WADL (2004)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- description language
- real time database systems
- activities of daily living
- architectural model
- timing constraints
- mission critical
- machine learning
- anytime algorithms
- cooperative
- object oriented programming language
- software engineering
- web services
- artificial intelligence
- embedded real time systems