Skip to:

  • Skip to main content
  • Skip to accessibility
City, University of London
  • Student Hub
  • Staff Hub
Search
Menu
Home
  • Prospective students
    • Courses
      • Undergraduate degrees
      • Apprenticeships
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
        • Undergraduate
        • Apprenticeship
        • Information for teachers
        • Postgraduate taught
        • Postgraduate research
          • Preparing your application
            • Preparing your research proposal
          • All PhD research projects
        • Booking Short Courses
          • Business and Management Short Courses
          • Computing Short Courses
          • Creative Industry Short Courses
          • Creative Writing Short Courses
            • The Novel Studio published alumni
          • Law Short Courses
          • Modern Languages Short Courses
      • Prospectus
        • Undergraduate
        • Postgraduate
      • Visas
        • Student visas
          • Applying from outside the UK
          • Applying from within the UK
          • Applying for a dependant visa
          • Preparing your application
          • Working in the UK
        • Standard Visitor visas
          • How to apply for a Standard Visitor Visa
          • Non-visa nationals
        • ATAS certificates
        • Brexit and European nationals
      • Study abroad programmes
        • Study abroad programme
        • Partnership programme
      • Clearing
        • Applying through Clearing
      • Alternative entry routes
        • Foundation programmes
        • Second-year students
        • Work experience
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
        • Payment methods
        • Fee schedules
        • Deposit refunds
      • Additional expenses
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
        • Undergraduate
        • Postgraduate
        • Clearing
      • Paying for halls
      • Private accommodation
        • Finding a place to live
        • Accommodation for families
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
        • Undergraduate online events
        • Postgraduate online events
        • Ask a student
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
        • Sport clubs
        • Non-competitive sport
        • Competitive sport
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
        • Mental health counselling
        • Learning support
        • Young, estranged students
        • Care leavers
        • Young adult carers
        • Personal tutoring programme
      • Learn another language
    • Career development
      • Placements, internships and employment opportunities
        • Micro-placements
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    • Research centres and groups
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
        • Research ethics
          • Principles
          • Approval process
          • Approval outcomes and appeals
          • External ethics approvals
        • Ethics guidance and resources
          • Participant information and consent
          • Recruiting participants from City
          • Records management
          • Research conducted abroad
          • FAQ
        • Research integrity
          • Framework for good practice in research
          • Research misconduct
      • Research data
        • Managing active research data
        • Digital research data and Figshare
      • Researcher development
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
        • Researcher Development Programme (DRDP)
      • Research Supervisors
  • For businesses
    • Start your business
      • Develop your startup idea
        • One-to-one startup advice
        • The Good Entrepreneur Festival
        • Startup Camp
        • Startup Seminars
        • Side Hustle
        • CitySpark Workshops
      • Launch your startup
        • Start-up visa
        • Launch Lab
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
        • What is the apprenticeship levy?
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
        • Become a mentor
        • Employer engagement events
        • Micro-Placements
        • Industry Led Projects
      • Information for placement partners
        • Speech and Language Therapy training
  • Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
        • City Alumni LinkedIn groups
        • MENA Alumni Board
        • US Alumni Board
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
      • Alumni Events
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    • News
    • Events
    • Social media directory
      • City social accounts
        • WeChat social accounts
      • School and Departmental accounts
  • About us
    • Schools and Departments
      • School of Policy & Global Affairs
        • About the School
          • Athena Swan
        • Department of Economics
        • Department of International Politics
        • Department of Sociology and Criminology
          • Postgraduate Sociology at City
      • School of Communication & Creativity
        • About the School
          • Athena Swan
          • Creatives in Residence
        • Department of Journalism
          • James Cameron Memorial Lecture
            • Lectures
            • Special awards
            • Winners
        • Department of Media, Culture and Creative Industries
          • English, Publishing and Creative Writing
          • Culture and the Creative Industries
          • Library and Information Science
          • Media and Communications
        • Department of Performing Arts
        • The Centre for Language Studies
      • Bayes Business School
      • School of Health & Psychological Sciences
        • About the School
          • Athena SWAN
          • Selection Process
          • Occupational Health Checks
          • Disclosure and Barring Service (DBS) enhanced check (formerly CRB)
          • MSc Nursing - RPL
          • Reference request
        • Department of Health Services Research and Management
          • Health Services Management at City
        • Department of Language and Communication Science
        • Department of Midwifery and Radiography
          • Radiography undergraduate learning contract
          • Postgraduate Midwifery at City
          • Radiography at City
        • Department of Nursing
        • Department of Optometry and Visual Sciences
        • Department of Psychology
      • School of Science & Technology
        • About the School
          • Athena SWAN
          • Aviation Management at City
          • Civil Engineering at City
          • Computer Science at City
          • Cyber Security MSc courses at City
          • Energy MSc courses at City
          • Library and Information Science at City
          • Maritime Management at City
          • Placements and internships
            • Placement and internship schemes
        • Department of Computer Science
        • Department of Mathematics
          • Potential PhD projects
        • Department of Engineering
      • The City Law School
        • Academic programmes
          • Undergraduate degree LLB
          • Graduate Entry Law GE LLB
          • Graduate Diploma in Law GDL
          • Master of Laws (LLM)
        • Professional programmes
        • Research and Scholarships
        • Athena Swan in The City Law School
        • Equality, Diversity and Inclusion at The City Law School
        • Barrister training
          • Bar Training
          • Pupillage Advice Service
        • Solicitor training
          • Future Solicitors Careers Advice Service (FSCAS)
          • The Solicitors' Qualifying Exam (SQE)
        • Law in real life (Law IRL)
          • Legal work placements
          • Court visits
          • Mock Trials
        • About The School
          • Prizes from The City Law School
          • Global Engagement
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Academic excellence
        • Rankings
        • Education
          • Flexible learning spaces
          • Active and collaborative learning
          • Term dates
        • Student statistics
      • Equality, diversity and inclusion
        • Equality, Diversity and Inclusion Strategy
        • Data and objectives
        • Staff networks
        • Digital Accessibility
      • Sustainable development
        • Get involved
        • Environmental Impact and Performance
      • Civic engagement
      • Social responsibility
        • Social responsibility in our outreach
        • Social responsibility in action
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
        • Audit and Risk Committee
        • Corporate Governance and Nominations Committee
        • Remuneration Committee
        • Strategy and Finance Committee
        • Development Committee
      • Senate
        • Board of Studies
        • Collaborative Provision Committee
        • Educational Quality Committee
        • Research and Enterprise Committee
        • Senate Research Ethics Committee
      • Executive leadership
      • Financial statements
        • Financial Summary
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Admissions advice during coronavirus
        • Coronavirus accommodation information
      • Latest updates
      • Advice for visitors to our campus
  • Student Hub
  • Staff Hub
  • Prospective students
    Prospective students
    • Courses
      • Undergraduate degrees
      • Apprenticeships
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
      • Prospectus
      • Visas
      • Study abroad programmes
      • Clearing
      • Alternative entry routes
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
      • Additional expenses
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
      • Paying for halls
      • Private accommodation
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
      • Learn another language
    • Career development
      • Placements, internships and employment opportunities
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    Research
    • Research centres and groups
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
      • Research data
      • Researcher development
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
      • Research Supervisors
  • For businesses
    For businesses
    • Start your business
      • Develop your startup idea
      • Launch your startup
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
      • Information for placement partners
  • Alumni and supporters
    Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
      • Alumni Events
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    News and events
    • News
    • Events
    • Social media directory
      • City social accounts
      • School and Departmental accounts
  • About us
    About us
    • Schools and Departments
      • School of Policy & Global Affairs
      • School of Communication & Creativity
      • Bayes Business School
      • School of Health & Psychological Sciences
      • School of Science & Technology
      • The City Law School
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Academic excellence
      • Equality, diversity and inclusion
      • Sustainable development
      • Civic engagement
      • Social responsibility
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
      • Senate
      • Executive leadership
      • Financial statements
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Admissions advice during coronavirus
      • Latest updates
      • Advice for visitors to our campus
  1. Home
  2. …
  3. People
  4. Academics
  5. Dr Andrey Povyakalo
