Je vois que cette question a été oubliée. DSL !
En un sens oui, bus_write doit vérifier, mais pas dans le sens où vous posez la question, je crois.
Le bus, comme nous l'avons implémenté, est simplement un table de redirection via des pointeurs.
Donc, du point de vue de bus_write, « vérifier qu'on écrit à une adresse valide » (c'est aussi vrai pour read) se limite simplement à ne pas avoir un pointeur NULL. C'est tout.
Je crois me souvenir avoir écrit qqpart dans la donnée qu'on ne va pas se préoccuper de cet aspect spécifique de mémoire (read-only ou pas).
Pour info, au tout départ on avait ajouté un bit à la mémoire pour cela, mais, pour simplifier, on a finalement décidé de ne pas garder cet aspect du projet.