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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Advances in engineering software (1992) Jg. 55; S. 32 - 44
Hauptverfasser:	Anjos, José Marcos Silva, Coracini, Guilherme Kisseloff, Villani, Emília
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Ltd 01.01.2013
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!