a dependability case language for a radiation therapy
play

A Dependability Case Language for a Radiation Therapy System C - PowerPoint PPT Presentation

Nov 27, 2023 •468 likes •715 views

A Dependability Case Language for a Radiation Therapy System C Michael Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, D Zachary Tatlock, Emina Torlak, Xi Wang L University of Washington vision end-to-end verification

  1. A Dependability Case Language for a Radiation Therapy System C Michael Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, D Zachary Tatlock, Emina Torlak, Xi Wang L University of Washington

  2. vision end-to-end verification for safety critical systems

  3. IronClad se L4 Quark Memory Model SUPPORTED BY

  4. IronClad Quark se L4 Formal

  6. Formal

  7. Formal Dependability Cases End-to-end

  8. Dependability cases Integrate diverse sources of evidence check interfaces of design, testing, proof, review Argue end-to-end claim based on evidence show claim holds across all layers of a system Focus on physical system properties eases validation and focuses verification effort

Recommend

Overcoming Radiation Therapy Language Barriers with the use of an Instant Translation Device for

Overcoming Radiation Therapy Language Barriers with the use of an Instant Translation Device for

Overcoming Radiation Therapy Language Barriers with the use of an Instant Translation Device for Culturally and Linguistically Diverse Patients Mr Darren Hunter Prof Michal Schneider Honorary Radiation Therapist Mr Nigel Anderson Deputy Head,

243 views • 13 slides
Understanding Radiation Understanding Radiation Therapy Therapy For Patients and the Public

Understanding Radiation Understanding Radiation Therapy Therapy For Patients and the Public

Understanding Radiation Understanding Radiation Therapy Therapy For Patients and the Public Introduction to Radiation Oncology Introduction to Radiation Oncology Radiation has been an Radiation has been an effective tool for

484 views • 15 slides
Case report Radiation-induced high-grade spindle cell sarcoma of the sternomastoid muscle: a case

Case report Radiation-induced high-grade spindle cell sarcoma of the sternomastoid muscle: a case

Page 1 of 4 Case report Radiation-induced high-grade spindle cell sarcoma of the sternomastoid muscle: a case report Z Hamdoon 1,2,3 *, W Jerjes 1,4,5 , R Al-Delayme 1 , T Upile 4 , F Vaz 6 * Abstract long time after radiation therapy and The

499 views • 4 slides
Intensity Modulated Radiation Therapy: Dosimetric Aspects & Commissioning Strategies ICPT

Intensity Modulated Radiation Therapy: Dosimetric Aspects & Commissioning Strategies ICPT

Intensity Modulated Radiation Therapy: Dosimetric Aspects & Commissioning Strategies ICPT School on Medical Physics for Radiation Therapy Justus Adamson PhD Assistant Professor Department of Radiation Oncology Duke University Medical

1.01k views • 62 slides
Intensity Modulated Radiation Therapy: Dosimetric Aspects & Commissioning Strategies ICPT

Intensity Modulated Radiation Therapy: Dosimetric Aspects & Commissioning Strategies ICPT

Intensity Modulated Radiation Therapy: Dosimetric Aspects & Commissioning Strategies ICPT School on Medical Physics for Radiation Therapy Justus Adamson PhD Assistant Professor Department of Radiation Oncology Duke University Medical

456 views • 41 slides
Intensity Modulated Radiation Therapy: Treatment Planning Techniques ICPT School on Medical

Intensity Modulated Radiation Therapy: Treatment Planning Techniques ICPT School on Medical

Intensity Modulated Radiation Therapy: Treatment Planning Techniques ICPT School on Medical Physics for Radiation Therapy Justus Adamson PhD Assistant Professor Department of Radiation Oncology Duke University Medical Center IMRT Treatment

757 views • 63 slides
Dependability Evaluation Techniques for Dependability Evaluation The dependability evaluation of

Dependability Evaluation Techniques for Dependability Evaluation The dependability evaluation of

