Istituto di Scienza e Tecnologie dell'Informazione     
Banci M., Gnesi S. Automatic instantiation for railway interlocking systems. In: FORMS/FORMAT 2007 - 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (Braunschweig, Germany, 25-26 January 2007). Proceedings, pp. 389 - 398. GZVB e.V, 2007.
Real-life systems can be conveniently modeled by the replication and interconnection of simple components of few types: different configurations of the same system may vary just for the number of components and for the topology of their interconnections. In industrial practice of formal modeling the tedious work of manual instantiation has to be automated, which allows to produce at low cost new configurations of the same product. We propose a methodology to build formal statechart models of topologically distributed systems by instantiating generic components
Subject Formal modeling
railways applications
D.2.1 Requirements/Specifications
D.2.2 Design Tools and Techniques

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional