A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector

► We propose a control software architecture for discrete event systems with LabView. ► We applied it to a multifunctional end-effector of aircraft manufacturing industry. ► We verified it with a model checking approach and a model-based testing approach. ► The architecture successfully deals with i...

Full description

Saved in:
Bibliographic Details
Published in:Advances in engineering software (1992) Vol. 55; pp. 32 - 44
Main Authors: Anjos, José Marcos Silva, Coracini, Guilherme Kisseloff, Villani, Emília
Format: Journal Article
Language:English
Published: Elsevier Ltd 01.01.2013
Subjects:
Architecture
Architecture (computers)
Checkers
Computer programs
Control systems
Discrete event systems
LabVIEW
Model checking
Model-based testing
Multifunctional end-effector
Program verification (computers)
Robotics
Software
Software verification
Model checking
Discrete event systems
Model-based testing
Software verification
Multifunctional end-effector
LabVIEW
ISSN:0965-9978
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:► We propose a control software architecture for discrete event systems with LabView. ► We applied it to a multifunctional end-effector of aircraft manufacturing industry. ► We verified it with a model checking approach and a model-based testing approach. ► The architecture successfully deals with integration of multiple functionalities. This paper proposes a software architecture based on LabVIEW for controlling discrete event systems. The proposed architecture is an adaptation of the producer–consumer design pattern. This work uses the control software of a multifunctional robotic end-effector as a test-bed for analyzing the applicability of the software architecture and its limitations and advantages. This case study demonstrates the effectiveness of the architecture for dealing with the integration of multiple functionalities in the control system. For this case study, the validation of the architecture is performed using two verification techniques: (1) a formal verification using timed automata and the UPPAAL model checker and (2) the CoFI (Conformance and Fault Injection) method for defining the set of test cases to check the software product. Both verification techniques identified errors that were introduced into the control system during the programming phase.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:0965-9978
DOI:10.1016/j.advengsoft.2012.09.004