A modular and verifiable software architecture for interconnected medical systems in intensive care
Annals of Computer Science and Information Systems, vol. 37, pp. 351–357
Abstract
Medical device interoperability enables new therapy methods and the automation of existing ones.Due to different medical device manufacturers and protocols, we need auxiliary hardware and software for the interconnection.In this paper we propose a service-oriented software architecture built on a real-time operating system in order to create a modular medical cyber-physical system consisting of networked embedded nodes.In particular we highlight the need for the application of formal methods to ensure the functional safety of the system.
Authors 5
-
Affiliation as printed
Informatik 11 -Embedded Software , RWTH Aachen University Ahornstraße 55 , Aachen , Germany
Informatik 11 -Embedded Software, RWTH Aachen University Ahornstraße 55, Aachen, Germany
-
Affiliation as printed
Informatik 11 -Embedded Software , RWTH Aachen University Ahornstraße 55 , Aachen , Germany
Informatik 11 -Embedded Software, RWTH Aachen University Ahornstraße 55, Aachen, Germany
-
Affiliation as printed
Informatik 11 -Embedded Software , RWTH Aachen University Ahornstraße 55 , Aachen , Germany
Informatik 11 -Embedded Software, RWTH Aachen University Ahornstraße 55, Aachen, Germany
-
Affiliation as printed
Informatik 11 -Embedded Software , RWTH Aachen University Ahornstraße 55 , Aachen , Germany
Informatik 11 -Embedded Software, RWTH Aachen University Ahornstraße 55, Aachen, Germany
-
Affiliation as printed
Informatik 11 -Embedded Software , RWTH Aachen University Ahornstraße 55 , Aachen , Germany
Informatik 11 -Embedded Software, RWTH Aachen University Ahornstraße 55, Aachen, Germany
Cited by 1 stored of 1
1 result
No patents citing this paper on Lens.org (checked 2026-10-06).