Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Modeling of Reconfigurable Medical Ultrasonic Applications in BIP
 
conference paper

Modeling of Reconfigurable Medical Ultrasonic Applications in BIP

Skalistis, Stefanos  
•
Simalatsar, Alena  
2014
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems
5th Workshop on Medical Cyber-Physical Systems

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.

  • Files
  • Details
  • Metrics
Type
conference paper
Author(s)
Skalistis, Stefanos  
•
Simalatsar, Alena  
Date Issued

2014

Publisher

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Published in
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems
Volume

36

Start page

66

End page

79

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
RISD  
Event nameEvent placeEvent date
5th Workshop on Medical Cyber-Physical Systems

Berlin, Germany

April 13, 2014

Available on Infoscience
June 17, 2015
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/115196
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés