Search

Your search keyword '"Mazzanti, Franco"' showing total 127 results
Start Over Author "Mazzanti, Franco"
127 results on '"Mazzanti, Franco"'

1. Formal Modeling and Initial Analysis of the 4SECURail Case Study

Author

Mazzanti, Franco and Belli, Dimitri

Subjects
Computer Science - Software Engineering, D.2.1,D.2.2,D.2.4,D.3.1
Abstract

We present the case study developed in the context of the 4SECURail project and the approach used for its formal modeling and analysis. Starting from a simple SysML/UML behavioral model of the system requirements, three formal models have been developed using three different frameworks, namely UMC, ProB, and CADP/LNT. The paper shows how the different ways to represent and analyze the system from the three different points of view allow us to take advantage of the resulting diversity., Comment: In Proceedings MARS 2022, arXiv:2203.09299

Published
2022
Full Text
View/download PDF

2. Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design

Author

Ferrari, Alessio, Mazzanti, Franco, Basile, Davide, and ter Beek, Maurice H.

Subjects
Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory, A.1, D.2, F.4
Abstract

Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for system design. Each tool differs from the others in terms of the modeling language used, its verification capabilities and other complementary features, and each development context has peculiar needs that require different tools. This is particularly problematic for the railway industry, in which formal methods are highly recommended by the norms, but no actual guidance is provided for the selection of tools. To guide companies in the selection of the most appropriate formal tools to adopt in their contexts, a clear assessment of the features of the currently available tools is required. To address this goal, this paper considers a set of 13 formal tools that have been used for railway system design, and it presents a systematic evaluation of such tools and a preliminary usability analysis of a subset of 7 tools, involving railway practitioners. The results are discussed considering the most desired aspects by industry and earlier related studies. While the focus is on the railway domain, the overall methodology can be applied to similar contexts. Our study thus contributes with a systematic evaluation of formal tools and it shows that despite the poor graphical interfaces, usability and maturity of the tools are not major problems, as claimed by contributions from the literature. Instead, support for process integration is the most relevant obstacle for the adoption of most of the tools.

Published
2021

3. The 4SECURail Case Study on Rigorous Standard Interface Specifications

Author

Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, Vaghi, Carlo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Cimatti, Alessandro, editor, and Titolo, Laura, editor

Published
2023
Full Text
View/download PDF

4. Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect

Author

Basile, Davide, Mazzanti, Franco, Ferrari, Alessio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Cimatti, Alessandro, editor, and Titolo, Laura, editor

Published
2023
Full Text
View/download PDF

5. A Case Study in Formal Analysis of System Requirements

Author

Belli, Dimitri, Mazzanti, Franco, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Masci, Paolo, editor, Bernardeschi, Cinzia, editor, Graziani, Pierluigi, editor, Koddenbrock, Mario, editor, and Palmieri, Maurizio, editor

Published
2023
Full Text
View/download PDF

8. The 4SECURail Formal Methods Demonstrator

Author

Mazzanti, Franco, Belli, Dimitri, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Collart-Dutilleul, Simon, editor, Haxthausen, Anne E., editor, and Lecomte, Thierry, editor

Published
2022
Full Text
View/download PDF

9. Ten Diverse Formal Models for a CBTC Automatic Train Supervision System

Author

Mazzanti, Franco and Ferrari, Alessio

Subjects
Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Computer Science - Systems and Control
Abstract

Communications-based Train Control (CBTC) systems are metro signalling platforms, which coordinate and protect the movements of trains within the tracks of a station, and between different stations. In CBTC platforms, a prominent role is played by the Automatic Train Supervision (ATS) system, which automatically dispatches and routes trains within the metro network. Among the various functions, an ATS needs to avoid deadlock situations, i.e., cases in which a group of trains block each other. In the context of a technology transfer study, we designed an algorithm for deadlock avoidance in train scheduling. In this paper, we present a case study in which the algorithm has been applied. The case study has been encoded using ten different formal verification environments, namely UMC, SPIN, NuSMV/nuXmv, mCRL2, CPN Tools, FDR4, CADP, TLA+, UPPAAL and ProB. Based on our experience, we observe commonalities and differences among the modelling languages considered, and we highlight the impact of the specific characteristics of each language on the presented models., Comment: In Proceedings MARS/VPT 2018, arXiv:1803.08668

