This report is for a final project of the Stan Ackermans Institute Professional Doctorate in Engineering (PDEng) degree program on Software Technology (OOTI). The program is provided by Eindhoven University of Technology. The project was conducted at Philips Healthcare, Best. It was specifically conducted under the Interventional X-ray (iXR) business unit, R&D department, Image Pro-cessing and Display Software group. This group is responsible for building the image and display processing software subsystems for the Allura Xper X-ray sys-tems. These X-ray systems are used for diagnostic and intervention purposes. The objective of the project is to build resource-usage modeling tools which help in studying application deployment alternati...
In this report we present a series of formal models that describe dynamically reconfigurable applica...
In this thesis we describe the effectiveness of applying a number of formal techniques to the develo...
In different settings, it is of great value to be able to compare the performance of processes that ...
This report is for a final project of the Stan Ackermans Institute Professional Doctorate in Enginee...
A resource usage view consists of models that are important assets to analyze and control usage of h...
During the execution of software, execution data can be recorded. With the development of process mi...
A method for enabling the sharing of resources for the processing of tasks in a virtual organisation...
With the introduction of dynamic image processing, such as in image analysis, the computational comp...
We have established a novel control system for combining the parallel execution of deterministic and...
A Cyber-Physical System (CPS) integrates cyber systems, human users, networks and physical systems. ...
This thesis presents techniques for modeling and control of X-ray image processing tasks, aiming at ...
IT systems in todays' enterprises are spread across organizations, are heterogeneous, and have high ...
Performance characteristics (i.e., response time, through-put, resource utilization) of enterprise a...
Cyber-Physical Systems (CPS) are dynamic and reactive systems interacting with processes, environmen...
This paper deals with the role of performance modeling tools. It introduces 3 major tool development...
In this report we present a series of formal models that describe dynamically reconfigurable applica...
In this thesis we describe the effectiveness of applying a number of formal techniques to the develo...
In different settings, it is of great value to be able to compare the performance of processes that ...
This report is for a final project of the Stan Ackermans Institute Professional Doctorate in Enginee...
A resource usage view consists of models that are important assets to analyze and control usage of h...
During the execution of software, execution data can be recorded. With the development of process mi...
A method for enabling the sharing of resources for the processing of tasks in a virtual organisation...
With the introduction of dynamic image processing, such as in image analysis, the computational comp...
We have established a novel control system for combining the parallel execution of deterministic and...
A Cyber-Physical System (CPS) integrates cyber systems, human users, networks and physical systems. ...
This thesis presents techniques for modeling and control of X-ray image processing tasks, aiming at ...
IT systems in todays' enterprises are spread across organizations, are heterogeneous, and have high ...
Performance characteristics (i.e., response time, through-put, resource utilization) of enterprise a...
Cyber-Physical Systems (CPS) are dynamic and reactive systems interacting with processes, environmen...
This paper deals with the role of performance modeling tools. It introduces 3 major tool development...
In this report we present a series of formal models that describe dynamically reconfigurable applica...
In this thesis we describe the effectiveness of applying a number of formal techniques to the develo...
In different settings, it is of great value to be able to compare the performance of processes that ...