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!
Popis
Shrnutí:► 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.
Bibliografie: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