People
  • Academics
  • Research students
  • Students
  • Honorary graduates
  • Past students
  • Professional Services staff
  • International agents and representatives
  • Senior people
  • Extraordinary women
photo of Andrey Povyakalo

Dr Andrey Povyakalo

Senior Lecturer

School of Science & Technology Department of Computer Science

Contact details

  • +44 (0)20 7040 8247
  • a.a.povyakalo@city.ac.uk

Address

Dr Andrey Povyakalo A304F, College Building [A]
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom
  • About
  • Research
  • Publications

About

Overview

Andrey joined the Centre for Software Reliability (CSR) as a Research Fellow in January, 2001 employed on the DIRC project. He was promoted to a Senior Lecturer post in November 2008.

He hold his Candidate of Science degree in Engineering (PhD equivalent) from the Institute of Nuclear Power Engineering (INPE), Obninsk, Russia in 1994. His PhD thesis concerns mathematical modelling of mutual relations between Structural Redundancy, Fault-tolerance, Reliability and Technical Safety of a Computer Complex. He graduated from the Obninsk branch of Moscow Engineering and Physics Institute (MEPhI) in 1985 as a systems engineer with major in Computer-Aided Control and Management systems.

Before joining CSR he was employed by Institute of Nuclear Power Engineering (INPE), Obninsk, Russia as a docent (associate professor) of dept of Computer Systems, Networks and Technologies.

