Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices
Pages 162 - 165
Abstract
Due to the lack of formal data treatment within the controller synthesis process, a lot of manual effort is needed to enable a reliable and safe interoperability of medical devices. This manual effort makes the process time-consuming, expensive, error-prone and, thus, reduces the will to apply it to real-world questions. To tackle this problem we build up the basis for the generic modeling and correct composition of data related device behavior using algebraic Petri nets. Hence, we are able to synthesize controllers that ensure safety critical and data-dependent functional properties cost-efficiently and automatically so that devices can be combined properly and almost independently from their manufacturers.
References
[1]
A. Bracciali, A. Brogi, and C. Canal. A formal approach to component adaptation. Journal of Systems and Software, 74(1):45--54, 2005.
[2]
S. B. Choi. Method for controlling insulin pump using bluetooth protocol, May 24 2004. US Patent App. 10/852,483.
[3]
H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, and P. Zeitz. Mathematisch-strukturelle Grundlagen der Informatik. Springer DE, 2001.
[4]
D. Elleri, D. Dunger, and R. Hovorka. Closed-loop insulin delivery for treatment of type 1 diabetes. BMC medicine, 9(1):120, 2011.
[5]
F. Bathelt-Tok. Towards the automated synthesis of data dependent service controllers. In PhD Symposium of the ICSOC 2013. Springer, to appear.
[6]
C. Gierds, A. J. Mooij, and K. Wolf. Reducing adapter synthesis to controller synthesis. IEEE T. Services Computing, 5(1):72--85, 2012.
[7]
J. V. Guttag and J. J. Horning. The algebraic specification of abstract data types. Acta informatica, 10(1):27--52, 1978.
[8]
C. in Automation (CiA). Cia 425 dsp v2.0.2 canopen application profile for medical diagnostic add-on modules -- part 2: Injector, 03. 2014.
[9]
R. Milner. Communicating and mobile systems: the pi calculus. Cambridge university press, 1999.
[10]
T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 1989.
[11]
W. Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80:1--34, 1991.
[12]
D. Stöhr and S. Glesner. Planning in real-time domains with timed ctl goals via symbolic model checking. In TASE 2013, IEEE, 2013.
[13]
J. Vautherin. Parallel systems specifications with coloured petri nets and algebraic specifications. In Advances in Petri Nets 1987, pages 293--308. Springer.
[14]
J. Wang. Electrochemical glucose biosensors. Chemical reviews, 108(2):814--825, 2008.
[15]
D. M. Yellin and R. E. Strom. Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst., 19(2):292--333, Mar. 1997.
Recommendations
Reduction of constraints for controller synthesis based on safe Petri Nets
In this paper, we present an efficient method based on safe Petri Nets to construct a controller. A set of linear constraints allows forbidding the reachability of specific states. The number of these so-called forbidden states, and consequently the ...
Interoperability in digital electrocardiography: harmonization of ISO/IEEE x73-PHD and SCP-ECG
The ISO/IEEE 11073 (x73) family of standards is a reference frame for medical device interoperability. A draft for an ECG device specialization (ISO/IEEE 11073-10406-d02) has already been presented to the Personal Health Device (PHD) Working Group, and ...
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors
HSCC '16: Proceedings of the 19th International Conference on Hybrid Systems: Computation and ControlMotivated by the provably-correct execution of complex reactive tasks for robots with nonlinear, under-actuated dynamics, our focus is on the synthesis of a library of low-level controllers that implements the behaviors of a high-level controller. The ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
May 2014
459 pages
ISBN:9781631900112
- General Chair:
- Andreas Hein,
- Program Chairs:
- Susanne Boll,
- Friedrich Köhler
In-Cooperation
Publisher
ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)
Brussels, Belgium
Publication History
Published: 20 May 2014
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
PervasiveHealth '14
PervasiveHealth '14: 8th International Conference on Pervasive Computing Technologies for Healthcare
May 20 - 23, 2014
Oldenburg, Germany
Acceptance Rates
Overall Acceptance Rate 55 of 116 submissions, 47%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 48Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 22 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in