A System Development Process with Event-B and the Rodin Platform - Proceeding of the 4th European Congress on Embedded Real Time Software and Systems
Conference Papers Year : 2008

A System Development Process with Event-B and the Rodin Platform

Abstract

The aim of this presentation is to show that the Event-B technology can be put into practice. For this, we must follow a well defined development process. That process is precisely the one which has to be transferred to industry. The Rodin platform, in its final form, will be the supporting tool for achieving this. Before describing the Event-B development process however, we make precise what we mean by an industrial development process in general terms.
Fichier principal
Vignette du fichier
JR.Abrial_ETHZ (1).pdf (79.97 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02270340 , version 1 (24-08-2019)

Identifiers

  • HAL Id : hal-02270340 , version 1

Cite

Jean-Raymond Abrial. A System Development Process with Event-B and the Rodin Platform. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02270340⟩

Collections

ERTS2008
109 View
163 Download

Share

More