Yiannis Papadopoulos
Senior Lecturer in Computer Science
&
Leader of DRIS (Distributed Reliable Intelligent Systems) Research Group
Developing
advanced methods and tools for Automated Dependability Analysis
and Optimisation of Dependable 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.
· Invited Visiting Researcher, Royal Institute of
Technology, Stockholm , 2002 & 2007
· 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 @ DEPSCOS’08, INCOM’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 and was promoted to Senior Lecturer in 2004.
Before that, I was a Research Fellow at
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 recent 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) (Download HiP-HOPS paper 
).
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.
Recently, I have shown that the resultant safety
analyses can be further processed to form an executable specification,
upon which an automated monitor can operate to detect, diagnose and control
hazardous failures in real-time (Download
paper on diagnosis ). Also, that this work on automated safety analysis
can be combined with genetic algorithms and Pareto Optimisation in order to
solve a number of difficult design optimisation problems. Such problems
include the optimal allocation of reliability budgets to components of an
evolving architecture and the provision of automated support to architectural
optimisation with respect to dependability (safety, reliability &
availability) and cost. Current research
is 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.
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, Jaguar-Landrover, DaimlerChrysler, Germanischer
Lloyd, SAM Electronics, Ricardo as well as Toyota Central R&D Labs/Denso in Japan. 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
experimental but 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 release of the automated safety analysis tool is
planned within 2009 together with 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.
Extensions to this work are focused in the following
areas:
Current Projects
·
Development of
techniques for model-based automated synthesis of FMEAs in a 4-year project on Model-Based Safety Analysis funded by Jaguar-Landrover/Volvo & the EPSRC (CASE grant, successfully concludes within
2008, download paper on automatic synthesis of FMEAs ).
·
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) is a 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 or download paper on optimisation ).
·
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 )
Publications
A list of my publications follows. Please contact me if you wish to have a copy
of any of these papers.
Scientific Journals (+ Book Series with
ISSN)
1. Walker M., Papadopoulos Y. (2009,
in press) Qualitative Temporal Analysis: Towards a full implementation of the
Fault Tree Handbook, Control Engineering Practice, Elsevier Science, DOI 10.1016/j.conengprac.2008.10.003, ISSN
0967-0661
2. 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.
3. 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, Elsevier
Science, ISSN 1751-570X.
4. 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.
5. 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, 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
6. 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.
7. 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: 978-0-7680-1838-7 (extended
version of paper presented at SAE World Congress)
8. 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.
9. 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.
10. 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.
11. 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
12. 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, ISSN
0951-8320.
13. 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.
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. (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.
18. 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.
19. 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.
20. 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
21. 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.
22. Papadopoulos Y., (2000) Mechanical synthesis of fault
trees from hierarchical design models, Epigram Newsletter, 9:1-6, April 2000.
Book chapters
23. 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, ATINER, ISBN: ISBN:
978-960-6672-34-7
Conferences
24. 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, Alicante, 2007, Elsevier Science.
25. 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.
26. 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),
Estoril Portugal, June 2008.
27. Walker M., Papadopoulos Y. (2008) Temporal Extensions
to the Fault Tree Handbook, ICCSIS’08, Int’l Conference on Computer Science
& Information Systems, July 2008, Athens.
28. Wolforth I.,
Walker M., Papadopoulos Y. (2008) A language for failure patterns and
application in safety analysis, IEEE Conference on Dependable Computing Systems
(DEPCOS’08), June 26-28 2008, Szklarska Poreba, Poland, June 2008.
29. 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, ISBN
1-4244-1076-2
30. 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: 978-3-18-091984-3
31. 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
32. 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
33. 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.
34. 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
35. 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.
36. 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.
37. 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
38. 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
39. 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.
40. 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.
41. 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.
42. 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.
43. 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.
44. 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.
45. 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.
46. 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
47. 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.
48. 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).
49. 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).
50. 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.
51. 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).
52. 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.
53. 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
54. 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.
55. 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.
56. 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.
57. 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.
58. 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.
59. 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.
60. 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.
61. 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.
62. 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).
63. 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.
64. Hassapis 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)
Theses
65. 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.
66. Papadopoulos Y.,
An Object-oriented tool for automated testing and debugging of Programmable
Logic Controller programs, MSc thesis, Cranfield University, U.K., 1993.
67. 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
