Home // ICSEA 2017, The Twelfth International Conference on Software Engineering Advances // View article

An OO and Functional Framework for Versatile Semantics of Logic-Labelled Finite State Machines

Authors:
Callum McColl
Vladimir Estivill-Castro
Rene Hexel

Keywords: Logic-labelled finite-state machines; Model-Driven Engineering; Real-Time Systems; Verification; Validation

Abstract:
Logic-Labeled Finite State Machines (LLFSMs) offer model-driven software development (MDSD) while enabling correctness at a high level due to their transparent semantics that enables testing as well as formal verification. This combination of the three elements (MDSD, validation, and verification) results in more reliable behaviour of software components, but semantics is constrained to specific scheduling. We offer a framework that allows to obtain significant variations that suit specific domains while maintaining the capability to generate Kripke structures for formal verification or to execute corresponding monitor or testing LLFSMs for validation in a test-driven development framework. The framework is Object-Oriented so new software patterns for scheduling can be derived to suit a particular embedded, robotic, or cyber-physical system, while at the same time enabling functional programming constructs.

Pages: 238 to 243

Copyright: Copyright (c) IARIA, 2017

Publication date: October 8, 2017

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-590-6

Location: Athens, Greece

Dates: from October 8, 2017 to October 12, 2017