Qualifications

  • Academic Title of Docent in Computing, Ministry General & Professional Education, Russian Federation, 1997
  • Dipl. Eng. Computer Aided Control & Management (Nuclear Industry), Moscow Engineering Physics Institute (MEPhI), Russian Federation, 1985
  • Candidate of Science in Engineering (Nuclear Engineering), Institute of Nuclear Power Engineering, Russian Federation

Employment

  • Senior Lecturer, City, University of London, Dec 2008 – present
  • Research Fellow, City, University of London, Jan 2001 – Dec 2008
  • Docent (Associate Professor), Institute of Nuclear Power Engineering, Jun 1995 – Dec 2000
  • Senior Lecturer, Institute of Nuclear Power Engineering, Dec 1991 – May 1995
  • Lecturer, Institute of Nuclear Power Engineering, Aug 1988 – Dec 1991
  • Research Student, Institute of Nuclear Power Engineering, Jun 1985 – Jul 1988

Research

Research interests

- Software and Systems Engineering
- Dependability of computer-based systems (assessment and achievement)
- Diversity in computer-based systems (modelling and analysis)
- Probabilistic Risk/Safety Assessment
- Reliability Engineering and System Safety

Projects

- DISPO
- SESAMO
- INDEED
- CRUK
- DIRC

Publications

Publications by category

Chapter

  • Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P. (2009). Computer Aided Detection: Risks and benefits for radiologists' decisions. In Samei, E. and Krupinski, E. (Eds.), The Handbook of Medical Image Perception and Techniques (pp. 320–332). Cambridge Univ Pr. ISBN 978-0-521-51392-0.