Published
2018
Full Text
View/download PDF

10. Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers

Author

Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro, Ferrari, Alessio, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Piattino, Andrea, Trentini, Daniele, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2020
Full Text
View/download PDF

11. Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

Author

Lang, Frédéric, Mateescu, Radu, Mazzanti, Franco, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Biere, Armin, editor, and Parker, David, editor

Published
2020
Full Text
View/download PDF

14. Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

Author

ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, Mazzanti, Franco, Paolini, Luca, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ahrendt, Wolfgang, editor, and Tapia Tarifa, Silvia Lizeth, editor

Published
2019
Full Text
View/download PDF

15. A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems

Author

De Nicola, Rocco, Duong, Tan, Inverso, Omar, Mazzanti, Franco, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, ter Beek, Maurice H., editor, Fantechi, Alessandro, editor, and Semini, Laura, editor

Published
2019
Full Text
View/download PDF

16. Compositional Verification of Concurrent Systems by Combining Bisimulations

Author

Lang, Frédéric, Mateescu, Radu, Mazzanti, Franco, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, ter Beek, Maurice H., editor, McIver, Annabelle, editor, and Oliveira, José N., editor

Published
2019
Full Text
View/download PDF

17. Adopting Formal Methods in an Industrial Setting: The Railways Case

Author

ter Beek, Maurice H., Borälv, Arne, Fantechi, Alessandro, Ferrari, Alessio, Gnesi, Stefania, Löfving, Christer, Mazzanti, Franco, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, ter Beek, Maurice H., editor, McIver, Annabelle, editor, and Oliveira, José N., editor

Published
2019
Full Text
View/download PDF

18. States and Events in KandISTI : A Retrospective

Author

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Margaria, Tiziana, editor, Graf, Susanne, editor, and Larsen, Kim G., editor

Published
2019
Full Text
View/download PDF

19. Survey on Formal Methods and Tools in Railways: The ASTRail Approach

Author

Ferrari, Alessio, ter Beek, Maurice H., Mazzanti, Franco, Basile, Davide, Fantechi, Alessandro, Gnesi, Stefania, Piattino, Andrea, Trentini, Daniele, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Collart-Dutilleul, Simon, editor, Lecomte, Thierry, editor, and Romanovsky, Alexander, editor

Published
2019
Full Text
View/download PDF

21. On the Industrial Uptake of Formal Methods in the Railway Domain : A Survey with Stakeholders

Author

Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco, Piattino, Andrea, Trentini, Daniele, Ferrari, Alessio, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Furia, Carlo A., editor, and Winter, Kirsten, editor

Published
2018
Full Text
View/download PDF

23. Verifying Properties of Systems Relying on Attribute-Based Communication

Author

De Nicola, Rocco, Duong, Tan, Inverso, Omar, Mazzanti, Franco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Katoen, Joost-Pieter, editor, Langerak, Rom, editor, and Rensink, Arend, editor

Published
2017
Full Text
View/download PDF

24. An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine

Author

Mazzanti, Franco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bertogna, Marko, editor, Pinho, Luis Miguel, editor, and Quiñones, Eduardo, editor

Published
2016
Full Text
View/download PDF

25. Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System

Author

Mazzanti, Franco, Ferrari, Alessio, Spagnolo, Giorgio O., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

28. Model Checking Value-Passing Modal Specifications

Author

ter Beek, Maurice H., Gnesi, Stefania, Mazzanti, Franco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Voronkov, Andrei, editor, and Virbitskaite, Irina, editor

Published
2015
Full Text
View/download PDF

29. Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System

Author

Basile, Davide, Chiaradonna, Silvano, Di Giandomenico, Felicita, Gnesi, Stefania, Mazzanti, Franco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fantechi, Alessandro, editor, and Pelliccione, Patrizio, editor

Published
2015
Full Text
View/download PDF

30. From Featured Transition Systems to Modal Transition Systems with Variability Constraints

Author

ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, Mazzanti, Franco, Paolini, Luca, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Calinescu, Radu, editor, and Rumpe, Bernhard, editor

Published
2015
Full Text
View/download PDF

