Geo-Distributed Simulation and Verification Infrastructure for safe train Galileo-based positioning.
Cosimo StalloAlessandro NeriPietro SalvatoriFrancesco RispoliOlivier DesenfansJuliette MaraisAntonio AguilaBeatriz SierraRicardo CampoDaniel MolinaSusana HerranzXavier LeblanGiuseppe RotondoPublished in: ENC (2020)
Keyphrases
- distributed systems
- distributed environment
- cooperative
- highly distributed
- computing environments
- distributed computing environment
- distributed architecture
- distributed storage
- model checking
- information exchange
- loosely coupled
- spatial data infrastructures
- database systems
- support environment
- information dissemination
- distributed processing
- formal verification
- resource sharing
- simulation models
- simulation environment
- grid computing
- mathematical model
- face recognition