Conference papers and proceedings (39)

  • Bishop, P., Povyakalo, A. and Strigini, L. (2022). Bootstrapping confidence in future safety from past safe operation. 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) 31 Oct 2022 – 3 Nov 2022. doi:10.1109/issre55969.2022.00020
  • Gashi, I., Povyakalo, A. and Strigini, L. (2016). Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. 2016 12th European Dependable Computing Conference (EDCC) 5-9 September. doi:10.1109/edcc.2016.27
  • Zhao, X., Littlewood, B., Povyakalo, A. and Wright, D. (2015). Conservative claims about the probability of perfection of software-based systems. 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) 2-5 November. doi:10.1109/issre.2015.7381807
  • Gashi, I., Povyakalo, A., Strigini, L., Matschnig, M., Hinterstoisser, T. and Fischer, B. (2014). Diversity for Safety and Security in Embedded Systems. IEEE International Conference on Dependable Systems and Networks 23-26 June, Atlanta, GA, USA.
  • Popov, P., Povyakalo, A., Stankovic, V. and Strigini, L. (2014). Software Diversity as a Measure for Reducing Development Risk. 2014 Tenth European Dependable Computing Conference (EDCC) 13-16 May. doi:10.1109/edcc.2014.36
  • Strigini, L. and Povyakalo, A.A. (2013). Software Fault-Freeness and Reliability Predictions. 32nd International Conference, SAFECOMP 2013 24-27 September, Toulouse, France. doi:10.1007/978-3-642-40793-2_10
  • Strigini, L. and Povyakalo, A. (2013). Software Fault-Freeness and Reliability Predictions. doi:10.1007/978-3-642-40793-2_10
  • Alberdi, E., Strigini, L., Povyakalo, A.A. and Ayton, P. (2009). Why Are People's Decisions Sometimes Worse with Computer Support? SAFECOMP 2009, 28th International Conference on Computer Safety, Reliability, and Security. doi:10.1007/978-3-642-04468-7_3
  • Bloomfield, R.E., Gashi, I., Povyakalo, A. and Stankovic, V. (2008). Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network. doi:10.1109/ISSRE.2008.62
  • Strigini, L., Alberdi, E., Povyakalo, A. and Ayton, P. (2005). Automation bias in medical decision making: A study of unreliable computer advice in breast cancer screening. 27th Annual Meeting of the Society for Medical Decision Making (SMDM05) October, San Francisco.
  • Alberdi, E., Ayton, P., Povyakalo, A.A. and Strigini, L. (2005). Automation bias and system design: A case study in a medical application. doi:10.1049/ic:20050451
  • Littlewood, B., Bloomfield, R., Popov, P., Povyakalo, A. and Strigini, L. (2004). The impact of ‘difficulty’ variation on the probability of coincident failure of diverse systems. International Conference on Control and Instrumentation in Nuclear Installations Liverpool.
  • Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P. (2003). Does incorrect computer prompting affect human decision making? A case study in mammography.
  • Strigini, L., Povyakalo, A. and Alberdi, E. (2003). Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. doi:10.1109/DSN.2003.1209935
  • Strigini, L., Povyakalo, A., Alberdi, E. and Ayton, P. (2003). Decision support or automation bias? A study of computer aided decision making in breast screening. Subjective Probability, Utility and Decision Making (SPUDM 2003).
  • Povyakalo, A.A. (2000). Formal Qualitative Safety Analysis of Safety-Critical Software algorithms. Eighth International Conference On Nuclear Engineering (ICONE-8) 2-6 April, Baltimore, MD USA.
  • Povyakalo, A.A. (2000). Safety, danger and catastrophe inevitability in operation of safety-critical software algorithms: A possible new look at software safety analysis.
  • Povyakalo, A.A. (1999). Formal Qualitative Safety Analysis of General Dynamic Systems: Synthesis of Protection Algorithms. Seventh International Conference On Nuclear Engineering (ICONE-7), Japan Society of Mechanical Engineers (JSME) 19-23 April, Tokyo, Japan.
  • Povyakalo, A.A. (1998). Some issues of formal qualitative safety analysis of dynamic systems. Sixth International Conference On Nuclear Engineering (ICONE-6), American society of mechanical engineers (ASME) 10-15 May, San-Diego, California.
  • Povyakalo, A.A. (1997). To go out a dangerous business in time. Fifth International Conference On Nuclear Engineering (ICONE-5), American society of mechanical engineering (ASME) 26-30 May, Nice, France.
  • Povyakalo, A.A. (1996). Levels of Safety. Fourth International Conference on Nuclear Engineering (ICONE-4), American society of mecanical engineers (ASME) 10-15 March, New Orleans, LA, USA.
  • Pereguda, A.I. and Povyakalo, A.A. (1995). Assessment of importance for protection subsystems in analysis of reliability and safety.
  • Povyakalo, A.A. (1995). Constructive criterion of catastrophe inevitability.
  • Povyakalo, A.A. (1992). A Semi-Markov’s Model for Reliability and Safety Analysis for a Particular Class of Systems. Conference “Probabilistic and Physical methods of reliability analysis of engines and equipment” 21-23 April, Kiev.
  • Povyakalo, A.A. and Pereguda, A.I. (1992). Applying an Algorithm for Constructing of Orthogonal Structure Function for Reliability Assessment of Complex Systems. Probabilistic and Physical methods of reliability analysis of engines and equipment 21-23 April, Kiev.
  • Povyakalo, A.A. (1991). Criteria of Technical Safety. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A. and Pereguda, A.I. (1991). A Semi-Markov’s Model for Reliability and Safety Analysis of a Particular Class of Systems. Transactions of nuclear industry meeting “Reliability and Safety problems of NPP operation” Balakovo NPP, Moscow (VNIIAES) (All-Union NPP Research Institute).
  • Povyakalo, A.A. (1990). An Algorithm for Constructing Orthogonal Structure Functions for Systems with Non-reducible Structure. Technical Diagnostics and Reliability Prediction Obninsk, INPE.
  • Povyakalo, A.A. and Pereguda, A.I. (1990). An Approach for Formalisation of a Concept of Safety. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A. and Pereguda, A.I. (1990). An Algorithm and a Program Code for Assessment of Reliability Indexes with Structural Probabilities. Digital models in design and manufacturing of electronic equipment Penza, Engineering Institute.
  • Povyakalo, A.A. and Pereguda, A.I. (1989). Assessing Reliability Indexes with Structural Probabilities. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A., Grigoryev, A.S., Volkova, E.V., Kurbatov, V.P. and Pereguda, A.I. (1989). Assessing Reliability Indexes of Technical Systems with Structural Probabilities (preprint). Moscow, CNIIatominform (Central Research Institute of atomic energy information).
  • Povyakalo, A.A. and Pereguda, A.I. (1989). Structural redundancy and safety. Leningrad, LIAP (Leningrad Institute of Automation and Device Manufacturing).
  • Povyakalo, A.A. and Pereguda, A.I. (1988). Choosing Structure of a Communication Network for an Computer-aided Control System for a Manufacturing Process. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A. and Pereguda, A.I. (1988). Reliability Allocation for a Multifunctional System. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A. and Pereguda, A.I. (1988). Fault-tolerance and reliability of technical systems: Relations between indexes. Transactions of Fourth All-Union meeting “Reliability, Vulnerability and Safety of Automated Complexes” Moscow, Institute of Problems of Control.
  • Povyakalo, A.A. and Pereguda, A.I. (1986). Synthesis of Fault-tolerant Structure of a Communication Network. VINITI (All-Union Institute of Scientific and Engineering Information).
  • Strigini, L., Povyakalo, A., Alberdi, E. and Ayton, P. Evaluating 'Human + Advisory computer' systems: A case study. HCI2004,18th British HCI Group Annual Conference.
  • Povyakalo, A.A. A Semi-Markov’s Model for Reliability and Safety Analysis of a Particular Class of Systems. Technical diagnostics and Reliability prediction Obninsk, INPE.

