Ian Peake

ORCID: 0000-0003-2136-5714
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Advanced Software Engineering Methodologies
  • Software Engineering Research
  • Real-Time Systems Scheduling
  • Software System Performance and Reliability
  • Distributed and Parallel Computing Systems
  • Formal Methods in Verification
  • Logic, programming, and type systems
  • Embedded Systems Design Techniques
  • Simulation Techniques and Applications
  • Robotics and Automated Systems
  • Software Reliability and Analysis Research
  • Service-Oriented Architecture and Web Services
  • Model-Driven Software Engineering Techniques
  • Software Testing and Debugging Techniques
  • Business Process Modeling and Analysis
  • Augmented Reality Applications
  • Distributed systems and fault tolerance
  • Advanced Manufacturing and Logistics Optimization
  • Flexible and Reconfigurable Manufacturing Systems
  • Digital Transformation in Industry
  • Modeling and Simulation Systems
  • Fault Detection and Control Systems
  • Collaboration in agile enterprises
  • Robotics and Sensor-Based Localization
  • Real-time simulation and control systems

RMIT University
2012-2024

XLAB (Slovenia)
2021

MIT University
2014

Software (Spain)
2014

Monash University
2004-2007

Mälardalen University
2005

The University of Queensland
1995-2003

Queensland University of Technology
2002-2003

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 which nanoscale surface roughness influences bacterial attachment. A magnetron sputter film system was used deposit titanium with thicknesses 3, 12, 150 nm on glass substrata corresponding parameters R(q) 1.6, 1.2, 0.7 (on a 4 microm x scanning area). The chemical composition, wettability,...

10.1021/la902623c article EN Langmuir 2009-10-20

Summary The study explored context‐driven food odour perception with links to chemical profiling of flavour compounds. Participants rated the intensity three odours (vanilla, almond, lemon) in a Neutral context and VR simulation International Space Station. involved 54 adults aged 18–39 years no history motion sickness and/or vertigo. demonstrated significantly higher ratings for vanilla ( P = 0.009) almond < 0.001) odours, compared context. Clustering based on perceived identified that...

10.1111/ijfs.17306 article EN cc-by International Journal of Food Science & Technology 2024-07-16

Because of computational grid heterogeneity, scale and complexity, faults become likely. Therefore, infrastructure must have mechanisms to deal with while also providing efficient reliable services its end users. Existing fault-tolerant approaches are inefficient because they reactive incomplete. They only when take place; incomplete certain types faults. Proactive increase efficiency by reducing the cost time operations network resource usage maintaining state executing applications...

10.1109/e-science.2005.15 article EN 2006-01-05

We present our monitoring and decision framework for collaborative engineering globally distributed operation, support, maintenance, services industrial automation. The provides relevant information to plant operators, engineers, staff stakeholders support the handling of incidents, based on semantically-appropriate factors such as personnel skills, physical location affected equipment dependencies between elements. discuss proposed application architecture implementation. Based incoming...

10.1109/etfa.2015.7301533 article EN 2015-09-01

Change propagation has mainly been estimated by maintenance history or source code analysis. However, sometimes and are inaccessible, impractical to analyse, such as for heterogeneous sources. Previously we hypothesised that change from modifying domain level components may be predicted purely information available users. We proposed domain-based analysis, enabling analysts experts predict conceptual coupling independent of implementation. This paper reports on application analysis a...

10.1109/icsm.2010.5609743 article EN 2010-09-01

We describe our ongoing work and view on simulation, validation visualization of cyber-physical systems in industrial automation during development, operation maintenance.System models may represent an existing physical part -for example robot installation -and a software simulated possible future extension.We call such cyber-virtual systems.In this paper, we present the VITELab infrastructure for tasks automation.The new methodology simulation motivated paper integrates infrastructure.We...

10.5220/0004952402180225 preprint EN 2014-01-01

The Virtual eXperiences Lab at RMIT is a "21st century lab scope," an enabling platform for research and prototyping in industrial automation, focusing on software engineering, next generation human-machine interaction experiences, user interfaces, training. VxLab combines high resolution visualization, automation facilities cloud-based simulation servers dedicated private network. In this paper we describe the architecture, use cases, innovation projects. We also present experiences...

10.1109/etfa.2015.7301582 article EN 2015-09-01

