Zobrazeno 1 - 10
of 285
pro vyhledávání: '"Alessandro Cimatti"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 3 (2023)
Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespread use there are its strong foundational properties: LTL is equivalent
Externí odkaz:
https://doaj.org/article/819b5736fa194b1bad0ddbda3b5ae1b8
Publikováno v:
Sensors, Vol 22, Iss 13, p 4859 (2022)
Power distribution grids are typically installed outdoors and are exposed to environmental conditions. When contamination accumulates in the structures of the network, there may be shutdowns caused by electrical arcs. To improve the reliability of th
Externí odkaz:
https://doaj.org/article/064ca98eb58c4bc2a27afa06d44cf4cb
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:
Electronic Proceedings in Theoretical Computer Science, Vol 20, Iss Proc. FMA 2009, Pp 68-75 (2010)
The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requir
Externí odkaz:
https://doaj.org/article/c24e2e1e8506429caedc7142c3492e76
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 2 (2012)
In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate or yield t
Externí odkaz:
https://doaj.org/article/8e775f65f3eb4f57a0b4aa1cd2ffdfaa
Publikováno v:
Formal Methods in System Design. 60:277-324
Autor:
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
We present , a framework for the integration of modern verification tools in the context of AUTOSAR, a widely-used open standard for the development of automotive software systems. Our framework enables the automatic end-to-end verification of system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7229ca60bc805dd738f1099e707f7626
https://doi.org/10.1007/978-3-031-30820-8_1
https://doi.org/10.1007/978-3-031-30820-8_1
Publikováno v:
Proceedings of SIE 2022 ISBN: 9783031260650
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5e55aeca7c0906a497562feb396fa33
https://doi.org/10.1007/978-3-031-26066-7_42
https://doi.org/10.1007/978-3-031-26066-7_42
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:
Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems.