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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Advances in engineering software (1992) Ročník 55; s. 32 - 44
Hlavní autori:	Anjos, José Marcos Silva, Coracini, Guilherme Kisseloff, Villani, Emília
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Ltd 01.01.2013
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!