Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems.
Soroush BateniMarten LohstrohHou Seng WongRohan TabishHokeun KimShaokai LinChristian MenardCong LiuEdward A. LeePublished in: CoRR (2022)
Keyphrases
- embedded systems
- safety critical
- low cost
- fault tolerant
- cooperative
- safety analysis
- embedded devices
- multi agent
- real time systems
- real time embedded
- embedded software
- software systems
- distributed systems
- formal methods
- field programmable gate array
- multi agent systems
- intelligent agents
- cyber physical systems
- computing environments
- agent architecture
- user interface
- case study
- information systems
- machine learning
- real time