Quantifying Notions of Extensibility in FlexRay Schedule Synthesis.
Reinhard SchneiderDip GoswamiSamarjit ChakrabortyUnmesh D. BordoloiPetru ElesZebo PengPublished in: ACM Trans. Design Autom. Electr. Syst. (2014)
Keyphrases
- communication protocol
- safety critical
- scheduling problem
- scheduling algorithm
- formal methods
- fault tolerant
- agent architecture
- wifi
- multi agent
- mobile devices
- software engineering
- monitoring system
- patient care
- support systems
- machine learning
- health care
- computer simulation
- wireless sensor networks
- decision making
- artificial intelligence