31. From EU Projects to a Family of Model Checkers : From Kandinsky to KandISTI

Author

ter Beek, Maurice H., Gnesi, Stefania, Mazzanti, Franco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, De Nicola, Rocco, editor, and Hennicker, Rolf, editor

Published
2015
Full Text
View/download PDF

33. Deadlock Avoidance in Train Scheduling: A Model Checking Approach

Author

Mazzanti, Franco, Spagnolo, Giorgio Oronzo, Della Longa, Simone, Ferrari, Alessio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lang, Frédéric, editor, and Flammini, Francesco, editor

Published
2014
Full Text
View/download PDF

34. Designing a Deadlock-Free Train Scheduler: A Model Checking Approach

Author

Mazzanti, Franco, Spagnolo, Giorgio Oronzo, Ferrari, Alessio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Badger, Julia M., editor, and Rozier, Kristin Yvonne, editor

Published
2014
Full Text
View/download PDF

36. VMC: A Tool for Product Variability Analysis

Author

ter Beek, Maurice H., Mazzanti, Franco, Sulova, Aldi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Giannakopoulou, Dimitra, editor, and Méry, Dominique, editor

Published
2012
Full Text
View/download PDF

37. An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems

Author

Gnesi, Stefania, Mazzanti, Franco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Wirsing, Martin, editor, and Hölzl, Matthias, editor

Published
2011
Full Text
View/download PDF

38. Tools and Verification

Author

Bartoletti, Massimo, Caires, Luis, Lanese, Ivan, Mazzanti, Franco, Sangiorgi, Davide, Vieira, Hugo Torres, Zunino, Roberto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Wirsing, Martin, editor, and Hölzl, Matthias, editor

Published
2011
Full Text
View/download PDF

39. The 4SECURail approach to formalizing standard interfaces between signalling systems components

Author

Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, and Vaghi, Carlo

Subjects
Requirements analysis, formal methods, software engineering, railway signalling
Abstract

In the context of the Shift2Rail open call S2R-OC-IP2-01-2019, one of the two work streams of the 4SECURail project (GA 881775) pursues the objective to corroborate how a clear, rigorous standard interface specification between signalling sub-systems can be designed by applying an approach based on semi-formal and formal methods. The objective is addressed by developing a demonstrator case study of the application of formal methods to the specification of standard interfaces, aimed at consolidating the most suitable techniques for rigorous standard interface specification, as well as at supporting a Cost-Benefit Analysis to back this strategy with sound economic arguments. This paper discusses the main results of the project.

Published
2022
Full Text
View/download PDF

41. A Model-Checking Approach for Service Component Architectures

Author

Abreu, João, Mazzanti, Franco, Fiadeiro, José Luiz, Gnesi, Stefania, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Lee, David, editor, Lopes, Antónia, editor, and Poetzsch-Heffter, Arnd, editor

Published
2009
Full Text
View/download PDF

42. Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

Author

Wirsing, Martin, Hölzl, Matthias, Acciai, Lucia, Banti, Federico, Clark, Allan, Fantechi, Alessandro, Gilmore, Stephen, Gnesi, Stefania, Gönczy, László, Koch, Nora, Lapadula, Alessandro, Mayer, Philip, Mazzanti, Franco, Pugliese, Rosario, Schroeder, Andreas, Tiezzi, Francesco, Tribastone, Mirco, Varró, Dániel, Margaria, Tiziana, editor, and Steffen, Bernhard, editor

Published
2008
Full Text
View/download PDF

43. A Model Checking Approach for Verifying COWS Specifications

Author

Fantechi, Alessandro, Gnesi, Stefania, Lapadula, Alessandro, Mazzanti, Franco, Pugliese, Rosario, Tiezzi, Francesco, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Fiadeiro, José Luiz, editor, and Inverardi, Paola, editor

Published
2008
Full Text
View/download PDF

47. Revised Requirements of the 4SECURail Case Study

Author

Mazzanti Franco and Belli Dimitri

Subjects
Railway Signaling System, Formal Methods, Requirements Analysis, Standard Interfaces
Abstract

This internal report of the 4SECURAil project contains the final requirements for the casy study used in the projet demonstrator.

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results