Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.
Irina M. SmarandacheThierry GautierPaul Le GuernicPublished in: World Congress on Formal Methods (1999)
Keyphrases
- real time systems
- timing constraints
- real time
- timed automata
- mixed signal
- embedded systems
- high speed
- distributed systems
- object oriented programming language
- vlsi circuits
- low power
- real time embedded
- real time database systems
- anytime algorithms
- real time databases
- constraint programming
- architectural model
- constraint satisfaction
- object oriented
- relational databases
- database systems