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!

Be the first to leave a comment!