Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Marco Gario"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 11, Issue 4 (2015)
Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that are embedded
Externí odkaz:
https://doaj.org/article/6572a3dbd07144e08dc6bb66820a9201
Publikováno v:
Formal Aspects of Computing. 33:251-295
The system design process needs to cope with the increasing complexity and size of systems,motivating the replacement of labor intensivemanual techniques with automated and semi-automated approaches.Recently, formal methods techniques, such as model-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1292a4fd15191fcb379b1ae88d0557bd
https://doi.org/10.1007/s00165-021-00532-9
https://doi.org/10.1007/s00165-021-00532-9
Autor:
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktoria Vozarova
Publikováno v:
Artificial Intelligence. 309:103725
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0326bd136f7b822f4118375b0ef31835
https://doi.org/10.1016/j.artint.2022.103725
https://doi.org/10.1016/j.artint.2022.103725
Publikováno v:
FormaliSE@ICSE
Formal specification approaches have been successfully used to specify and verify complex systems. Verification engineers so far either directly use formal specification languages which can be consumed by verification tools (e.g. SMV, Promela) or mai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ec64e678d2485b0958a32bbe90f3331
https://doi.org/10.1109/formalise.2019.00013
https://doi.org/10.1109/formalise.2019.00013
Publikováno v:
AST@ICSE
Black-box software testing is a crucial part of quality assurance for industrial products. To verify the reliable behavior of software intensive systems, testing needs to ensure that the system produces the correct outputs from a variety of inputs. E
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6eb49ea0089777ff5575953e4afe1859
https://doi.org/10.1145/3194733.3194740
https://doi.org/10.1145/3194733.3194740
Publikováno v:
ARCH@CPSWeek
Cyber-physical production systems (CPPS) build a network of industrial automation components and systems to enable individualized products at mass production costs. Failures or vulnerabilities in CPPS can be life threatening and can cause physical da
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c16ebd03ee4aeb38b0611ae80462b7d
https://doi.org/10.29007/92bd
https://doi.org/10.29007/92bd
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783319684987
RSSRail
RSSRail
Train control technology enhances the safety and efficiency of railroad operation by safeguarding the motion of trains to prevent them from leaving designated areas of operation and colliding with other trains. It is crucial for safety that the train
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49a6d462873026d32f1eb7fadd243664
https://doi.org/10.1007/978-3-319-68499-4_12
https://doi.org/10.1007/978-3-319-68499-4_12
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:
Computer Aided Verification ISBN: 9783319415390
CAV (2)
CAV (2)
Many possible solutions, differing in the assumptions and implementations of the components in use, are usually in competition during early design stages. Deciding which solution to adopt requires considering several trade-offs. Model checking repres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f141f8e03d7b793502283b0cff07a63
https://doi.org/10.1007/978-3-319-41540-6_1
https://doi.org/10.1007/978-3-319-41540-6_1
Publikováno v:
FMCAD
In the early phases of the design of safety-critical systems, we need the ability to analyze the safety of different design solutions, comparing how different functional allocations impact the overall reliability of the system. To achieve this goal,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a0c47a0368d3513b5f998bfd0d17545
https://doi.org/10.1109/fmcad.2015.7542260
https://doi.org/10.1109/fmcad.2015.7542260