Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Roberto Cavada"'
Publikováno v:
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ISBN: 9783031262357
The development of modern railways applications must be supported by trusted tools, able to cover the whole development process. In this paper we report on the research challenges underlying a comprehensive toolset for the design of computer-based in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::699796bf32c28efb59e4abb71bb52d0c
https://doi.org/10.1007/978-3-031-26236-4_9
https://doi.org/10.1007/978-3-031-26236-4_9
Autor:
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
We present Norma, a tool for the modeling and analysis of Relay-based Railways Interlocking Systems (RRIS). Norma is the result of a research project funded by the Italian Railway Network, to support the reverse engineering and migration to computer-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75173727aece69024a684a69fdc61b39
https://doi.org/10.1007/978-3-030-99524-9_7
https://doi.org/10.1007/978-3-030-99524-9_7
Autor:
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
Publikováno v:
Model-Based Safety and Assessment ISBN: 9783031158414
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d714829f3d173c45d5b0a66bd7f644f
https://doi.org/10.1007/978-3-031-15842-1_2
https://doi.org/10.1007/978-3-031-15842-1_2
Autor:
Alberto Griggio, Matteo Tessi, Arturo Amendola, Alessandro Cimatti, Giuseppe Scaglione, Alberto Tacchella, Angelo Susi, Roberto Cavada, Anna Becchi
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030614669
ISoLA (3)
ISoLA (3)
This paper describes a model-based flow for the development of Interlocking Systems. The flow starts from a set of specifications in Controlled Natural Language (CNL), that are close to the jargon adopted in by domain experts, but fully formal. From
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12e2e1c9eeff7bd103d858ccafb268c0
https://doi.org/10.1007/978-3-030-61467-6_16
https://doi.org/10.1007/978-3-030-61467-6_16
Autor:
Giuseppe Scaglione, Alessandro Cimatti, Mirko Sessa, Roberto Cavada, Giuseppe Cadavero, Sergio Mover
Publikováno v:
FMCAD
Università degli di Trento-IRIS
Università degli di Trento-IRIS
Relay Interlocking Systems (RIS) are analog electromechanical networks traditionally applied in the safety-critical domain of railway signaling. RIS consist of networks of interconnected components such as power supplies, contacts, resistances, and e
Autor:
Marco Bozzano, Alberto Griggio, Andrea Micheli, Cristian Mattarei, Gianni Zampedri, Alessandro Cimatti, Roberto Cavada, Benjamin Bittner, Marco Gario
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732
TACAS
TACAS
This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a159e25b76131816ba7e203320a3187
https://doi.org/10.1007/978-3-662-49674-9_31
https://doi.org/10.1007/978-3-662-49674-9_31
Publikováno v:
FM 2016: Formal Methods ISBN: 9783319489889
FM
FM
Model-based design has become a standard practice in the development of control systems. Many solutions provide simulation, code generation, and other functionalities to minimize the design time and optimize the resulting control system implementatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b034ea44f8599019112bb96ef48ccb3
https://doi.org/10.1007/978-3-319-48989-6_45
https://doi.org/10.1007/978-3-319-48989-6_45
Autor:
Marco Pensallorto, Stefano Tonetta, Sergio Mover, Roberto Cavada, Cristian Mattarei, Alessandro Mariotti, Andrea Micheli, Alessandro Cimatti, Angelo Susi, Marco Roveri
Publikováno v:
ASE
We present the EuRailCheck tool, which supports the formalization and the validation of requirements, based on the use of formal methods. The tool allows the user to analyze the requirements in natural language and to categorize and structure them. I
Autor:
Roberto Cavada, Alessandro Cimatti, Anders Franzen, Krishnamani Kalyanasundaram, Marco Roveri, R.K. Shyamasundar
Publikováno v:
Formal Methods in Computer Aided Design (FMCAD'07).
Publikováno v:
Computer Aided Verification ISBN: 9783540733676
CAV
CAV
Formal languages are increasingly used to describe the functional requirements of circuits. Although formal requirements can be hard to understand and subtle, they are seldom the object of verification. In this paper we present our requirement analys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a59b3646d0cbc175b2956106c3e86df
https://doi.org/10.1007/978-3-540-73368-3_30
https://doi.org/10.1007/978-3-540-73368-3_30