Yiannis Papadopoulos
Professor of Computer Science &
Leader of DRIS* →
(Distributed Reliable Intelligent Systems) Research Group
(*DRIS
= oak in Greek, bramble in Gaelic)
Developing methods and tools for
automated hazard analysis, assessment of dependability (safety, reliability, availability), architecture optimisation, and safety
monitoring of safety critical systems and software.
DPhil (York) MSc (Cranfield) BSc/MEng
(Aristotelian University of
Thessaloniki)
· Member of IFAC Technical
Committees 1.3 (Discrete Event and Hybrid Systems) and 5.1 (Manufacturing Plant
Control).
· Expert of Int’l standing, Australian Research College
of Experts.
· Invited Professor, Ecole Normale
Supérieure de Cachan, Paris, 2005, Royal
Institute of Technology, Stockholm , 2002 & 2007, Technical University of
Lisbon, 2010
· Organisation of multi session tracks on safety and
dependability of systems at successive IFAC World Congresses (2005 & 2008),
IFAC symposia on Information Control Problems in Manufacturing (INCOM 2004 and
2006) and other events (IFAC-DCDS’07, ICHSA’06, FISITA’04).
· Paper distinctions @ SAE’09, DEPSCOS’08, ICCSIS’07,
INCOM’06, SAE’06, FISITA’04, INCOM’04, COMPSAC’03, SAFECOMP’02, SAFECOMP’99,
CEIRE’98 (submissions among best papers), Journal Condition Monitoring and
Diagnostic Engineering Management (paper of year, 1998).
I joined Hull as a lecturer in 2001 to teach and research in the
area of software engineering. I was promoted to Senior Lecturer in 2004,
Reader in 2011 and became a Professor the same year. The period from 1994 to
2001, I was a Research Fellow at York , where I
worked in the area of dependability of computer systems and software. My
earlier career includes three years with the “Square D” company where I led the
development of a Ladder Logic compiler with fault injection capabilities which
provided the basis for a commercial product.
My
teaching in
My research examines a number of problems arising in the design,
safety assessment and on-line monitoring of computer-based safety critical
systems. Such problems include difficulties arising in the application of
classical manual safety analysis techniques on complex
systems, difficulties in achieving successful trade-offs between
reliability and cost in fault tolerant design, inconsistencies and omissions in
the results of complex safety assessments, and problems that intricate
state dependencies cause in the real-time detection and diagnosis of hazardous
failures.
With a view to alleviating some of those problems,
over the last 15 years I have pioneered the development of a new method for
model-based semi-automatic safety and reliability analysis called HiP-HOPS (Hierarchically
Performed Hazard Origin and Propagation Studies). HiP-HOPS is applicable on any type of design model that identifies
the topology of a system in terms of components and material, energy or data
transactions among those components. Such models, for example, include engineering schematics, piping and
instrumentation diagrams, functional block diagrams, hardware descriptions,
data flow diagrams, and other models commonly used in system and software
engineering. HiP-HOPS draws from classical manual
safety analysis techniques such as Fault Tree Analysis and Failure Modes
and Effects Analysis (FMEA). However, it also departs from classical
manual techniques by enabling the “Automatic Synthesis
of System Fault Trees and FMEAs” from electronically
held system models that have been annotated with appropriate descriptions of
component failures and their local effects. The result of the application
of this method is a consistent and well-formed collection of
semi-automatically constructed safety analyses that determine the origins and global propagation of failure in the system. This
type of safety study can be easily iterated during design thus enabling the
consistent and continuous assessment of models as they naturally evolve in the
course of the design life-cycle.
Contributions of HiP-HOPS to the field of
dependability include:
1. Novel algorithms for top-down semi-automatic
allocation of safety requirements (e.g. in the form of reliability budgets or
Safety Integrity Levels (SILs),
2. Fast algorithms for bottom up dependability analysis
via automatic synthesis of Fault Trees and Failure Models and Effects Analyses
(FMEAs),
3. Linguistic concepts for representation and reuse of
component failure patterns,
4. PANDORA, a new temporal logic that enables assessment
of the effects of sequences of faults in Fault Tree Analysis (FTA) and FMEA,
5. A novel extension of dependability analyses with
genetic algorithms that solves difficult multi-objective optimisation problems
in the design of critical systems.
Optimisation problems we currently examine include:
a) The optimal allocation of reliability budgets to
components of an evolving architecture
b) The provision of automated support to architectural
optimisation with respect to dependability (safety, reliability &
availability) and cost. Such
optimisation is achieved via application of feasible automatic model
transformation applied by meta-heuristics like genetic algorithms.
c) The optimisation of maintenance schedules of
components with respect to system dependability and cost of
,maintenance operations.
My current research is also looking into linguistic
extensions for representation and re-use of composable
and inheritable component failure patterns, and into the possibility of
dependability analysis and optimisation of models in architecture description
languages like EAST-ADL and AADL using HiP-HOPS. In the context of a string of
recent European projects (ATESST, ATESST2, MAENAD), HiP-HOPS is contributing to
the specification of the error modelling capabilities of EAST-ADL, an emerging
architecture description language developed by the consortium as an industry
standard for the design of vehicle control systems.
My research engages with both theoretical and practical
concerns in the field of computer science. Theoretically, it contributes to a
long-standing body of research on automatic safety analysis, fault diagnosis
and design optimisation. From an applied perspective,
it automates aspects of fault tolerant design and safety analysis and could
therefore bring potential benefits to industrial users. Such benefits include
the simplification of safety and reliability analysis, the provision of an
analytical basis for making successful tradeoffs between cost and reliability,
and the improvement of operational safety.
This work develops
through extensive technical collaborations with the European transport industry
mainly with Volvo Technology, Fiat,
Continental, Jaguar-Landrover, Germanischer Lloyd, SAM Electronics in Europe, Toyota Central R&D
Labs/Denso in Japan and Embraer in Brasil. A result of
this work is a tool that generates system fault trees and FMEAs
from Matlab-Simulink and Simulation X models.
The tool has independent fault tree analysis capabilities and can display fault
trees, FMEAs and their analyses in an interactive web-based interface. However
it also interfaces, and exports the synthesised fault trees, to Fault Tree Plus, a widely used reliability analysis tool. The tool is
relatively mature and can be used independently. Indeed, a number of studies
are currently being performed using this tool on complex prototypes which
include advanced drive-by-wire concepts for cars. Partly supported by Higher
Education Innovation Funding (under HEIF2 & HEIF3 programmes), a commercial version
of this is available now from ITI GmbH →, a CAE specialist and author of the modelling tool
Simulation X . Contact me → if you are interested to know more about modes of
collaboration and access to the automated safety and reliability analysis tool
in the context of research.
Recent & Current Projects
·
Harmonisation & Integration
of HiP-HOPs with EAST-ADL, an Architecture Description Language developed by ATESST a consortium of universities
and automotive companies (Volvo,
Fiat, Volkswagen, Siemens, Conti, TU Berlin, RIT Stockholm et al) in a project
directly funded by the consortium. ATESST-2 (2008-2011) and MAENAD (2010-2013) are joint FP7 project where we take this work further to
examine the integration of state-of-the-art model-based design, verification and
optimization techniques.
·
Multi-objective
optimisation of fault tolerant designs with respect to dependability and cost using
Genetic Algorithms in a project called OPAL (Optimal Allocation) funded by Volvo Cars (click to see relevant Poster →).
·
Automated analysis of dependability attributes and
dependability versus cost optimisation of engineering
designs in shipping in a 5-year integrated FP6 project called SAFEDOR (Safety Design
Operation and Regulation, 2005-2009). The project brings together
53 partners from Academia and Industry and it is the largest ever project on
"Safety" funded by the European
Commission. Hull has a central role in the development of innovative tools
for automated reliability analysis and optimisation of
complex engineering systems on-board ship.
Germanischer
Lloyd, a major international register of shipping, is validating these tools
with a view to certifying and applying these tools in the shipping and offshore
industries.
–
The project has extended the syntax and semantics of
HiP-HOPS to enable generalized description and inheritance of component failure
patterns and reuse of such patterns in compositional safety analysis.
–
It has also developed extensions to Boolean Logic that
move HiP-HOPS (and Fault Tree Analysis in general) beyond the classical
combinatorial model, enabling
assessment of sequences (as opposed to only combinations) of
faults in system safety analysis. First results have been presented in INCOM’06
where the paper has won a best paper award in the track for dependable systems
and DCDS’07 (download recent paper on
Temporal Fault Trees )
·
Development
of techniques for model-based automated synthesis of multiple failure mode FMEAs in a 4-year project on Model-Based Safety Analysis funded by Jaguar-Landrover/Volvo & the EPSRC (CASE grant, successfully
concluded in 2009).
Publications
A list of my publications follows.
Download here (
) a collection of recent papers that give a good view
of the recent state of HiP-HOPS
Scientific Journals
1. Papadopoulos Y., Walker M.,
Parker D., Rüde E., Hamann
R., Uhlig A., Grätz U., Lien R. (2011 ) Engineering
Failure Analysis & Design Optimisation with HiP-HOPS,
Journal of Engineering Failure Analysis, DOI: 10.1016/j.engfailanal.2010.09.025,
Elsevier Science, ISSN: 1350 6307
2. DeJiu Chen, Rolf Johansson,
Henrik Lönn, Hans Blom, Martin Walker, Yiannis
Papadopoulos, Sandra Torchiaro, Fulvio
Tagliabo, Anders Sandberg, and Matthias Biehl (2011)
Integrated Fault Modelling for Safety-Critical Automotive Embedded Systems, IE&I elektrotechnik und informationstechnik, Springer, ISSN: 0932 3
3. Adachi M., Papadopoulos Y.,
Sharvia S., Parker D., Tohdo T. (accepted
October 2010) An approach to
optimization of fault tolerant architectures using HiP-HOPS,
Software Practice and Experience, DOI: 10.1002/spe.104436 pages, Wiley Interscience .
4. Wolforth I., Walker M.,
Grunske L., Papadopoulos Y. (2010), Generalisable Safety Annotations for Specification of
Failure Patterns, Software Practice and Experience, 40(5):453-483, Wiley Inderscience. ISSN: 0038 0644.
5. Wolforth I., Walker M.,
Papadopoulos Y., Grunske L. (2010),
Capture and Reuse of Composable Failure Patterns,
Int’l Journal of Critical Computer-Based Systems, 1 (1-3): 128-147, Inderscience Publishers,
ISSN 1757 8779
6. Walker M., Papadopoulos Y.
(2009) Qualitative Temporal Analysis: Towards a full implementation of the
Fault Tree Handbook, Control Engineering Practice, Elsevier Science, 17(10):1115-1125, ISSN 0967 0661
7. Walker M., Papadopoulos Y.,
Parker D., Lönn H. Törngren M., Chen D., Johansson R. Sandberg A. (2009) Semi-Automatic FMEA supporting complex
systems with combinations and sequences of failures, SAE International Journal
of Passenger Cars- Mechanical Systems October 2009 2(1): 791-802, SAE
Transactions - Journal of Passenger Cars: Mechanical Systems, ISSN: 1946 4002.
8. Walker M., Papadopoulos Y,
(2008) Synthesis and analysis of temporal fault trees with PANDORA: The time of
Priority AND gates, Nonlinear Analysis: Hybrid Systems, 2(2):368-382,
doi:10.1016/j.nahs. 2006.05.003, Elsevier Science,
ISSN 1751 570X.
9. Zeng W., Papadopoulos Y.,
Parker D. (2007), Reliability Optimization of Series-Parallel Systems Using
Asynchronous Heterogeneous Hierarchical Parallel Genetic Algorithm, Journal of
Mind and Computation, 1(4): 403-412, China Academic Electronic Publishing
House.
10. Papadopoulos Y., Audrey T.,
Faure J.-M.. Grante C.
(2006) Component failure behaviour: Patterns And reuse
in automated system safety analysis, SAE Transactions - Journal of Passenger
Cars: Mechanical Systems, 115(6): 1296-1311, ISSN: 1946 4002.
11. Papadopoulos Y., Grante C. (2005) Evolving car designs using model-based
automated safety analysis and optimisation techniques, Journal of Systems and
Software, Elsevier Science, 76(1):77-89 (extended version of paper that
received distinction among best papers in COMPSAC’03), ISSN 0164 1212.
12. Papadopoulos Y., Parker D.,
Grante C. (2004) A method and tool support for
model-based semi-automated Failure Modes and Effects Analysis (FMEA) of
engineering designs, Research and Practice in Information Technology, 47:89-95,
ACM, ISSN 1445 1336
13. Papadopoulos Y. (2003)
Model-based system monitoring and diagnosis of failures using State-charts and
Fault Trees, Reliability Engineering and System Safety, 81:325-341, 2003
(extended version of paper that received distinction among best papers in
SAFECOMP’02), ISSN 0951 8320.
14. Papadopoulos Y., McDermid
J. A., Sasse R., Heiner G.
(2001) Analysis and synthesis of the behaviour of complex programmable
electronic systems in conditions of failure, Reliability Engineering and System
Safety, 71(3):229-247, Elsevier Science, 2001 (extended version of paper that
received distinction among best papers in SAFECOMP’99), ISSN 0951 8320
15. Papadopoulos Y., McDermid
J.A. (2001) Automated safety monitoring: a review and classification of
methods, Condition Monitoring and Diagnostic Engineering Management, 4(4):14-32,
Oct. 2001, ISSN: 1363 7681.
16. Papadopoulos Y., McDermid
J. A. (1999) The potential for a generic approach to certification of
safety-critical systems in the transportation sector, Reliability Engineering
and System Safety, 63(1): 47-66, Elsevier Science, 1999, ISSN 0951 8320.
17. Papadopoulos Y., McDermid
J. A. (1998) Safety-directed monitoring using safety cases, Condition
Monitoring and Diagnostic Engineering Management, 1(4):5-15, Oct. 1998 (“best
paper of year” award), ISSN: 1363 7681.
18. Papadopoulos Y., McDermid
J. A. (1998) A harmonised model for safety assessment and certification of
safety critical systems, Requirements Engineering Journal, 3(2):143-150,
Springer-Verlag, 1998 (extended version of paper that
received distinction among best papers in CEIRE’98), ISSN: 0947 3602.
19. Hassapis G., Papadopoulos Y. (1995)
Support software for the development of programmable logic controller
applications. Real-Time Systems 9(2): 173-193 Springer, 1995 (paper based on my
undergraduate dissertation), ISSN: 0922 6443
Professional journals
20. Papadopoulos Y. (2001) New developments in software
hazard analysis and the assessment of complex programmable safety critical
systems, Croner Health and Safety Manager, 91:14-19,
London, Dec. 2001.
21. Papadopoulos Y., (2000) Mechanical synthesis of fault
trees from hierarchical design models, Epigram Newsletter, 9:1-6, April 2000.
Book chapters and Lecture Notes in Computer Science
22. Amer Dheedan & Yiannis Papadopoulos (2011-in
print) , Multi-Agent Safety Monitoring System,
7th International Conference On Computer Science & Information Systems,
Athens, June 2011, 9 pages, to be published as book chapter.
23. Papadopoulos Y., Adachi M., Sharvia S., Parker D., Tohdo T., Walker M. (2011-in print) Optimization of fault
tolerance using model transformations, 7th International Conference On Computer
Science & Information Systems, Athens, June 2011, 10 pages, to be published
as book chapter.
24. Fulvio Tagliabò, Sandra Torchiaro, Rolf Johansson, Henrik Lönn, Martin Walker,
Yiannis Papadopoulos, Anders Sandberg, DeJiu Chen
(2011-in print) Dedicated Modelling Support for the Automotive Functional
Safety Standard, IEEE Dependable Computing Systems (DEPCOS’11), in Monographs
on System Depenability, p.p. ISBN
25. Sharvia S., Papadopoulos Y. (2011-in print),
Integrated Application of Compositional and Behavioural Safety Analysis, IEEE
Dependable Computing Systems (DEPCOS’11), Springer's "Advances in
Intelligent and Soft Computing, vol. pp. IBSN Springer,
26. Papadopoulos, Y., Nggada, S., Parker, D., (2010)
Extending HiP-HOPS with Capabilities of Planning
Preventative Maintenance, Strategic
Advantage of Computing Information Systems in Enterprise Management, (eds) Majid Sarrafzadeh
Volume containing revised selected papers from Int’l Conference in Computer
Systems and Information Systems 2009-2010,
pp. 231-245, ISBN: 978-960-6672-93-4
27. Sharvia S., Papadopoulos Y. (2010), Integrating
Compositional Safety Analysis and Formal Verification, Strategic Advantage of
Computing Information Systems in Enterprise Management, (eds) Majid Sarrafzadeh. Volume containing revised selected papers from
Int’l Conference in Computer Systems and Information Systems 2009-2010, pp.
181-201, ISBN: 978-960-6672-93-4
28. P. Cuenot, P. Frey, R.
Johansson, H. Lönn, Papadopoulos. Y., M.-O. Reiser, A. Sandberg, D. Servat, R.
T. Kolagari, M. Törngren, M. Weber, (2010), The
EAST-ADL Architecture Description Language for Automotive Embedded Software, in
Model-Based Engineering of Embedded Real-Time Systems, (eds)
Giese H., Karsai G., Lee E., Rumpe
B., Schätz B., Revised selected papers from Int’l Dagstuhl Workshop, Dagstuhl
Castle, Germany, November, 2007, Lecture Notes in Computer Science 6100:297-305,
Springer, ISBN:
978-3-642-16276-3, ISSN 0302 9743.
29. Papadopoulos Y. (2009) Methods and Tools: System
Failure, Chapter in Ship-based Risk Design (ed) A. Papanikolaou, p.p. 150-176, ISBN 978-3-540-89041-6
30. Walker M., Papadopoulos Y. Parker D., (2009),
Application of a Temporal Logic in the Synthesis of Sequential Failure Modes
and Effects Analyses, Recent Advances in Computing and Management Information
Systems, (ed) Marcoulides G.A., pp. 189-207,
ISBN 978-960-6672-50-7
31. DeJiu Chen, Rolf Johansson, Henrik Lönn, Papadopoulos Y.,
Anders Sandberg, Fredrik Törner, Törngren M.
(2008) Modelling Support for Design of
Safety-Critical Automotive Embedded Systems, Computer Safety Reliability and
Security - SAFECOMP 2008 (eds)
Harrison M., Sujan
M., Lecture Notes in Computer Science 5219:72-85, Springer, ISBN
978-3-540-87697-7, ISSN 0302 9743.
32. Papadopoulos Y., Grante C., Zeng W. (2008) Advanced Safety Engineering Using Compositional
Analysis and Optimisation Techniques,
Current Advances in Computing, Engineering and Information (eds) Petratos P. & Dandapani
P., pp. 81-95, ISBN: 978-960-6672-34-7
33. Grunske L., Lindsay P., Bondarev
E., Papadopoulos Y., Parker D. (2007) An Outline of an Architecture-Based
Method for Optimizing Dependability Attributes of Software-Intensive Systems,
Chapter in Volume on Architecting Dependable Systems IV (eds)
Lemos, Gacek, Romanovsky,
Lecture Notes in Computer Science 4615:188-209, Springer, ISBN
978-3-540-74033-9, ISSN 0302 9743
34. Walker M., Bottaci L., Papadopoulos Y. (2007)
Compositional Temporal Safety Analysis, Computer Safety Reliability and
Security - SAFECOMP 2007 (eds)
Saglietti, Oster,
Norbert, Lecture Notes in Computer
Science 4680:105-119, Springer, ISBN 978-3-540-75100-7, ISSN 0302 9743.
35. Grunske L., Kaiser B., Papadopoulos Y. (2005)
Model-Driven Safety Evaluation with State-Event-Based Component Failure
Annotations, Component-based Software Engineering, ACM
SIGSOFT Symposium, (eds) Heineman, Crnkovic, Heinz,
Stafford, Clemens, Szyperski, Wallnau,
Lecture Notes in Computer Science 3489:33-48, Springer, ISBN 978-3-540-25877-3,
ISSN 0302 9743.
36. Scheidler C., Pushner P., Boutin S., Papadopoulos Y., Pisecky
M., Rennhack J., Virnich U.
(2005) Review of advanced methodologies: The SETTA
approach, in Bouyssounouse B., Sifakis
J. (eds) Embedded Systems Design, Lecture Notes in
Computer Science 3436:92-96, Springer,
ISBN 978-3-540-25107-1, ISSN 0302 9743.
37. Papadopoulos Y. (2002), Model-based on-line monitoring
using a state sensitive fault propagation model, Computer Safety, Reliability,
and Security (eds) Anderson, Bologna, Felici, Lecture Notes in Computer Science 2434:236-248,
Springer, ISBN 3-540-44157-3, ISSN 0302 9743.
38. Papadopoulos Y., McDermid J. A. (1999),Hierarchically Performed Hazard Origin and Propagation
Studies, Computer Safety, Reliability, and Security, Felici
M., Kanoun K., Pasquini A.,
Lecture Notes in Computer Science 1698:139-152, Springer, ISBN 3-540-66488-2, ISSN 0302 9743.
Conferences
39. Sharvia S., Papadopoulos Y. (2011), IACoB-SA: an Approach towards Integrated Safety Assessment,
7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011),
Trieste, Italy
40. Papadopoulos Y., Martin Walker, Henrik Lönn (2011) Automatic allocation of system safety
requirements to components of a system architecture using HiP-HOPS,
Model-based Safety Assessment Workshop 2011, ONERA Toulouse, France.
41. Mahmud N., Papadopoulos Y. Walker M. (2010)
Translation of State Machines to Temporal Fault Trees, Int’l Conf. on
Dependable Systems and Networks - Workshops (DSN-W ‘2010) – PFARM workshop,
June 2010, Chicago, pp. 45 – 51, ISBN: 978-1-4244-7729-6
42. Nggada S.H., Parker D. J., Papadopoulos Y. (2010) Dynamic
Effect of Perfect Preventive Maintenance on System Reliability and Cost Using HiP-HOPS, IFAC-MCPL 2010, 5th
Conference On Management And Control Of Production And
Logistics, September 2010, Coimbra – Portugal, published in
ifac-papersonline.net.
43. Papadopoulos Y. Walker M., Reiser M-O, Weber M.,
Servat D., Abele A., Johansson R., Lonn H., Torngren M., Sandberg A. (2010), Automatic Allocation of
Safety Integrity Levels, 8th European Dependable Computing Conference – CARS
workshop, Valencia, Spain, Spain, pp. 7-11, ACM press, ISBN:978-1-60558-915-2
44. Walker M., Papadopoulos Y. (2010) A Hierarchical
Method for the Reduction of Temporal Expressions in Pandora, 8th European
Dependable Computing Conference - DYADEM workshop, Valencia, Spain, pp. 7-13,
ACM press, ISBN:978-1-60558-916-9
45. Dheedan A., Papadopoulos Y., Multi-Agent Safety
Monitoring System,
IFAC workshop on Intelligent Manufacturing Systems (IMS’10),
Lisbon, 2010, published in ifac-papersonline.net.
46. Nggada S.H., Papadopoulos Y., Parker D. J., Extending HiP-HOPS with Capabilities of Planning Preventative
Maintenance, 6th International Conference On Computer Science & Information
Systems, Athens, June 2010.
47. Abele A., Johansson R., Lonn
H., Papadopoulos Y., Reiser M-O, Servat D., Torngren
M., Weber M. (2010), The CVM Framework - A Prototype Tool for Compositional
Variability Management, VAMOS’2010, 4th Fourth International Workshop on
Variability Modelling of Software-intensive Systems, Linz, Austria, ICB report
37:101-108, ISSN 1860‐2770
48. Walker M., Papadopoulos Y., Parker D., Törngren M.,
Chen D., Johansson R., Sandberg A. (2009), Semi-Automatic FMEA supporting
complex systems with combinations and sequences of failures, SAE World
Congress, Published in SAE volume in Safety-Critical Systems, ISBN: 978-0-7680-2118-9.
49. Sharvia S., Papadopoulos Y. (2009), Model-based Safety
Analysis Using Compositional Analysis and Formal Verification,
ICCSIS’09,5th Int’l Conference on
Computer Science & Information Systems, July 2009, Athens
50. Zeng W., Papadopoulos Y., Parker D. (2008),
Multi-objective Optimization of Dependability Attributes Using An Asynchronous
Heterogeneous Hierarchical Parallel Genetic Algorithm, IFAC Workshop on
Intelligent Manufacturing Systems, Poland 2008, published in
ifac-papersonline.net
51. Sharvia S., Papadopoulos Y. (2008), Non-coherent
Modelling in Compositional Safety Analysis, IFAC, 17th World Congress, Int’l
Federation of Automatic Control, Seoul, July, 2008, published in
ifac-papersonline.net
52. Hamann R., Uhlig A., Papadopoulos Y., Rüde
E., Grätz U.,
Lien R. (2008) Derivation or Ship System Safety Criteria by means of
Risk-Based Ship System Safety Analysis, ASME 27th Int’l Conference on Offshore
Mechanics and Arctic Engineering (OMAE’08), American Society of Mechanical
Engineers, Estoril Portugal, June 2008, 16 pages,
proceeding on CD with ISBN: 0 7918 3821 8.
53. Walker M., Papadopoulos Y. (2008) Assessment of
Sequences of Failures in a Technique for Model-based Safety, ICCSIS’08, Int’l
Conference on Computer Science & Information Systems, July 2008, Athens.
54. Wolforth I.,
Walker M., Papadopoulos Y. (2008) A language for failure patterns and
application in safety analysis, IEEE Dependable Computing Systems (DEPCOS’08),
pp 47-54, Digital Object Identifier 10.1109/DepCoS-RELCOMEX.2008.44, June 26-28
2008, Szklarska Poreba,
Poland, June 2008, ISBN: 978-0-7695-3179-3.
55. Parker D., Papadopoulos Y. (2007) Optimization of
Networked Control Systems Using Model-based Safety Analysis Techniques, ICNSC07, IEEE Conference On Networking,
Sensing and Control, London 15-17 April, Doi
10.1109/ICNSC.2007.372816, Proceedings on CD with ISBN 1-4244-1076-2
56. Uhlig A., Kurzbach G., Hamann R., Papadopoulos Y., Walker M., Lühmann
B., (2007) Simulation Model Based Risk and Reliability Analysis, Tagung Technische Zuverlässigkeit, Annual VDI reliability conference,
Stuttgart, 22-23.April, Proceedings on CD, ISBN: 1-4354-1378-3
57. Papadopoulos Y. (2007) Advanced Safety Engineering
Using Compositional Analysis and Evolutionary Optimisation Techniques,
ICCSIS’07, Int’l Conference on Computer Science & Information Systems, July
23-26, 2007, Athens
58. Walker M., Papadopoulos Y. (2007) PANDORA 2: The time
of Priority OR gates, DCDS’07, 1st IFAC Workshop on Dependable Control of
Discrete Event Systems, Paris, 2007, pp. 169-174, Elsevier Science, also
published in ifac-papersonline.net.
59. Parker D., Papadopoulos Y. (2007) Effective
Multi-criteria Redundancy Allocation Via Model-Based
Safety Analysis, IFAC Workshop on Intelligent Manufacturing Systems, Alicante,
2007, Elsevier Science.
60. Walker M., Bottaci L., Papadopoulos Y. (2007)
Compositional Temporal Safety Analysis, 26th Int’l Conf. on Computer Safety,
Reliability and Security, Nuremberg, Germany, Sept. 2007
61. Parker, D., Papadopoulos, Y., “Automatic Dependability
Versus Cost Optimisation of Distributed Vehicle
Control Systems”, 11th European Automotive Congress, EAEC’07, Budapest,
Hungary, 2007.
62. Hamann R., Kurzbach G., Lühmann B., Papadopoulos Y., Uhlig A., Walker M.
(2007) Extending Simulation X to Support
Model-based Safety and Reliability Analysis of Systems, System Simulation
Workshop, Dresden, September 2007.
63. Barragan I.S., Faure J-M.,
Papadopoulos Y. (2006) Including Systematic Faults Into Fault Tree
Analysis, SAFEPROCESS’06, 6th IFAC Symposium on Fault Detection, Supervision
and Safety of Technical Processes , Beijing, China, 2006, p.p. 811-818, ISBN
10: 0-08-044485-7.
64. Walker M., Papadopoulos Y. (2006) PANDORA: The time of
Priority AND gates, INCOM 2006, 12th IFAC Int’l Symposium on Information
Control Problems in Manufacturing, France, 2006, pp. 235-240, Elsevier Science,
ISBN: 978-0-08-044654-7
65. Grunske L., Papadopoulos Y. (2006) Application Of Evolutionary Algorithms
To Solve The Safety-Costs Trade-Off Problem In Control System Design, INCOM
2006, 12th IFAC Int’l Symposium on Information Control Problems in
Manufacturing, France, 2006, Elsevier Science, pp. 247-252, ISBN:
978-0-08-044654-7
66. Papadopoulos Y. (2006) Evolutionary Safety-Cost
Tradeoffs in System Design via Compositional Safety Analysis, ICSHA’06, Int’l
Conference on Hybrid Systems and Applications, Lafayette, USA.
67. Papadopoulos Y., Tran A., Faure J.-M. C.Grante (2006) Component failure behaviour: patterns and
reuse in automated system safety analysis, SAE World Congress, Detroit, April
2006, SAE Volume on Safety Critical Systems, ISBN: 0-7680-1764-5.
68. Papadopoulos Y., Parker D., Walker, Grante C. (2006)
Component-Based, Automated FMEA of Advanced Active Safety Systems,
FISITA’06, 31st World Automotive Congress, Yokohama, Published by JSAE, ISBN:
4-915219-83-6, 2006.
69. Grante C., Papadopoulos Y. (2005) Achieving tradeoffs
between functionality and safety at early stages in the design of complex
systems, IFAC, 16th World Congress, Int’l Federation of Automatic Control,
Prague, July 4-8, Proceedings on CD, 6 pages, ISBN 0-08-045108-X.
70. Papadopoulos Y., Grante C.,
Grunske L., Kaiser B. (2005) Continuous
assessment of evolving designs & re-use in model-based safety analysis,
IFAC, 16th World Congress, Int’l Federation of Automatic Control, Prague, July
4-8, Proceedings on CD, 6 pages, ISBN 0-08-045108-X.
71. Petersen U., Wu Q., Uhlig A., Papadopoulos Y. (2005)
Integration von Simulation und Zuverlässigkeitsanalyse
für komplexe Systeme, TTZ 2005, 22.Tagung Technische Zuverlässigkeit,
Annual VDI (Association of German Engineers) Conf.,
Stuttgart, 7-8 April 2005.
72. Papadopoulos Y., Parker D., Walker M., Petersen U. , Hamann R., Wu. Q., Uhlig A.
(2005) Automated Failure Modes and Effects Analysis (FMEA) of systems on board
ship, ICMRT’05, Int’l Conf. On Marine Research and Transportation,
Ischia/Naples, September 19-21, Proc. on CD, 12 pages, 2005.
73. Grunske L., Kaiser B., Papadopoulos Y. (2005)
Model-Driven Safety Evaluation with State-Event-Based Component Failure
Annotations, 8th International SIGSOFT Symposium on Component-based Software
Engineering (CBSE 2005), St Louis, 2005
74. Papadopoulos Y., Parker D., Grante
C. (2004) A method and tool support for model-based semi-automated Failure
Modes and Effects Analysis (FMEA) of engineering designs, 9th Australian Workshop Safety Critical Systems
(SCS'04), Brisbane, Conf. in Research and Practice in Information Technology,
47:89-95, ACS, 2004.
75. Papadopoulos Y., Grante C.
(2004) An evolutionary process for the design of safe computer-based systems,
INCOM 2004, 11th IFAC Int’l Symposium on Information Control Problems in
Manufacturing, Salvador, Brasil, April 2004, Elsevier
Science, ISBN-13: 978-0-08-044249-5 (received distinction among best papers).
76. Papadopoulos Y., Grante C., Wedlin J. (2004) Automating aspects of safety design in
contemporary automotive systems, FISITA’04, 30th World Automotive Congress,
Barcelona, Proc. on CD, 12 pages, Published by JSAE, ISBN: 4-715221-78-4, 2004
(nominated for the Future Automotive Technology Award).
77. Papadopoulos Y., Parker D., Grante
C. (2004) Automating the Failure Modes and Effects Analysis of safety critical
systems, HASE’04, 8th IEEE Int’l Symposium on High Assurance Systems
Engineering, pp. 312-314. March 2004.
78. Papadopoulos Y., Grante C.
(2003) Techniques and tools for automated safety analysis & decision
support for redundancy allocation in automotive systems, COMPSAC’03, 27th IEEE
Int’l Conf. on Computer Software and Applications, pp. 105-110, Dallas Texas,
Nov 2003 (received distinction among best papers).
79. Papadopoulos Y., Petersen U. (2003) Combining ship
machinery system design and first principle safety analysis, IMDC’03, 8th Int’l
Marine Design Conf., Athens, pp. 1:415-426, ISBN 960-92218-0-7, May 2003.
80. Papadopoulos Y. (2002) Model-based on-line monitoring
using a state sensitive fault propagation model, 21st Int’l Conf. on Computer Safety,
Reliability and Security, Catania, Sicily, Sept. 2002
81. Scheidler C., Virnich U., Boutin S., Rennhack J., Grünsteidl G., Pisecky M., Kirner R., Papadopoulos Y. (2002) Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell, VDI/VDE GMA
Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren - AutoReg 2002, pp.
226-238, Mannheim, Germany, 2002.
82. Papadopoulos Y., Maruhn M. (2001) Model-based
automated synthesis of fault trees from Matlab-Simulink
models, DSN’2001, Int’l Conf. on Dependable Systems and Networks, Gotenborg, Sweden, pp. 77-82, ISBN 0-7695-1101-5, July
2001.
83. Papadopoulos Y., McDermid J.A.,
Scheidler C., Mavrides A.,
Maruhn M. (2001) Semiautomatic safety analysis of programmable systems in
automotive applications, ADAS 2001, Int’l Conf. on Advanced Driver Assistance
Systems, Birmingham, U.K., IEE publications, 483:53-57, Sept 2001.
84. Scheidler C., Pushner P., Boutin S., Fuchs E., Gruensteidl
G., Papadopoulos Y., Pisecky M., Rennhack
J., Virnich U. (2000) Systems Engineering of
Time-Triggered architectures – The SETTA Approach, DCCS-2000, 16th Int’l Workshop on Distributed
Control Systems, pp 77-83, Sydney, Nov 2000.
85. Papadopoulos Y., Mauri G.,
McDermid J. A. (2000) Systematic anticipation and validation of scenarios of
failure propagation and mitigation in PLC controlled processes, 4th Int’l
Symposium on Programmable Systems in Safety Related Applications, pages
1-14/14, Cologne, May 2000.
86. Papadopoulos Y., McDermid J. A. (1999) A new method
for safety analysis and the mechanical synthesis of fault trees in complex
systems, ICSSEA ‘99, 12th Int’l Conf. on Software and Systems Engineering and
their Applications, 4(13):1-9, Paris, Dec 1999.
87. Papadopoulos Y., McDermid J. A. (1999) Extending and
automating classical safety analyses to rationalise and simplify complex safety
assessments, in Pushner P. (ed.), Design Methods and
Tools for Dependable Systems and Quality of Service, 10th European Workshop on
Dependable Computing, pages 15-20, Austrian Computer Society, ISBN:
3-85403-125-4, May 1999.
88. Mauri G., McDermid J. A., Papadopoulos Y. (1998) Extension
of hazard and safety analysis techniques to address problems of hierarchical
scale, IEE Colloquium on Systems Engineering of Aerospace Projects, IEE Digest
no: 98/249, pp. 4.1/4.6, London , 1998.
89. Papadopoulos Y., McDermid J. A. (1998) A Harmonised
model for safety assessment and certification of safety critical systems, CEIRE
'98, 2nd European Conference on Industrial Requirements Engineering, pp. 9-17,
London, Oct. 1998 (received distinction among best papers).
90. Hassapes G., Papadopoulos Y. (1992) A compiler with fault
injection capability for Programmable Logic Controllers. Int’l Conf. on
Information Systems and Applications, Patras, Greece
1992, (paper based on my undergraduate dissertation)
91. Cain J., Horis J., Kamra V.P, Koirala,
K., Lavender V., Papadopoulos Y., Swift S. (1992) Measuring the effectiveness
of the interlink between the design function and the production function, Conf.
on Technology Management, pp. H:1-20, Cranfield
University , Nov 1992.
Theses
92. Papadopoulos
Y., Safety-directed system monitoring using safety cases, D.Phil. thesis, Tech,
Rep. YCST-2000-08, Department of Computer Science, University of York , U.K. , 2000.
93. Papadopoulos
Y., An Object-oriented tool for automated testing and debugging of Programmable
Logic Controller programs, MSc thesis, Cranfield
University, U.K., 1993.
94. Papadopoulos Y., A Ladder logic interpreter and
emulator – Simulation software for Programmable Logic Controllers, DipEng thesis, Aristotelian University of Thessaloniki,
Greece, 1992.
Poster for Project OPAL (Optimal
Allocation) - funded by Volvo
