Author(s)

F. Bernaudin, C. Feliot & L. Pelhate

Abstract

ABS: A CASE tool for real time systems design F. Bernaudin', C. Feliot* & L. Pelhate' Transport, France. ^TEME^ France. *RATP, France. Abstract Railways, as well as other industries such as aircraft manufacturers, are involved in the safety of passengers. Nevertheless tools, methodology and practise are often very different from one domain to another domain. In this paper we will explain how we can take the best practises in different domains in order to increase confidence in the produce and reduce the development cost. 1 Introduction We present a Computer Aided Software Engineering Tool (ABS) based on two different tools : Atelier B from Steria and SCADE from Verilog. The B language supported by the Atelier B is a model oriented formal language which mathematically guaranties the consistency of the software code with regards to its specification. The SCADE tool which supports the synchronous declarative language LUSTRE is well adapted for real time sys

Keywords