SCA extensions to support safety critical distributed embedded systems.
Aitor AgirreJon PérezRafael PriegoMarga MarcosElisabet Estévez-EstévezPublished in: ETFA (2013)
Keyphrases
- embedded systems
- safety critical
- fault tolerant
- support systems
- low cost
- safety analysis
- real time systems
- embedded software
- distributed systems
- software systems
- cooperative
- peer to peer
- computing environments
- formal methods
- real time embedded
- agent architecture
- decision support
- real time
- field programmable gate array
- mobile agents
- information systems