SafeX: Open Source Hardware and Software Components for Safety-Critical Systems.
Sergi AlcaideGuillem CaboFrancisco BasPedro BenedicteFrancisco FuentesFeng ChangIlham LasfarRamon CanalJaume AbellaPublished in: FDL (2022)
Keyphrases
- safety critical
- open source
- formal methods
- safety analysis
- nuclear power plant
- fault tolerant
- embedded systems
- distributed systems
- real time
- agent architecture
- regulatory requirements
- intelligent systems
- artificial intelligence
- learning systems
- support systems
- source code
- patient care
- low cost
- control system
- expert systems