loading
Papers

Research.Publish.Connect.

Paper

Authors: Vladimir Estivill-Castro and René Hexel

Affiliation: Griffith University, Australia

ISBN: 978-989-758-210-3

Keyword(s): Model-based Testing and Validation, Enactment and Execution, Reasoning about Models.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Languages, Tools and Architectures ; Model Execution and Simulation ; Model-Based Testing and Validation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering

Abstract: We show an architecture that enables runtime verification. Runtime verification focusses on the design of formal languages for the specification of properties that must hold during runtime. In this paper, we take matters one step further and describe a uniform modelling and development paradigm for software systems that can monitor the quality of software systems as they execute, set-up, tear-down and enforce quality behaviour on the fly. Our paradigm for modelling behaviour enables efficient execution, validation, simulation, and runtime-verification. The models are executable and efficient because they are compiled (not interpreted). Moreover, they can be developed using test-driven development, where tests are models derived from requirements. We illustrate the approach with case studies from robotics and embedded systems.

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 3.227.2.109

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. (2017). Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems.In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 29-40. DOI: 10.5220/0006116700290040

@conference{modelsward17,
author={Vladimir Estivill{-}Castro. and René Hexel.},
title={Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={29-40},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006116700290040},
isbn={978-989-758-210-3},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems
SN - 978-989-758-210-3
AU - Estivill-Castro, V.
AU - Hexel, R.
PY - 2017
SP - 29
EP - 40
DO - 10.5220/0006116700290040

Login or register to post comments.

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