A Timed-Automata Based Middleware for Time-Critical Multicore Applications.
Dario SocciPeter PoplavkoSaddek BensalemMarius BozgaPublished in: ISORC Workshops (2015)
Keyphrases
- petri net
- timed automata
- distributed systems
- computer systems
- home network
- discrete event
- context awareness
- decision theoretic
- application layer
- interactive dynamic influence diagrams
- networked information systems
- middleware architecture
- transparent access
- finite state machines
- data processing
- communication protocol
- emergency response
- publish subscribe
- computing power
- multi party
- shared memory
- low level