SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems.
Carles HernándezJosé FlichRoberto ParedesCharles-Alexis LefebvreImanol AllendeJaume AbellaDavid TrillinMartin MatschnigBernhard FischerKonrad SchwarzJan KiszkaMartin RönnbäckJohan KlockarsNicholas Mc GuireFranz RammerstorferChristian SchwarzlFranck WartelDierk LüdemannMikel LabayenPublished in: DSD (2020)
Keyphrases
- safety critical
- fault tolerant
- formal methods
- safety analysis
- embedded systems
- nuclear power plant
- support systems
- agent architecture
- real time
- intelligent systems
- intelligent agents
- software systems
- context aware
- knowledge based systems
- decision support system
- distributed systems
- computational intelligence
- management system
- cooperative