Philip Koopman

Pittsburgh, Pennsylvania, United States
34K followers 500+ connections

Join to view profile

About

Embodied AI safety, embedded systems, autonomous vehicle safety, UL 4600, software…

Articles by Philip

Activity

34K followers

See all activities

Experience & Education

  • Carnegie Mellon University

View Philip’s full experience

See their title, tenure and more.

or

By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.

Publications

  • Embodied AI Safety: Reimagining safety engineering for artificial intelligence in physical systems

    Embodied AI (eAI) uses artificial intelligence based on machine learning to interact with the physical world. We are already seeing eAI deployed in the real world in robotaxis, smart medical devices, household robots, and other applications. However, everyone is struggling with the safety of these devices: how to design for safety, how to evaluate safety, and how to think about whether any particular eAI system is acceptably safe.

    This book provides a foundation for thinking about the…

    Embodied AI (eAI) uses artificial intelligence based on machine learning to interact with the physical world. We are already seeing eAI deployed in the real world in robotaxis, smart medical devices, household robots, and other applications. However, everyone is struggling with the safety of these devices: how to design for safety, how to evaluate safety, and how to think about whether any particular eAI system is acceptably safe.

    This book provides a foundation for thinking about the topic of eAI safety that is accessible to a non-specialist technical audience. Robotaxi safety is used as a concrete example. Early chapters provide an introduction to safety engineering, cybersecurity engineering, machine learning technology, and human/computer interaction. Later chapters cover eAI safety challenges in the wild, the complexities of establishing what risks might be acceptable, and open challenges in eAI safety. A proposal for reimagining safety engineering responds to the huge disruption that eAI technology creates when applying traditional computer-based system safety approaches. In the end, what we need are ways to build justifiable trust in eAI safety.

    Chapters:
    1. Introduction
    2. Safety engineering concepts
    3. Cybersecurity engineering concepts
    4. Machine learning concepts
    5. The role of humans in eAI safety
    6. eAI safety issues in the wild
    7. Acceptable risk
    8. Reimagining safety engineering
    9. Open challenges for building safe eAI
    10. Justifiable trust for safety-critical eAI
    11. Conclusions

    See publication
  • Understanding Checksums and Cyclic Redundancy Checks

    This book gives practical, comprehensive answers to common questions about checksums and CRCs. Descriptions are based mainly on intuitive rather than mathematical explanations for both algorithmic operation and limitations, improving accessibility to non-specialists. Coverage includes single-sum checksums, dual-sum checksums (e.g., Fletcher checksum, DualX, DualXP), the new Koopman checksum, Cyclic Redundancy Checks (CRCs), and system-level usage considerations.

    For decades much of the…

    This book gives practical, comprehensive answers to common questions about checksums and CRCs. Descriptions are based mainly on intuitive rather than mathematical explanations for both algorithmic operation and limitations, improving accessibility to non-specialists. Coverage includes single-sum checksums, dual-sum checksums (e.g., Fletcher checksum, DualX, DualXP), the new Koopman checksum, Cyclic Redundancy Checks (CRCs), and system-level usage considerations.

    For decades much of the practical use of checksums and CRCs was based, at least in part, on folklore. This book provides a solid, comprehensive foundation for addressing core issues such as the comparative fault detection effectiveness of each technique, insight into speed differences, intuitive explanations for how speed-up techniques work, which CRC polynomial you should use for any particular situation, and source code examples for each approach.

    This is the most comprehensive treatment of checksums and CRCs to date. The emphasis is on intuitive explanations and empirical validation of insights for practical application of these

    Chapters:

    Introduction
    Decimal checksum examples
    Checksum operation and terminology
    Checksum fault model
    Single-sum checksums
    Dual-sum checksums (Fletcher, Adler, DualX)
    Koopman checksum
    Checksum plus parity for HD=4 (KoopmanP, DualXP)
    Cyclic Redundancy Check (CRC)
    CRC effectiveness
    Other checksum considerations
    System-level considerations
    Resources
    Conclusions
    Appendix: Good CRC Polynomials
    Glossary

    See publication
  • The UL 4600 Guidebook

    ANSI/UL 4600 is the most comprehensive standard for highly automated vehicle safety, applying to any vehicle in which a human driver can take their eyes off the road. It provides a way to check the completeness and correctness of a safety case that spans a broad range of concerns related to safety, including design, deployment, and lifecycle support. There is a special emphasis on computer hardware and software, as well as operational concepts and interaction with other road users. While other…

    ANSI/UL 4600 is the most comprehensive standard for highly automated vehicle safety, applying to any vehicle in which a human driver can take their eyes off the road. It provides a way to check the completeness and correctness of a safety case that spans a broad range of concerns related to safety, including design, deployment, and lifecycle support. There is a special emphasis on computer hardware and software, as well as operational concepts and interaction with other road users. While other relevant standards can and should be used as well, UL 4600 provides an umbrella to make sure things don’t get missed for assuring safety.

    This book, written by the author of the original UL 4600 standard proposal, serves as a high-level guided tour. Early chapters provide historical context, a description of the distinctive UL 4600 prompt element approach, a discussion of key terms, and how a safety case works in the context of the standard. Then comes a chapter-by-chapter tour of UL 4600, explaining overall concepts and how all the pieces fit together for each area covered by the standard, from safety cases to hazard analysis to assessment. This book will help technical readers prepare for diving into the nitty gritty of the standard, as well as provide a more accessible discussion for those who want to understand what UL 4600 covers at a higher level. The last chapter provides pointers to further information, including how you can view the current version of UL 4600 for free.

    This is a comparatively short (about 100 pages of main content) trade paperback (6"x9") discussion of a much longer, fairly complex standard. So think of it as a tour guidebook and not a textbook.

    See publication
  • How Safe is Safe Enough? Measuring and Predicting Autonomous Vehicle Safety

    The most pressing question regarding autonomous vehicles is: will they be safe enough? The usual metric of "at least as safe as a human driver" is more complex than it might seem. Which human driver, under what conditions? And are fewer total fatalities OK even if it means more pedestrians die? Who gets to decide what safe enough really means when billions of dollars are on the line? And how will anyone really know the outcome will be as safe as it needs to be when the technology initially…

    The most pressing question regarding autonomous vehicles is: will they be safe enough? The usual metric of "at least as safe as a human driver" is more complex than it might seem. Which human driver, under what conditions? And are fewer total fatalities OK even if it means more pedestrians die? Who gets to decide what safe enough really means when billions of dollars are on the line? And how will anyone really know the outcome will be as safe as it needs to be when the technology initially deploys without a safety driver?

    This book is written by an internationally known expert with more than 25 years of experience in self-driving car safety. It covers terminology, autonomous vehicle (AV) safety challenges, risk acceptance frameworks, what people mean by "safe," setting an acceptable safety goal, measuring safety, safety cases, safety performance indicators, deciding when to deploy, and ethical AV deployment. The emphasis is not on how to build machine learning based systems, but rather on how to measure whether the result will be acceptably safe for real-world deployment. Written for engineers, policy stakeholders, and technology enthusiasts, this book tells you how to figure out what "safe enough" really means, and provides a framework for knowing that an autonomous vehicle is ready to deploy safely.

    See publication
  • Better Embedded System Software

    This book distills the experience of more than 90 design reviews on real embedded systems into a set of bite-size lessons learned in the areas of software development process, requirements, architecture, design, implementation, verification & validation, and critical system properties.
    Each chapter describes an area that tends to be a problem in embedded system design, symptoms that tend to indicate you need to make changes, the risks of not fixing problems in this area, and concrete ways to…

    This book distills the experience of more than 90 design reviews on real embedded systems into a set of bite-size lessons learned in the areas of software development process, requirements, architecture, design, implementation, verification & validation, and critical system properties.
    Each chapter describes an area that tends to be a problem in embedded system design, symptoms that tend to indicate you need to make changes, the risks of not fixing problems in this area, and concrete ways to make your embedded system software better. Each of the 29 chapters is self-sufficient, permitting developers with a busy schedule to cherry-pick the best ideas to make their systems better right away.

    See publication

Courses

  • Dependable Embedded Systems

    18-849

  • Distributed Embedded Systems

    18-649

  • Embedded System Engineering

    18-348

  • Embedded System Software Engineering

    18-642

Projects

  • UL 4600

    -

    Originator and member of voting Standards Technical Panel for UL4600: Standard for Safety for the Evaluation of Autonomous Products

    See project

Languages

  • English

    -

Organizations

  • Life Member IEEE, Emeritus IFIP WG 10.4

    -

View Philip’s full profile

  • See who you know in common
  • Get introduced
  • Contact Philip directly
Join to view full profile

Other similar profiles

Explore top content on LinkedIn

Find curated posts and insights for relevant topics all in one place.

View top content

Add new skills with these courses