An Embedded Control Software Development Environment with Data Consistency Verification for Preemptive Multi-Task Systems

MASAYOSHI, TAMURA and MYUNGRYUN, YOO and TAIRA, ITO and TAKANORI, YOKOYAMA (2015) An Embedded Control Software Development Environment with Data Consistency Verification for Preemptive Multi-Task Systems. In: International Conference on Advances in Computing, Control and Networking - ACCN 2015, 21 - 22 February 2015, Hotel Lebua at State Tower.

[img]
Preview
Text
20150309_061406.pdf - Published Version

Download (548kB) | Preview
Official URL: https://www.seekdl.org/conferences/paper/details/5...

Abstract

The paper presents an embedded control software development environment that provides a tool to verify the data consistency of embedded control software designed with Simulink models and UML models. A controller model is built with MATLAB/Simulink in the control logic design phase. Then a software model that correctly executes the control logic in the actual computing environment is built in the software design phase. It must be verified during software design that the data consistency of the software is preserved in the preemptive multitask environment because the simulation of Simulink models is performed in an ideal environment in which "zero-time execution" is assumed. We present a method to verify the data consistency with SPIN model checker. We also present a tool that automatically generates Promela code for data consistency verification. We have applied the tool to a number of software models transformed from Simulink models and have confirmed its usefulness for embedded control software design.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: embedded control software, real-time systems, model-based design, verification, model checking
Depositing User: Mr. John Steve
Date Deposited: 09 May 2019 11:06
Last Modified: 09 May 2019 11:06
URI: http://publications.theired.org/id/eprint/2094

Actions (login required)

View Item View Item