Verification of real-time systems with preemption: negative and positive results.
Frédéric BoniolJérôme ErmontClaire PagettiPublished in: Innov. Syst. Softw. Eng. (2009)
Keyphrases
- real time systems
- positive and negative
- real time
- positive or negative
- distributed systems
- embedded systems
- model checking
- real time database systems
- timing constraints
- positive data
- object oriented programming language
- mission critical
- real time embedded
- positive and unlabeled examples
- embedded real time systems
- architectural model
- anytime algorithms
- software engineering
- case study
- artificial intelligence