Dependability Evaluation Techniques for Dependability Evaluation The dependability evaluation of a system can be carried out either: experimentally (heuristic) : a system prototype is built and empirical statistical data are used to evaluate

470 views • 25 slides
Training a new generation of radiation oncologists in Latin America Celine K. Torzsok FALP

Training a new generation of radiation oncologists in Latin America Celine K. Torzsok FALP

Training a new generation of radiation oncologists in Latin America Celine K. Torzsok FALP Santiago de Chile Why a Master in Advanced Radiation Therapy? Quick advances in technological skills and knowledge: modern Radiation Therapy

424 views • 20 slides
Intensity Modulated Radiation Therapy: Delivery Types ICPT School on Medical Physics for

Intensity Modulated Radiation Therapy: Delivery Types ICPT School on Medical Physics for

Intensity Modulated Radiation Therapy: Delivery Types ICPT School on Medical Physics for Radiation Therapy Justus Adamson PhD Assistant Professor Department of Radiation Oncology Duke University Medical Center justus.adamson@duke.edu I hope

750 views • 48 slides
Outline Motivation Opportunities and challenges O t iti d h ll Storage DepSky

Outline Motivation Opportunities and challenges O t iti d h ll Storage DepSky

8/27/2013 Dependability and Security with Dependability and Security with Clouds of Clouds lessons learned from n years of research Miguel Correia WORKSHOP ON DEPENDABILITY AND INTEROPERABILITY IN WORKSHOP ON DEPENDABILITY AND

657 views • 26 slides
Intensity Modulated Radiation Therapy: Technology and Process ICPT School on Medical Physics for

Intensity Modulated Radiation Therapy: Technology and Process ICPT School on Medical Physics for

Intensity Modulated Radiation Therapy: Technology and Process ICPT School on Medical Physics for Radiation Therapy Justus Adamson PhD Assistant Professor Department of Radiation Oncology Duke University Medical Center justus.adamson@duke.edu

537 views • 40 slides
Case Presentation - Case History - disease - preoperatively therapy - pre- and postoperativ MRI

Case Presentation - Case History - disease - preoperatively therapy - pre- and postoperativ MRI

Case Presentation - Case History - disease - preoperatively therapy - pre- and postoperativ MRI - result 1 Medical history Case 1: R.W. male, age 56 Former Triathlete, Power lifting, slim, trained, Lumbago since 1998, outpatient therapy

433 views • 9 slides
Algorithmic Challenges in Radiation Therapy Guillaume Blin January, 2019 Complexity, Algorithms,

Algorithmic Challenges in Radiation Therapy Guillaume Blin January, 2019 Complexity, Algorithms,

Algorithmic Challenges in Radiation Therapy Guillaume Blin January, 2019 Complexity, Algorithms, Automata and Logic Meet 2019 Guillaume Blin Algorithmic Challenges in Radiation Therapy January, 2019 1 / 28 Radiation Therapy Radiation

992 views • 66 slides
Radiation Toxicity in Era of Combined Modality Therapy with Targeted Agents Christopher J. Anker,

Radiation Toxicity in Era of Combined Modality Therapy with Targeted Agents Christopher J. Anker,

The heart and science of medicine. UVMHealth.org/CancerCenter Radiation Toxicity in Era of Combined Modality Therapy with Targeted Agents Christopher J. Anker, MD Assistant Professor Radiation Oncology University of Vermont Cancer Center October

663 views • 50 slides
Management of Men with PSA Recurrence after Radical Local Radiation Therapy Felix Feng, MD Vice

Management of Men with PSA Recurrence after Radical Local Radiation Therapy Felix Feng, MD Vice

Management of Men with PSA Recurrence after Radical Local Radiation Therapy Felix Feng, MD Vice Chair, Department of Radiation Oncology Professor of Radiation Oncology, Urology, and Medicine University of California at San Francisco Chair, GU

370 views • 19 slides
COMPLICATIONS OF RADIATION THERAPY FOR CHILDHOOD CANCERS Siddhartha Laskar Associate Professor

