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 Hull currently covers modules on Software Engineering and Advanced Software Engineering focusing on techniques for model-based development, object oriented systems and software modelling notations such as those defined in UML.

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 (pdficon) 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 18602770

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

 

image003