Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/249644
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems |
Autor: | Perez, Jon; Flores, Jose Luis; Blum, Christian CSIC ORCID ; Cerquides, Jesús CSIC ORCID ; Abuin, Alex | Palabras clave: | Artificial intelligence Estimation of distribution algorithm Iterated local search Ant colony optimization Hybrud algorithm Functional safety Formal verification |
Fecha de publicación: | 20-abr-2021 | Editor: | Institute of Electrical and Electronics Engineers | Citación: | J. Perez, J. L. Flores, C. Blum, J. Cerquides and A. Abuin, "Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems," in IEEE Transactions on Industrial Informatics | Resumen: | [EN]Artificial intelligence, and the ability to learn optimized solutions that comply with a set of safety rules, could facilitate the human-based design process of safety-critical systems. However, the reconciliation of state-of-the-art artificial intelligence technology with current safety standards and safety engineering processes is a challenge to be addressed. This publication describes a method based on optimization and on formal verification for the design of safety-critical systems that are defined by Boolean algebra. Several diverse optimization techniques and a hybrid of these approaches are used to find an optimized design that considers performance requirements, availability rules and complies with all defined safety rules. Subsequently, this solution is translated into an alternative knowledge representation that can be formally verified and developed in compliance with currently considered safety standards. This method is evaluated with a simplified safety-critical case study. | Versión del editor: | https://ieeexplore.ieee.org/document/9409716 | URI: | http://hdl.handle.net/10261/249644 | DOI: | 10.1109/TII.2021.3074394 | ISSN: | 1551-3203 | E-ISSN: | 1941-0050 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Second_Review__IEEE_Optimization_and_Formal_Verification_of_the_Design_of_Boolean_Logic_Based_Safety_Critical_Systems (1).pdf | Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems | 1,7 MB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
4
checked on 25-abr-2024
WEB OF SCIENCETM
Citations
2
checked on 29-feb-2024
Page view(s)
70
checked on 28-abr-2024
Download(s)
343
checked on 28-abr-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.