Co-designed and detailed CSIRT for Railway model, with annexed Requirements and Good Practice Guide validated by reference group (Railway IT and CISOs).
The plan will define the project dissemination and communication strategies.
Identification of railway signalling system used in the project as a case study on which to apply the formal demonstrator prototype.
Co-designed and detailed CSIRT for Railway model, with annexed Requirements and Good Practice Guide ready for testing and validation with wider security stakeholder group.
This task is divided into two activities: a) Specification of a formal development demonstrator prototype. The specification of the formal development demonstrator will be based on the use case developed in Shift2Rail-(X2RAIL-2): 5.4.1 Development of Systems with standardized interfaces and it will consist in the identification of the overall process to be followed for the formal analysis and establishing the criteria for suitability of supporting tools. In particular, the definition of the architecture of the formal development demonstrator will include the choice of appropriate formal methods and tools to be integrated taking into account the results produced by current projects in SHIFT2RAIL: ASTRail, X2RAIL-2. Moreover, in this activity we will identify the tools for the description in standard interfaces (e.g. SysML) of the railway subsystem. (D2.1). b) Formal development demonstrator prototype. A detailed description of the process and framework constituting the demonstrator prototype will be released in (D2.2i, first draft). This description will show, in particular, how all the identified components will be integrated and used. This first release of the prototype will be validated on a selected portion of the railway signalling subsystem defined in T2.2. The detailed description of the process and the framework constituting the demonstrator prototype will be finalised in (D2.2f, final release), taking into account the results of the experimentation of the prototype done in Task 2.3. CNR will lead the task providing the specification and the formal development of the demonstrator prototype. ARD will contribute in the activity, ensuring the link with ASTRail. SIRTI will ensure the necessary link with the outcome of X2RAIL-2 and will lead the collaboration with the complementary project X2RAIL-3 through at least one collaboration meeting.
Detailed description of how all the identified demonstrator components will be integrated and used on a selected portion of the case study.
Searching for OpenAIRE data...
Author(s): Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
Published in: Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III, Issue 12478, 2020, Page(s) 467-485