November 17, 2004Planning Meeting for HCMDSS Workshop Breakout Session 2(II): Development Summary W. Rance Cleaveland II, PhD CEO, Reactive Systems Inc.

Slides:



Advertisements
Similar presentations
Conference xxx - August 2003 Fabrizio Gagliardi EDG Project Leader and EGEE designated Project Director Position paper Delivery of industrial-strength.
Advertisements

Information Society Technologies programme 1 IST Programme - 8th Call Area IV.2 : Computing Communications and Networks Area.
IBM SMB Software Group ® ibm.com/software/smb Maintain Hardware Platform Health An IT Services Management Infrastructure Solution.
Workshop on High Confidence Medical Device Software and Systems (HCMDSS) Research & Roadmap June 2-3, 2005 Philadelphia, PA. Manufacturer/Care-Giver Perspective.
High Confidence Medical Device Software and Systems (HCMDSS) Workshop Insup Lee Department of Computer and Information Science University of Pennsylvania.
Breakout Sessions HCMDSS Workshop. Six Working Groups 1.Foundations for Integration of Medical Device Systems/Models 2.Distributed Control & Sensing of.
Network Innovation using OpenFlow: A Survey
Report from DANSE Workshop Sept. 3-8, 2003 Goals: 1) To explain DANSE to selected scientists and engineers who develop software for neutron scattering.
The HITCH project: Cooperation between EuroRec and IHE Pascal Coorevits EuroRec 2010 Annual Conference June 18 th 2010.
High Confidence Medical Device Software and Systems (HCMDSS) Workshop Planning Meeting Insup Lee Department of Computer and Information Science University.
Tomorrow’s Software Today ® HCMDSS Panel Presentation: Software and Systems Engineering for Medical Devices W. Rance Cleaveland II, PhD CEO, Reactive Systems.
Break-out Session I Group II: Medical Software and Systems Engineering HCMDSS November 16-17, 2004 Arlington, Virginia.
Break-out Session II Group III: Certification HCMDSS November 16-17, 2004 Arlington, Virginia.
Software Testing and Reliability Testing Real-Time Systems Aditya P. Mathur Purdue University May 19-23, Corporation Minneapolis/St Paul,
Asper School of Business University of Manitoba Systems Analysis & Design Instructor: Bob Travica System interfaces Updated: November 2014.
Automated Policy Enforcement Adam Vincent, Layer 7 Federal Technical Director
Architecture Description Markup Language (ADML) What does it mean? Why should a tools vendor care?
HCMDSS Workshop, Philadelphia, June WG1: Foundations for Integration of Medical Device Systems/Models W. Rance Cleaveland II, PhD CEOProf. of.
1 FIPS 140 Validation for a “System-on-a-Chip” September 27, 2005 NIST Physical Testing Workshop.
Active Directory ® Certificate Services Infrastructure Planning and Design Published: June 2010 Updated: November 2011.
ISO Tor Stålhane IDI / NTNU. What is ISO ISO 9001 was developed for the production industry but has a rather general structure ISO describes.
Assurance techniques for code generators Ewen Denney USRA/RIACS, NASA Ames Bernd Fischer ECS, U Southampton.
Model Driven Engineering Technologies © Copyright IBM Corporation 2007 IBM Haifa Labs Telecom Service Evolution Environment Feb 2008 Shiri Kremer-Davidson.
Architectures review for interoperability in e-health
© 2002 The MathWorks, Inc. September 2002 Advanced Embedded Tool capabilities for Texas Instruments DSPs © 2002 The MathWorks, Inc. David Hilf Third Party.
UNPACKING THE VALIDATION PROCESS
UML based dependability modeling, analysis and synthesis Proposers: TU Budapest: A. Pataricza, Gy. Csertán, I. Majzik, D. Varró PDCC Pisa: L. Simoncini,
OASIS WSQM TC Meeting Dugki Min. 컴퓨터공학부 건국대학교 Agenda 1. Roll Call 2. Review and approval of the agenda 3. Review and approval of the previous.
Exit Presentation University of Miami School of Medicine Industrial Engineering’s Role in Health Care.
Patch Management Only part of the solution….. Bob Isaak Mar 04, 2004.
SCSC 311 Information Systems: hardware and software.
Automating Enterprise IT Management by Leveraging Security Content Automation Protocol (SCAP) John M. Gilligan May, 2009.
Man-Sze Li IC Focus Enterprise Interoperability Research Roadmap SME aspects.
Wireless Networks Breakout Session Summary September 21, 2012.
AREVA T&D Security Focus Group - 09/14/091 Security Focus Group A Vendor & Customer Collaboration EMS Users Conference September 14, 2009 Rich White AREVA.
Europe's work in progress: quality of mHealth Pēteris Zilgalvis, J.D., Head of Unit, Health and Well-Being, DG CONNECT Voka Health Community 29 September.
Security Innovation & Startup. OPEN THREAT EXCHANGE (OTX): THE HISTORY AND FUTURE OF OPEN THREAT INTELLIGENCE COMMUNITY ALIENVAULT OTX.
CS 3610: Software Engineering – Fall 2009 Dr. Hisham Haddad – CSIS Dept. Chapter 6 System Engineering Overview of System Engineering.
“PMI” is a registered trade and service mark of the Project Management Institute, Inc. ©2009 Permission is granted to PMI for PMI® Marketplace use only“PMI”
DAME: A Distributed Diagnostics Environment for Maintenance Duncan Russell University of Leeds.
Advanced Controls and Sensors David G. Hansen. Advanced Controls and Sensors Planning Process.
STATEFLOW AND SIMULINK TO VERILOG COSIMULATION OF SOME EXAMPLES
NA-MIC National Alliance for Medical Image Computing UCSD: Engineering Core 2 Portal and Grid Infrastructure.
Overview of Real Time Grid Reliability Management Carl Imhoff Pacific Northwest National Laboratory January 27-29, 2004 Washington, D.C. Transmission Reliability.
June 17, 2009 Michael W. Howard, Ph.D. Sr. Vice President The Interoperable Smart Grid Evolving.
Breakout Session I Group I Design for Future Medical Devices.
Geneva, Switzerland, September 2014 ITU-T SG 17 Identity management (IdM) Progress Report Abbie Barbir Ph.D., ITU-T Study Group 17 Q10/17 (Identity.
The Systems Development Environment Systems Analysis and Design II.
Interface to Robots Breakout Group October 20, 2006 Peter Kazanzides Kevin Cleary John Kroon Grace Peng Hector Lopez Chris Hasser Dwight Yen Noby Hata.
© 2014 HDR Architecture, Inc., all rights reserved. © 2014 HDR, Inc., all rights reserved.
Hosted by: Institute for Software Integrated Systems (ISIS) Vanderbilt University Software Reliability for FCS Discussion Format May 18-19, 2004 ARO Workshop.
Introduction to Simulink Matlab based Both Continuous Time and Discrete Time Simulation Based on Blocksets Model Based Design: a software model of the.
ESA Harwell Robotics & Autonomy Facility Study Workshop Autonomous Software Verification Presented By: Rick Blake.
Emergency Management and Response The Role of Cloud Computing Mike Olson Cloudera November 2009.
March 2004 At A Glance The AutoFDS provides a web- based interface to acquire, generate, and distribute products, using the GMSEC Reference Architecture.
INCOSE IW12 MBSE Workshop 15 INCOSE (MBSE) Model Based System Engineering Integration and Verification Scenario Ron Williamson, PhD Raytheon
Industry Knowledge for Business Advantage © 2013 Cambashi Limited ALM and PLM grow closer Peter Thorne Managing Director, Cambashi 1 COFES.
Embedded Systems - the Neural Backbone of Society ARTEMIS Industry Association ARTEMIS, from successful R&D to cutting-edge Innovation Rolf Ernst, TU Braunschweig.
Mapping Formal Methods to NASA Capability Needs Connecting the Dots Dr. Michael Lowry.
The Challenge of Auto and Aero Electronic System of Systems Engineering (ESoSE) Prof C.E. Dickerson Chair INCOSE Architecture Working Group International.
1© Copyright 2012 EMC Corporation. All rights reserved. Authentication Manager Integration Services (AMIS) RSA Global Services Customer Presentation SP.
Security and resilience for Smart Hospitals Key findings
CIM Modeling for E&U - (Short Version)
Autonomous Cyber-Physical Systems: Course Introduction
HATS – Hierarchical Automated Test Sequencer Platform
Xerox® Healthcare Multifunction Printer Solution Connected by Kno2™
Updates on CompTIA A+, Network+ and Security+ exams
Industry Collaboration: A pilot study for developing a competency framework for Radiation Sterilization Professionals Arthur Dumba The Society for Sterility.
OU BATTLECARD: WebLogic Server 12c
Presentation transcript:

November 17, 2004Planning Meeting for HCMDSS Workshop Breakout Session 2(II): Development Summary W. Rance Cleaveland II, PhD CEO, Reactive Systems Inc. -and- Dept. of Comp. Sci., SUNY at Stony Brook

Breakout Session Participants Facilitator:Doug Schmidt Recorder:Rance Cleaveland Group members:Lutz Andersohn Mike Blomquist Kevin Cleary David Forslund Edmond Israelski Mark Jones Peter Kazanzides Sohan Ranjan Steve Van Albert John Zaleski

Session Remit “We ask this breakout to discuss current practice and improvements in available technologies and approaches needed for high-confidence system and software development. What are the challenges in developing highly reliable software for medical devices and systems, yet achieving reasonable time-to-market and profitability? For the spring meeting, what questions should we be asking, and who should be participating in the discussion? For example: How might end products of development steps need to include information for certification or V&V that can enable this? How solid is the current technology base upon which medical devices and systems are built (e.g., real-time operating systems and networking technologies)? What are the security issues? Are reusable IT technologies (e.g., middleware, frameworks) in use? Is system code generated from mathematical control design frameworks such as MatLab and Simulink? How do critical decision support and highly-automated systems become trusted?”

Challenges and Opportunities  Validation / testing costs  Certification costs  Distribution and data sharing  Design technology  Automated process support  Open source

Existing Solutions  V&V costs: use-cases, manual testing  Certification: certification-centered processes, attention to certification issues up-front  Distribution: Syngo, reference architectures  Design technology: simulation (for GUIs), user-centered design, rapid iteration  Automated process support: Rational  Open source: Linux, ACE/TAO

Research and Development Needs (I)  Testing costs Automated test generation from use cases Better patient models (for high-fidelity simulation on the bench rather than in the lab)  Certification Classification of medical-device software according to verification needs (assessment / alerting / treatment) Reference models for device architectures

Research and Development Needs (II)  Distribution and data sharing Network QoS Patient / device authentication protocols Network trouble-shooting tools Secure data sharing for remote devices Side-effect reasoning  Design technology Techniques for mathematical analysis of specification completeness, consistency High-fidelity simulation support Standardized modeling languages (cf. VHDL for hardware design)

Research and Development Needs (III)  Automated process support Knowledge bases (remembering what we used to know, “software paperclip”) Cost estimation models for requirements changes Reference standard processes  Open source Open-source modeling tools Role of open-source tools in software development Third-party certification for FDA compliance

Logistics To Meet Needs  Consortia for standards  Tech-transfer vehicles for software technology  Funding!

Roadmap  Processes vis a vis tools (both important)  Standards issues addressable by govt., industrial consortia  “Co-operate on platforms, compete on devices”

Recommendations for Full Workshop  Invite representation from Professional organizations INCOSE, IEEE, AdviMed, AAMI, OMG Tool vendors IBM, National Instruments, MathWorks Other device makers (implantable, etc.) Medtronic, Guidant, GE Other industries Auto, aero, telecom  Experience reports on Current practices in device software Certification  Overview of FDA certification processes (maybe from FDA compliance side?)