The present paper reports the experience of a joint project between Politecnico di Milano and Italian State Railway FS, Infrastructure Department (became Rete Ferroviaria Italiana SpA: RFI SpA). The purpose of the project was to define procedures and rules for managing software procurement for safety-critical signalling equipment. The project covers all phases of system development, from requirements elicitation to implementation and final validation, providing requirements on methods, languages and tools to be used during software development, without any bias towards any particular technology or tool provider. The results are consistent with, and acceptable against, international standards. In particular, requirements/recommendations have been issued, tailored on various kinds of systems under examination, concerning: a) methods, techniques, languages and tools; b) organization of the provider company in terms of independence and responsibility of participating actors; c) documentation to be produced by the provider. An experimental evaluation of formal specification methods applied to signalling systems is also reported.
Software procurement and methods for specification and validation in the railway transportation industry
2002
Seiten, 4 Quellen
pp.
Conference paper
English
Pins, Procurement Specification for, Metric
SAE Technical Papers | 2021
Pins, Procurement Specification For, Metric
SAE Technical Papers | 2013
Transformations in railway procurement
British Library Online Contents | 2002
|Transformations in railway procurement
Online Contents | 2002
|