Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that combines effectively and throughout the design lifecycle these two techniques which are schematically founded on the two pillars of formal logic and biology. Such a design paradigm would apply these techniques synergistically and systematically from the early stages of design to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems that brings these technologies together to realise their combined potential benefits.
Papadopoulos, Y. (2015). A synthesis of logic and biology in the design of dependable systems. IFAC Proceedings Volumes/ International Federation of Automatic Control, 28(7), 1-8. https://doi.org/10.1016/j.ifacol.2015.06.465
Journal Article Type | Article |
---|---|
Conference Name | IFAC-PapersOnLine |
Acceptance Date | Jun 1, 2015 |
Online Publication Date | Aug 28, 2015 |
Publication Date | Jun 1, 2015 |
Deposit Date | Feb 19, 2016 |
Publicly Available Date | Nov 23, 2017 |
Journal | IFAC-PapersOnLine |
Print ISSN | 1474-6670 |
Publisher | Elsevier |
Peer Reviewed | Peer Reviewed |
Volume | 28 |
Issue | 7 |
Pages | 1-8 |
DOI | https://doi.org/10.1016/j.ifacol.2015.06.465 |
Keywords | Dependability, Safety integrity levels, Generic algorithms, MBSA, HiP-HOPS |
Public URL | https://hull-repository.worktribe.com/output/471714 |
Publisher URL | http://www.sciencedirect.com/science/article/pii/S2405896315007041 |
Additional Information | This is a copy of a paper published in IFAC-PapersOnLine, 2015, v.48 issue 7. |
Contract Date | Nov 23, 2017 |
12668 Papadopoulos.PDF
(282 Kb)
PDF
Copyright Statement
© 2016 IFAC. Originally published in IFAC-PapersOnline, vol. 48, no. 7 by Elsevier Ltd. (DOI 10.1016/j.ifacol.2015.06.465)
Andromeda: A model-connected framework for safety assessment and assurance
(2024)
Journal Article
Measuring AI Fairness in a Continuum Maintaining Nuances: A Robustness Case Study
(2024)
Journal Article
Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance
(2023)
Presentation / Conference Contribution
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search