SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS / ACM Inc. / Boston Scientific / /
Country
United States / /
Currency
pence / USD / / /
Event
Product Recall / Product Issues / /
Facility
University of Pennsylvania OLEG SOKOLSKY / Penn Plaza / University of Pennsylvania INSUP LEE / University of Pennsylvania RAHUL MANGHARAM / University of Pennsylvania ZHIHAO JIANG / University of Pennsylvania / / /
IndustryTerm
free tool / real-time and cyber-physical systems / model-translation tool / life-critical embedded systems / few tools / real-time discrete controller / safety-critical systems / verification tools / software-controlled embedded systems / safety-critical real-time embedded systems / defective devices / real-time requirements / non-deterministic systems / controller software / real-time embedded systems / closed-loop medical device software / verified software models / real-time systems / /
Organization
University of Pennsylvania Software-based / University of Pennsylvania / US Food and Drug Administration / U.S. Securities and Exchange Commission / University of Pennsylvania ZHIHAO JIANG / /
Person
RAHUL MANGHARAM / Simulink / Fig / INSUP LEE / Zhihao Jiang / Ai / Clarke / Miroslav Pajic / OLEG SOKOLSKY / / /
Position
interface controller / The default guard / guard / model / real-time discrete controller / controller / Methodologies General / /
A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania