loading
Documents

Research.Publish.Connect.

Paper

Authors: Vladimir Estivill-Castro and René Hexel

Affiliation: Griffith University, Australia

ISBN: 978-989-758-283-7

Keyword(s): Model-driven Engineering, Formal Methods, Robotic and Embedded Systems, Middleware.

Related Ontology Subjects/Areas/Topics: Domain-Specific Modeling and Domain-Specific Languages ; Languages, Tools and Architectures ; Model-Driven Software Development ; Reasoning about Models ; Software Engineering

Abstract: Logic-labeled Finite-State Machines (LLFSMs) are Communicating Extended Finite State Machines that execute concurrently but with a predefined sequential schedule. This capacity has enabled effective formal verification. Moreover, LLFSMs are very powerful tools for Model-Driven Software Engineering of the behaviour of robotic and embedded systems. Although existing schedulers are capable of executing several instances of the same model, the challenge is to provide mechanisms for creating parameterised models akin to function calls. Since recent task planning algorithms can synthesise behaviours as LLFSMs with parameters and recursion, it becomes necessary to have a useful operational tool that produces compiled executables for such behaviours. Moreover, parameterisation allows replication of generic system components, reducing overall design complexity. We produce safe mechanisms to set actual and formal parameters for multiple, concurrent instances of the same behaviour. We achieve th e parameterisation of behaviour models analogous to a procedural abstraction and discuss its advantages and disadvantages on formal verification. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.238.189.171

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

Paper citation in several formats:
Estivill-Castro, V. and Hexel, R. (2018). Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 364-371. DOI: 10.5220/0006573903640371

@conference{modelsward18,
author={Vladimir Estivill{-}Castro. and René Hexel.},
title={Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={364-371},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006573903640371},
isbn={978-989-758-283-7},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems
SN - 978-989-758-283-7
AU - Estivill-Castro, V.
AU - Hexel, R.
PY - 2018
SP - 364
EP - 371
DO - 10.5220/0006573903640371

Login or register to post comments.

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