Automatic Instantiation for Railway Interlocking Systems

Banci M, Gnesi S

Formal modeling  Dependability  Railways applications 

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