A topological formal treatment for scenario-based software specification of concurrent real-time systems
Miriam C. B. AlvesChristine C. DantasNanci Naomi AraiRovedy B. da SilvaPublished in: CoRR (2008)
Keyphrases
- real time systems
- formal treatment
- embedded systems
- reactive systems
- real time
- distributed systems
- object oriented programming language
- mission critical
- embedded real time systems
- real time database systems
- timing constraints
- real time embedded
- high level
- hybrid automata
- case study
- artificial intelligence
- object oriented
- architectural model