We present work towards using ontological information to facilitate collaborative tasks during operation, maintenance and service of industrial automation facilities. use semantic models as an additional layer for a collaboration framework enable automatic reasoning, decision support knowledge sharing among multiple parties. Documents such texts, workflows, images, social media profiles or production plants can be semantically annotated their classification. Our comprise behavior space...

10.1109/etfa.2014.7005271 article EN 2014-09-01

We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of system. hypothesize that analysis is feasible based purely on information visible and understandable to domain experts, trading some accuracy productivity. Such method independent formal architectural representations may be practical applications with heterogeneous subsystems, or missing undocumented source code. In this paper we introduce first phase methodology: creating...

10.1109/aswec.2009.31 article EN Australian Software Engineering Conference 2009-01-01

This paper presents ideas towards automatic monitoring of industrial automation devices by using a cloud based infrastructure. We are in particular aiming at fine grained timed properties that can be described formal specification techniques such as behavioral types. Possible applications the areas remote maintenance and servicing well commissioning testing. Our work is IEC 61499 standard.

10.1109/icpads.2015.111 article EN 2015-12-01

Current models of component architectures require extensions to support compositional reasoning about extra-functional properties such as worst-case time. Studying in is complicated since actual components may not yet be chosen during architectural design, and different choices have significant hard predict effects on the system properties. In this paper we show how finite state automata Petri nets extended provide compositionality We focus time safety. illustrate use these techniques...

10.1109/words.2003.1267550 article EN 2004-06-30

We present work towards a toolchain that combines our existing tools Reactive Blocks and BeSpaceD with remote collaboration visualization facility VxLab. Software development in areas such as oil gas, mining or automation is subject to configuration maintenance of installations. Different reasons are driving this trend including difficult accessibility sites outsourcing offsite experts due cheaper labor costs. Here, we concentrate on configuration, installation the software controlling these...

10.5220/0005454703310336 article EN cc-by-nc-nd 2015-01-01

Failure in grids is costly and inevitable. Existing fault tolerance (FT) mechanisms are typically defensive reactive, thus unnecessarily costly. In this paper we propose a hybrid FT approach, recovery aware component (RAC), combining reactive proactive FT, with failure or aversion of user-defined granularity, by component-orientation architecture-level reasoning about to increase reliability availability without needless performance sacrifices. We model analyse parameterised RAC...

10.1145/1595696.1595741 article EN 2009-08-24

Failure in long running grid applications is arguably inevitable and costly. Therefore, fault tolerance (FT) support for needed. This paper evaluates an extension of our prior work on Recovery Aware Components (RAC), a component based FT approach. Our utilizes the application architecture according to small number architectural classes. In this paper, we evaluate MapReduce only analyze reliability improvement would gain by adopting RAC analysis shows that significant increases are possible...

10.1145/2000259.2000289 article EN 2011-06-20

We present work on structuring robotics simulation scenarios into components. Components can comprise entities with a physical counterpart such as automated guided vehicles, drones, robots and machines. are typically further structured sub-components, e.g., robot arm or gripper, be used to build digital twins. Different aspects for classifying components distinguished; here we concentrate composability, performance fidelity.In this paper, mainly concerned in the tool Gazebo Robot Operating...

10.1109/icit46573.2021.9453594 article EN 2021-03-10

We present an architecture for cloud-based analysis of manufacturing environments and derived robot actions. report on our implemented facility that combines visual a environment actions robots plus appropriate means human interaction with these cloud based services via hand gestures to interact results robots. The will enable study the software engineering most-feasible combinations interfaces remote equipment.

10.1109/icpads.2015.113 article EN 2015-12-01

In this paper, we present our work on monitoring of control software behavior for PLCs. particular, are looking at IEC 61499-based specifications. Monitoring is done remotely, i.e., the interface function blocks streamed to a cloud-based service. Specifications realized using formal languages such as 1) regular expressions, 2) timed automata, 3) temporal logic. Monitors can be automatically generated from these languages. Using specifications, able detect abnormal in timing changes that can,...

10.1109/icumt.2016.7765387 article EN 2016-10-01

Programming languages provide exception handling mechanisms to structure fault tolerant activities into software systems. However, the use of exceptions at this low level abstraction can be error-prone and complex leading new programming errors. In paper, we present a model-driven framework support iterative development reliable This is comprised UML-based modeling notations transformation engine that supports automated generation management features for system. It leverages domain specific...

10.1109/edoc.2006.10 article EN Proceedings - International Enterprise Distributed Object Computing Conference 2006-10-01
Coming Soon ...