COMPLICATIONS OF RADIATION THERAPY FOR CHILDHOOD CANCERS Siddhartha Laskar Associate Professor

COMPLICATIONS OF RADIATION THERAPY FOR CHILDHOOD CANCERS Siddhartha Laskar Associate Professor Department of Radiation Oncology Tata Memorial Hospital, Mumbai INDIA (laskars2000@yahoo.com, www.tatamemorialcenter.com) S Laskar ICARO 2009

548 views • 51 slides
Introduction X-ray Imaging Dose to Patients in the Era of Image-guided radiation therapy

Introduction X-ray Imaging Dose to Patients in the Era of Image-guided radiation therapy

Introduction X-ray Imaging Dose to Patients in the Era of Image-guided radiation therapy (IGRT) has dramatically Image-Guided Radiation Therapy improved the accuracy of radiotherapy IGRT has emerged as the new paradigm in radiotherapy.

841 views • 12 slides
Defining The Future of Radiation Oncology: Latest Updates on Proton Arc Therapy Peyman

Defining The Future of Radiation Oncology: Latest Updates on Proton Arc Therapy Peyman

Defining The Future of Radiation Oncology: Latest Updates on Proton Arc Therapy Peyman Kabolizadeh, MD; PhD Director of Beaumont Proton Therapy Center Disclosure The SPArc research project was supported by: Ion Beam Application S.A.

681 views • 38 slides
Radiation Therapy Planning in Low- and Middle- Income Countries Laurence Court PhD University of

Radiation Therapy Planning in Low- and Middle- Income Countries Laurence Court PhD University of

The Radiation Planning Assistant (RPA) for Radiation Therapy Planning in Low- and Middle- Income Countries Laurence Court PhD University of Texas MD Anderson Cancer Center Automated treatment planning (Radiation Planning Assistant) -

791 views • 57 slides
Reducing Unplanned Admissions for Patients Receiving Radiation Therapy Project Lead Bhisham

Reducing Unplanned Admissions for Patients Receiving Radiation Therapy Project Lead Bhisham

Reducing Unplanned Admissions for Patients Receiving Radiation Therapy Project Lead Bhisham Chera, MD Director of Patient Safety and Quality Department of Radiation Oncology Project Sponsor Lawrence Marks, MD Dr. Sidney K. Simon

444 views • 22 slides
Speech and Language Therapy Katie Leahy Team lead, Solihull Adult Speech and Language Therapy

Speech and Language Therapy Katie Leahy Team lead, Solihull Adult Speech and Language Therapy

Speech and Language Therapy Katie Leahy Team lead, Solihull Adult Speech and Language Therapy Team Who are we? One team covering both acute, enhanced supported discharge (ESD), and community service Part of the wider HEFT Speech and

306 views • 18 slides
Software Architecture & Dependability Valrie Issarny INRIA Joint work with Apostolos

Software Architecture & Dependability Valrie Issarny INRIA Joint work with Apostolos

Software Architecture & Dependability Valrie Issarny INRIA Joint work with Apostolos Zarras, Christos Kloukinas, Ferda Tartanoglou 1 Outline Dependability concepts SA and dependability analysis Automated dependability

1.45k views • 87 slides
1 Dependability Management Achieving dependability in WS Architectures Testing web services

1 Dependability Management Achieving dependability in WS Architectures Testing web services

Setting the scene Deutsche Bank AG has agreed to outsource two internal business processes to Accenture Ltd. as part of Dependability of its ambitious program to cut costs and Web Service Architectures increase efficiency by moving

357 views • 7 slides
Recent progress on GPU-based Monte Carlo Simulations for Radiation Therapy Xun Jia, Ph.D.

Recent progress on GPU-based Monte Carlo Simulations for Radiation Therapy Xun Jia, Ph.D.

Recent progress on GPU-based Monte Carlo Simulations for Radiation Therapy Xun Jia, Ph.D. Xun.Jia@UTSouthwestern.edu Radiation Oncology Outline Recent progress Two packages Considerations Conclusion Radiation Oncology Outline

458 views • 27 slides

More recommend