loading
  • Login
  • Sign-Up

Research.Publish.Connect.

Paper

Authors: James Harland ; Jan Olaf Blech ; Ian Peake and Luke Trodd

Affiliation: RMIT University, Australia

ISBN: 978-989-758-189-2

Keyword(s): Software Engineering, Spatial Modeling, Cyber-physical Systems.

Abstract: We aim to facilitate semi-automated collaborative distributed development, commissioning, operation and maintenance using formal behavioural models. We are interested in a whole-of-system context, where properties of the physical systems increasingly depend explicitly on software configuration, thus requiring validation. Our models are cyber-physical, comprising not only the control software itself but also mechatronic elements under control involving sensing/actuators, such as pneumatics, hydraulics, and motor drives. We discuss various issues relevant to the problems of collaboration, and we provide requirements for collaboration in a specific experimental context involving elements of a small-scale food packaging plant.

PDF ImageFull Text

Download
Sign In Guest: Register as new SCITEPRESS user or Join INSTICC now for free.

Sign In SCITEPRESS user: please login.

Sign In INSTICC Members: please login. If not a member yet, Join INSTICC now for free.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.81.210.42. INSTICC members have higher download limits (free membership now)

In the current month:
Recent papers: 1 available of 1 total
2+ years older papers: 2 available of 2 total

Paper citation in several formats:
Harland J., Blech J., Peake I. and Trodd L. (2016). Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation.In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016)ISBN 978-989-758-189-2, pages 363-369. DOI: 10.5220/0005928303630369

@conference{colaform16,
author={James Harland and Jan Olaf Blech and Ian Peake and Luke Trodd},
title={Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016)},
year={2016},
pages={363-369},
doi={10.5220/0005928303630369},
isbn={978-989-758-189-2},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016)
TI - Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation
SN - 978-989-758-189-2
AU - Harland J.
AU - Blech J.
AU - Peake I.
AU - Trodd L.
PY - 2016
SP - 363
EP - 369
DO - 10.5220/0005928303630369

Sorted by: Show papers

Note: The preferred Subjects/Areas/Topics, listed below for each paper, are those that match the selected paper topics and their ontology superclasses.
More...

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.

Show authors

Note: The preferred Subjects/Areas/Topics, listed below for each author, are those that more frequently used in the author's papers.
More...