| Document Date: 2010-03-18 12:19:03
Open Document File Size: 360,08 KBShare Result on Facebook
Company That Lack Complete Hardware Models Ideally / Magnetic Bearing Control Software / / / Event Product Issues / Product Release / / Facility University of Virginia’s LifeFlow Left Ventricular Assist Device / Xiang Yin University of Virginia / / IndustryTerm life-critical medical device / large systems / dependable software / software development process / work products / correct tool / tool configuration inspection protocols / given software requirements / real-time and non-real-time requirements / embedded systems / ever-larger systems / integration testing protocol / software engineers / treatment of heart failure / software fitness argument / given tool / argument review protocol / erroneous software requirements / immature tools / test coverage tool / transformation tool / embedded system developer / non-real-time portions / software development efforts / developer use configuration management software / mechanical tools / software development effort / stack usage tool / inspection protocols / ultra-critical systems / unfit software / embedded software / software requirements / analysis tools / software dependability / real-time requirements / inspected work products / software verification tools / dependable computing systems / proof systems / software assurance argument / configuration management protocol / software product / software functionality / stack usage analysis tools / software systems / software defects / / NaturalFeature Inlet Flow Inducer / / Organization University of Virginia / / Person Patrick J. Graydon / John C. Knight / / Position Physician control station MPC5554 microcontroller ADC Control module TLV-5630 DAC Motor driver / Echo specification extractor / controller / / Product Assurance / Echo transformer / compiler / / ProgrammingLanguage Ada / DC / / ProvinceOrState Virginia / / PublishedMedium the Echo / / TVStation WCET / / Technology tool configuration inspection protocols / inspection protocols / ADC / analog-to-digital conversion / configuration management protocol / operating system / 4.5 Reliance Upon Human Compliance With Protocols / argument review protocol / integration testing protocol / /
SocialTag |
Practical Limits On Software Dependability: A Case Study Patrick J. Graydon, John C. Knight, and Xiang Yin