Static and Verifiable Memory Partitioning for Safety-Critical Systems.

Jean Guyomarc'h Jean-Baptiste Hervé

Published in: ISSRE Workshops (2020)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
fault tolerant
nuclear power plant
learning systems
support systems
data mining
distributed systems
software development
agent architecture
real time
case based reasoning
open source