文章基本信息

标题：Modeling of Reconfigurable Medical Ultrasonic Applications in BIP
本地全文：下载
作者：Stefanos Skalistis ; Alena Simalatsar
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2014
卷号：36
页码：66-79
DOI：10.4230/OASIcs.MCPS.2014.66
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Medical ultrasonic imaging applications require high quality of images produced in real-time often with limited resources available. Deadlock-freedom and confluency must be guaranteed to ensure the correctness of the applications, while feasibility and optimality properties are required to provide the best Quality of Service (QoS) within available resources. In this paper we introduce BIP (Behavior-Interaction-Priority) framework components as main building blocks to model such applications in a correct-by-construction manner. Based on those components we model a reconfigurable multi-mode processing pipeline for ultrasonic imaging that supports QoS management by topology reconfiguration. Finally, as a proof of concept, we present a simple quality controller as a well-triggered component, which when combined with the processing pipeline can manipulate the quality of image processing.
关键词：Reconfigurable Pipelines; Quality of Service; Medical Ultrasonic Applications; Component-based System Design; Behavior-Interaction-Priority Modal Flow