Journal articles (20)

  • Bishop, P. and Povyakalo, A. (2020). A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components. Reliability Engineering & System Safety, 203, pp. 107060–107060. doi:10.1016/j.ress.2020.107060.

    [publisher’s website]

  • Zhao, X., Littlewood, B., Povyakalo, A., Strigini, L. and Wright, D. (2018). Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliability Engineering & System Safety, 175, pp. 265–282. doi:10.1016/j.ress.2018.03.032.

    [publisher’s website]

  • Bishop, P. and Povyakalo, A. (2017). Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles. Reliability Engineering & System Safety, 158, pp. 246–253. doi:10.1016/j.ress.2016.08.019.

    [publisher’s website]

  • Zhao, X., Littlewood, B., Povyakalo, A., Strigini, L. and Wright, D. (2017). Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is “quasi-perfect”. Reliability Engineering & System Safety, 158, pp. 230–245. doi:10.1016/j.ress.2016.09.002.

    [publisher’s website]

  • Bishop, P., Bloomfield, R., Littlewood, B., Popov, P., Povyakalo, A. and Strigini, L. (2014). A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. Reliability Engineering & System Safety, 130, pp. 61–68. doi:10.1016/j.ress.2014.04.002.

    [publisher’s website]

  • Littlewood, B. and Povyakalo, A. (2013). Conservative Reasoning about the Probability of Failure on Demand of a 1-out-of-2 Software-Based System in Which One Channel Is "Possibly Perfect". IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39(11), pp. 1521–1530. doi:10.1109/TSE.2013.35.
  • Povyakalo, A.A., Alberdi, E., Strigini, L. and Ayton, P. (2013). How to discriminate between computer-aided and computer-hindered decisions: a case study in mammography. Medical Decision Making, 33, pp. 98–107.
  • Littlewood, B. and Povyakalo, A. (2013). Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of “not worse than independence”. IEEE Transactions on Software Engineering.
  • Littlewood, B., Bishop, P., Bloomfield, R., Povyakalo, A. and Wright, D. (2011). Towards a formalism for conservative claims about the dependability of software-based systems. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2010.67.
  • Alberdi, E., Povyakalo, A.A., Strigini, L., Ayton, P. and Given-Wilson, R. (2008). CAD in mammography: Lesion-level versus case-level analysis of the effects of prompts on human decisions. International Journal of Computer Assisted Radiology and Surgery, 3(1-2), pp. 115–122. doi:10.1007/s11548-008-0213-x.
  • Alberdi, E., Povyakalo, A.A., Strigini, L., Ayton, P., Hartswood, M., Procter, R. … Slack, R. (2005). Use of computer-aided detection (CAD) tools in screening mammography: a multidisciplinary investigation. Br J Radiol, 78 Spec No 1. doi:10.1259/bjr/37646417.
  • Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P. (2004). Effects of incorrect computer-aided detection (CAD) output on human decision-making in mammography. Academic Radiology, 11(8), pp. 909–918. doi:10.1016/j.acra.2004.05.012.

    [publisher’s website]

  • Alberdi, E., Povyakalo, A.A., Strigini, L. and Ayton, P. (2004). Effects of incorrect CAD output on human decision making in mammography. Academic Radiology, 11(8), pp. 909–918.
  • Pereguda, A.I. and Povyakalo, A.A. (1995). Assessment of the importance of the protection subsystems in reliability and safety analysis. Atomic Energy, 78(3), pp. 164–168. doi:10.1007/BF02407482.
  • Pereguda, A.I. and Povyakalo, A.A. (1995). Assessment of importance for protection subsystems in analysis of reliability and safety. Atomnaya Energiya, 78(3), pp. 166–172.
  • Povyakalo, A.A. (1995). On Static and Dynamic Aspects of System Fault-tolerance. Reliability and Quality Assurance, 1, pp. 3–7.
  • Povyakalo, A.A. (1994). Zero Sum Postulate: Rating the Risk and estimating the Price of a Human Life. Communications of Higher Schools. Nuclear Power Engineering, 4-5(10).
  • Povyakalo, A.A. (1993). On a Formal Approach for development of Mathematical Models of Safety for Systems With Finite Number or States. Communications of Higher Schools. Nuclear Power Engineering, 2, pp. 35–40.
  • Povyakalo, A.A. and Pereguda, A.I. (1989). Fault-tolerance and Reliability of Systems with Recoverable Elements. Control devices and systems, 11, pp. 5–7.
  • Povyakalo, A.A. and Pereguda, A.I. (1989). Fault-Tolerance and Reliability of Systems with Unrecoverable Elements. Control devices and systems, 11, pp. 3–5.

