Learn More
Two human pathogenic bacteria, Staphylococcus aureus CIP 68.5 and Pseudomonas aeruginosa ATCC 9025, were adsorbed onto surfaces containing Ti thin films of varying thickness to determine the extent to which nanoscale surface roughness influences the extent of bacterial attachment. A magnetron sputter thin film system was used to deposit titanium films with(More)
Because of computational grid heterogeneity, scale and complexity, faults become likely. Therefore, grid infrastructure must have mechanisms to deal with faults while also providing efficient and reliable services to its end users. Existing fault-tolerant approaches are inefficient because they are reactive and incomplete. They are reactive because they(More)
Programming languages provide exception handling mechanisms to structure fault tolerant activities into software systems. However, the use of exceptions at this low level of abstraction can be error-prone and complex leading to new programming errors. In this paper, we present a model-driven framework to support the iterative development of reliable(More)
We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance. System models may represent an existing physical part – for example an existing robot installation – and a software simulated part – for example a possible future extension. We(More)
An appropriate system model gives developers a better overview, and the ability to fix more inconsistencies more effectively and earlier in system development, reducing overall effort and cost. However, modelling assumes abstraction of several aspects of the system and its environment, and this abstraction should be not overlooked, but properly taken into(More)
We present our monitoring and decision framework for collaborative engineering for globally distributed operation, support, maintenance, and services for industrial automation. The framework provides relevant information to plant operators, engineers, staff and stakeholders to support the handling of incidents, based on semantically-appropriate factors such(More)
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis is feasible based purely on the information visible and understandable to domain experts, trading some accuracy for productivity. Such a method is independent of formal(More)
Many embedded systems for vehicles and consumer electronics critically depend on efficient, reliable control software, and practical methods for their production. Component-based software engineering for embedded systems is currently gaining ground since variability, reusability, and maintainability are efficiently supported. However, existing tools and(More)