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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Software procurement and methods for specification and validation in the railway transportation industry


    Contributors:
    Foschi, U. (author) / Giuliani, M. (author) / Morzenti, A. (author) / Pradella, M. (author) / San Pietro, P. (author)


    Publication date :

    2002


    Size :

    Seiten, 4 Quellen


    Remarks:

    pp.




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English







    Transformations in railway procurement

    Batisse, F. | British Library Online Contents | 2002


    Transformations in railway procurement

    Batisse, Fr | Online Contents | 2002