FM 2026

De aanleiding (maar niet de reden) voor mijn bezoek aan Japan is dat deze week in Tokio de conferentie FM 2026 wordt gehouden.

De conferentie is een (inmiddels jaarlijks) evenement dat wordt georganiseerd onder auspiciën van FME (Formal Methods Europe), een organisatie die ik mede heb opgericht in 1989, en waar ik nog steeds bestuurslid ben. Dus ik mag hier niet ontbreken. Onderwerp van de conferentie: formele methoden. Dat zijn wiskundig gebaseerde technieken om systemen, software en processen exact te specificeren, analyseren en verifiëren. In plaats van aannames of alleen testen, gebruiken formele methoden logica, modellen en bewijzen om te controleren of een systeem correct, veilig en consistent werkt. Ze worden vooral toegepast in kritieke domeinen zoals luchtvaart, spoorwegen, cybersecurity en financiële systemen, waar fouten grote gevolgen kunnen hebben. Hoewel formele methoden vaak meer tijd en specialistische kennis vereisen, helpen ze om complexe systemen betrouwbaarder en robuuster te maken.

Een mooi, en toepasselijk voorbeeld hier in Japan is de FeliCa-chip: een contactloze RFID/NFC-chip die is ontwikkeld door Sony, gebruik makend van VDM. En dat is weer een formele methode waar ik zelf in het verleden veel mee heb gedaan. De chip wordt veel gebruikt in Japan voor snelle en veilige betalingen, toegangscontrole en openbaar vervoer. Bekende toepassingen zijn onder andere Suica (deze gebruiken wij hier ook veelvuldig!) en PASMO, waarmee reizigers eenvoudig trein-, metro- en busritten kunnen betalen. FeliCa staat bekend om zijn hoge snelheid en betrouwbaarheid, waardoor transacties vaak binnen een fractie van een seconde plaatsvinden. Daardoor is het een belangrijk onderdeel van het Japanse digitale betaal- en transportsysteem.

Een conferentie biedt, naast de vele wetenschappelijke presentaties die worden gegeven, vanzelfsprekend ook een netwerkfunctie. Zo zijn er een aantal sociale activiteiten, zoals een receptie (op de woensdag) en een diner (op de donderdag). Geeft mij de gelegenheid om bij te praten met de vele contacten (en in sommige gevallen ook vrienden) die ik in de afgelopen 35 jaar in deze wereld heb opgedaan.

Er zijn bijna 300 deelnemers, veelal wetenschappers, op de conferentie aanwezig, en kan alleen al om die reden een groot succes worden genoemd!