Reports (3)

  • Bishop, P. and Povyakalo, A. (2022). Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. Springer International Publishing. ISBN 978-3-031-14834-7.
  • Littlewood, B. and Povyakalo, A. (2012). Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1-out-of-2 software-based system in which one channel is “possibly perfect”. London: Centre for Software Reliability, City University London.
  • Littlewood, B. and Povyakalo, A. (2012). Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of 'not worse than independence'. London: Centre for Software Reliability, City University London.

Thesis/dissertation

  • Povyakalo, A.A. Mathematical Modeling of Relations Between Fault-tolerance, Reliability and Safety of a Computer Complex. (PhD Thesis)

Help us to improve this page

City, University of London

  • Library Services
  • Moodle
  • Email
  • Staff directory
  • Term dates
  • Book a room
  • Schools and departments

Back to top

Contact us

Make an enquiry

  • Twitter
  • Facebook
  • Instagram
  • LinkedIn
  • YouTube
  • Weibo
  • Youku
  • WeChat
Social media directory

Find us

City, University of London
Northampton Square
London EC1V 0HB
United Kingdom

Campus map

Our global campuses

  • London
  • Dubai
  • Athena SWAN: Bronze Award
  • UKRI Research England logo

Useful links

  • Accessibility
  • Privacy policy
  • Cookies
  • City Store
  • Support City
  • Work for City
  • City Magazine
  • 中文

© 2023 City, University of London

University of London