Modelling and simulation of asynchronous real-time systems using Timed Rebeca.
Arni Hermann ReynissonMarjan SirjaniLuca AcetoMatteo CiminiAli JafariAnna IngólfsdóttirSteinar Hugi SigurdarsonPublished in: Sci. Comput. Program. (2014)
Keyphrases
- real time systems
- timed automata
- distributed systems
- real time
- discrete event
- petri net
- embedded real time systems
- embedded systems
- timing constraints
- real time database systems
- simulation model
- real time embedded
- software engineering
- data model
- mission critical
- object oriented programming language
- case study
- fine grained
- artificial neural networks
- relational databases
- multi agent