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ženo v:

Podrobná bibliografie
Vydáno v:	Advances in engineering software (1992) Ročník 55; s. 32 - 44
Hlavní autoři:	Anjos, José Marcos Silva, Coracini, Guilherme Kisseloff, Villani, Emília
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.01.2013
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!