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!
Abstract ► 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.
AbstractList ► 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.
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.
Author Villani, Emília
Coracini, Guilherme Kisseloff
Anjos, José Marcos Silva
Author_xml – sequence: 1
  givenname: José Marcos Silva
  surname: Anjos
  fullname: Anjos, José Marcos Silva
  email: jmarcos.anjos@gmail.com
– sequence: 2
  givenname: Guilherme Kisseloff
  surname: Coracini
  fullname: Coracini, Guilherme Kisseloff
  email: guilherme.coracini@gmail.com
– sequence: 3
  givenname: Emília
  surname: Villani
  fullname: Villani, Emília
  email: evillani@ita.br
BookMark eNqNkEtLAzEURrOooK3-hyzdzJjMOxuhlvqAghsfy5BJbjRlmtQkU_Hfm1pBcKOrcOE7B3KmaGKdBYQwJTkltLlY50LtwL4Ep2NeEFrkhOWEVBN0QlhTZ4y13TGahrAmhFakoCfIz_HWu60LYsDCKrwDb7SRIhpnsdNY4L3sXXjAwstXE0HGMR29CKBw2qxE_3S3fMba-TTejEM0erRyzyeld72LRmKwKgOtE-z8KTrSYghw9v3O0OP18mFxm63ub-4W81Umy5rGTBV9wxjrdN1LIoq6Agk1LUXb9FVNykawVvVEtbJvaAelqgiUpeq01GWrKwrlDJ0fvOmDbyOEyDcmSBgGYcGNgdO2TZqWsiZNLw9T6V0IHjSXJn41iF6YgVPC94H5mv8E5vvAnDCeAidB90uw9WYj_Md_0KsDCqnFzoDnQRqwEpTxqRdXzvwt-QSeWKL2
CitedBy_id crossref_primary_10_1049_iet_sen_2015_0154
crossref_primary_10_1016_j_advengsoft_2012_12_004
crossref_primary_10_1016_j_compind_2018_08_003
crossref_primary_10_1155_2018_3847843
crossref_primary_10_1007_s10270_014_0448_7
crossref_primary_10_3390_e16094818
crossref_primary_10_1016_j_measurement_2020_107907
crossref_primary_10_1080_00387010_2019_1569063
crossref_primary_10_1364_AO_402484
crossref_primary_10_1007_s10967_017_5282_2
Cites_doi 10.1007/978-1-4757-6656-1_12
10.4018/978-1-61520-837-1.ch012
10.1023/A:1008930105477
10.1109/ETFA.2009.5347090
10.1109/WSC.2008.4736285
10.1109/41.969387
10.1006/jvlc.2000.0198
10.1109/AUTEST.1997.633678
10.1109/CISE.2009.5363662
10.1109/ICIASF.2007.4380900
10.1109/WODES.2006.382520
10.1049/ir:20030905
10.1049/ic:20040652
10.2514/1.15529
10.1109/ETFA.2011.6058983
10.1109/5.21072
ContentType Journal Article
Copyright 2012 Elsevier Ltd
Copyright_xml – notice: 2012 Elsevier Ltd
DBID AAYXX
CITATION
7SC
7SU
7TB
8FD
C1K
FR3
JQ2
KR7
L7M
L~C
L~D
DOI 10.1016/j.advengsoft.2012.09.004
DatabaseName CrossRef
Computer and Information Systems Abstracts
Environmental Engineering Abstracts
Mechanical & Transportation Engineering Abstracts
Technology Research Database
Environmental Sciences and Pollution Management
Engineering Research Database
ProQuest Computer Science Collection
Civil Engineering Abstracts
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Civil Engineering Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Mechanical & Transportation Engineering Abstracts
Environmental Engineering Abstracts
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
Engineering Research Database
Advanced Technologies Database with Aerospace
Environmental Sciences and Pollution Management
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Civil Engineering Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Applied Sciences
Engineering
Computer Science
Architecture
EndPage 44
ExternalDocumentID 10_1016_j_advengsoft_2012_09_004
S0965997812001317
GroupedDBID --K
--M
-~X
.DC
.~1
0R~
1B1
1~.
1~5
23M
4.4
457
4G.
5GY
5VS
7-5
71M
8P~
9JN
AACTN
AAEDT
AAEDW
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
ABBOA
ABFNM
ABJNI
ABMAC
ABXDB
ABYKQ
ACDAQ
ACGFS
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADJOM
ADMUD
ADTZH
AEBSH
AECPX
AEKER
AENEX
AFFNX
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHJVU
AHZHX
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
ASPBG
AVWKF
AXJTR
AZFZN
BJAXD
BKOJK
BLXMC
CS3
EBS
EFJIC
EFLBG
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-2
G-Q
GBLVA
GBOLZ
HLZ
HVGLF
HZ~
IHE
J1W
JJJVA
KOM
LG9
LY7
M41
MO0
N9A
O-L
O9-
OAUVE
OZT
P-8
P-9
P2P
PC.
Q38
R2-
RIG
ROL
RPZ
SBC
SDF
SDG
SDP
SES
SET
SEW
SPC
SPCBC
SST
SSV
SSZ
T5K
TN5
WUQ
XPP
ZMT
~G-
9DU
AATTM
AAXKI
AAYWO
AAYXX
ABWVN
ACLOT
ACRPL
ACVFH
ADCNI
ADNMO
AEIPS
AEUPX
AFJKZ
AFPUW
AGQPQ
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
APXCP
CITATION
EFKBS
~HD
7SC
7SU
7TB
8FD
C1K
FR3
JQ2
KR7
L7M
L~C
L~D
ID FETCH-LOGICAL-c351t-d2b69998f5bc0a254ece513a76b45036a97db0d7cb618e3d40e33d8fcf37f41e3
ISICitedReferencesCount 14
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000312467500003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0965-9978
IngestDate Tue Oct 07 09:25:02 EDT 2025
Sat Nov 29 08:02:53 EST 2025
Tue Nov 18 22:01:41 EST 2025
Fri Feb 23 02:24:22 EST 2024
IsPeerReviewed true
IsScholarly true
Keywords Model checking
Discrete event systems
Model-based testing
Software verification
Multifunctional end-effector
LabVIEW
Language English
License https://www.elsevier.com/tdm/userlicense/1.0
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c351t-d2b69998f5bc0a254ece513a76b45036a97db0d7cb618e3d40e33d8fcf37f41e3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
PQID 1770367196
PQPubID 23500
PageCount 13
ParticipantIDs proquest_miscellaneous_1770367196
crossref_citationtrail_10_1016_j_advengsoft_2012_09_004
crossref_primary_10_1016_j_advengsoft_2012_09_004
elsevier_sciencedirect_doi_10_1016_j_advengsoft_2012_09_004
PublicationCentury 2000
PublicationDate January 2013
2013-1-00
20130101
PublicationDateYYYYMMDD 2013-01-01
PublicationDate_xml – month: 01
  year: 2013
  text: January 2013
PublicationDecade 2010
PublicationTitle Advances in engineering software (1992)
PublicationYear 2013
Publisher Elsevier Ltd
Publisher_xml – name: Elsevier Ltd
References Anjos JMS. Proposta de arquitetura de software de controle para efetuador robótico multifuncional. 123 f. Master thesis. São José dos Campos-SP: Instituto Tecnológico de Aeronáutica (ITA); 2010.
Anjos JMS, Gripp J, Pontes RP, Villani E. Applying the CoFI testing methodology to a multifunctional robot end-effector. In: Proceedings of the 5th latin – American symposium on dependable computing (LADC) – industrial track. São José dos Campos (Brasil); 2011. p. 1–6.
Turley R, Wright M. Developing engine test software in LabVIEW. In: Proceedings of 1997 IEEE autotestcon proceedings, Anaheim (USA); 1997. p. 575–9.
Behrmann G et al. A Tutorial on UPPAAL. In: Proceedings of the 4th international school on formal methods for the design of computer, communication, and software systems (SFM-RT´04), vol. 3185. LNCS; 2005.
Leal AB, Da Cruz DLL, Hounsell MS. Supervisory control implementation into programmable logic controllers. In: Proceedings of the 14th IEEE international conference on emerging technologies and factory automation, Mallorca (Spain); 2009.
Mireles, Lewis (b0080) 2001; 48
Tavakoli S, Mousavi A, Komashie A. A generic framework for real-time discrete event simulation (DES) modeling. In: Proceedings of the 2008 winter simulation conference, Miami (USA); 2008. p. 1931–8.
Oliveira KV, Gorgonio KC, Perkusich A, Lima AMN, Silva LD. Automatic timed automata extraction from ladder programs for model-based analysis of control systems. In: Mouratidis H, (Org.). Software engineering for secure systems: industrial and research perspectives. Hershey, Pennsylvania (USA): IGI Global; 2010. p. 305–28.
Olson JM. Modeling of a discrete event manufacturing plant and design and implementation of controller using LabVIEW and programmable logic controller. Master thesis, Iowa State University (Ames, Iowa); 2005. p. 147.
Ramadage, Wonham (b0130) 1989; 77
Ambrosio AM, Martins E, Vijaykumar NL, Carvalho SV. A conformance testing process for space applications software services. In: Journal of aerospace computing information and communication (JACIC), vol. 3(4). USA; 2006. p. 146–58.
Farines JM, De Queiroz MH, Rocha VG, Carpes AMM, Vernadat F, Cregut X. A model-driven engineering approach to formal verification of PLC programs. In: Proc of IEEE 16th conference on emerging technologies & Factory automation (ETFA), Toulouse (France); 2011. p. 1–8.
Bell I, Falcon J, Limroth J, Robinson K. Integration of hardware into the LabVIEW environment for rapid prototyping and the development of control design applications. In: Proceedings of UKACC control 2004 mini symposia. Bath; 2004. p. 79–81.
Miremadi S, Åkesson K, Lennartson B, Fabian M. Supervisor computation and representation: a case study. In: Proceedings of the international workshop on discrete event systems (WODES’02); 2002.
Yin M, Xu Y, Li X. Design of virtual instrument software system based on nested state machine. In: Proceedings of the international conference on computational intelligence and software engineering (CiSE 2009), Wuhan (China); 2009. p. 1–3.
Chen M. Object oriented programming in LabVIEW for acquisition and control systems at the aerodynamics laboratory of the National Research Council of Canada. In: Proceedings of the 22nd international congress on instrumentation in aerospace simulation facilities (ICIASF 2007) Pacific Grove (USA); 2007. p. 1–6.
Falcon JS. LabVIEW state diagram toolkit for the design and implementation of discrete-event systems. In: Proceedings of the 8th international workshop on discrete event systems. Michigan (USA): Ann Arbor; 2006. p. 469–70.
Furtado JMS. Projeto e validação de um sistema de medição de perpendicularidade para efetuadores robóticos. 137 f. Master thesis. São José dos Campos-SP: Instituto Tecnológico de Aeronáutica (ITA); 2010.
Josifovska (b0065) 2003; 49
Martins, Sabião, Ambrosio (b0075) 1999; 8
De Queiroz MH, Cury JER. Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: Proceedings of the international workshop on discrete event systems (WODES’02); 2002.
Dietrich P, Malik R, Wonham WM, Brandin BA. Implementation considerations in supervisory control. In: Proceedings of SCODES’01, Paris (France); 2001.
Hellgren A, Lennartson B, Fabian M. Modelling and PLC-based implementation of modular supervisory control. In: Proceedings of the 6th international workshop on discrete event systems (WODES), Zaragoza (Spain); 2002. p. 1–6.
Whitley, Blackwell (b0115) 2001; 12
10.1016/j.advengsoft.2012.09.004_b0060
10.1016/j.advengsoft.2012.09.004_b0050
Ramadage (10.1016/j.advengsoft.2012.09.004_b0130) 1989; 77
Josifovska (10.1016/j.advengsoft.2012.09.004_b0065) 2003; 49
10.1016/j.advengsoft.2012.09.004_b0070
10.1016/j.advengsoft.2012.09.004_b0020
10.1016/j.advengsoft.2012.09.004_b0010
10.1016/j.advengsoft.2012.09.004_b0040
10.1016/j.advengsoft.2012.09.004_b0095
10.1016/j.advengsoft.2012.09.004_b0030
10.1016/j.advengsoft.2012.09.004_b0085
10.1016/j.advengsoft.2012.09.004_b0035
10.1016/j.advengsoft.2012.09.004_b0025
10.1016/j.advengsoft.2012.09.004_b0055
10.1016/j.advengsoft.2012.09.004_b0110
10.1016/j.advengsoft.2012.09.004_b0045
10.1016/j.advengsoft.2012.09.004_b0100
10.1016/j.advengsoft.2012.09.004_b0105
10.1016/j.advengsoft.2012.09.004_b0015
10.1016/j.advengsoft.2012.09.004_b0005
Whitley (10.1016/j.advengsoft.2012.09.004_b0115) 2001; 12
Mireles (10.1016/j.advengsoft.2012.09.004_b0080) 2001; 48
Martins (10.1016/j.advengsoft.2012.09.004_b0075) 1999; 8
10.1016/j.advengsoft.2012.09.004_b0090
References_xml – reference: Olson JM. Modeling of a discrete event manufacturing plant and design and implementation of controller using LabVIEW and programmable logic controller. Master thesis, Iowa State University (Ames, Iowa); 2005. p. 147.
– volume: 8
  start-page: 303
  year: 1999
  end-page: 319
  ident: b0075
  article-title: ConData: a tool for automating specification-based test case generation for communication systems
  publication-title: Softw Qual J
– reference: Oliveira KV, Gorgonio KC, Perkusich A, Lima AMN, Silva LD. Automatic timed automata extraction from ladder programs for model-based analysis of control systems. In: Mouratidis H, (Org.). Software engineering for secure systems: industrial and research perspectives. Hershey, Pennsylvania (USA): IGI Global; 2010. p. 305–28.
– reference: Farines JM, De Queiroz MH, Rocha VG, Carpes AMM, Vernadat F, Cregut X. A model-driven engineering approach to formal verification of PLC programs. In: Proc of IEEE 16th conference on emerging technologies & Factory automation (ETFA), Toulouse (France); 2011. p. 1–8.
– reference: Bell I, Falcon J, Limroth J, Robinson K. Integration of hardware into the LabVIEW environment for rapid prototyping and the development of control design applications. In: Proceedings of UKACC control 2004 mini symposia. Bath; 2004. p. 79–81.
– reference: Chen M. Object oriented programming in LabVIEW for acquisition and control systems at the aerodynamics laboratory of the National Research Council of Canada. In: Proceedings of the 22nd international congress on instrumentation in aerospace simulation facilities (ICIASF 2007) Pacific Grove (USA); 2007. p. 1–6.
– reference: De Queiroz MH, Cury JER. Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: Proceedings of the international workshop on discrete event systems (WODES’02); 2002.
– volume: 49
  start-page: 30
  year: 2003
  end-page: 33
  ident: b0065
  article-title: The father of LabVIEW
  publication-title: IEE Rev
– reference: Miremadi S, Åkesson K, Lennartson B, Fabian M. Supervisor computation and representation: a case study. In: Proceedings of the international workshop on discrete event systems (WODES’02); 2002.
– reference: Leal AB, Da Cruz DLL, Hounsell MS. Supervisory control implementation into programmable logic controllers. In: Proceedings of the 14th IEEE international conference on emerging technologies and factory automation, Mallorca (Spain); 2009.
– reference: Turley R, Wright M. Developing engine test software in LabVIEW. In: Proceedings of 1997 IEEE autotestcon proceedings, Anaheim (USA); 1997. p. 575–9.
– reference: Yin M, Xu Y, Li X. Design of virtual instrument software system based on nested state machine. In: Proceedings of the international conference on computational intelligence and software engineering (CiSE 2009), Wuhan (China); 2009. p. 1–3.
– volume: 12
  start-page: 435
  year: 2001
  end-page: 472
  ident: b0115
  article-title: Visual programming in the wild: a survey of LabVIEW programmers
  publication-title: J Visual Lang Comput
– reference: Ambrosio AM, Martins E, Vijaykumar NL, Carvalho SV. A conformance testing process for space applications software services. In: Journal of aerospace computing information and communication (JACIC), vol. 3(4). USA; 2006. p. 146–58.
– reference: Hellgren A, Lennartson B, Fabian M. Modelling and PLC-based implementation of modular supervisory control. In: Proceedings of the 6th international workshop on discrete event systems (WODES), Zaragoza (Spain); 2002. p. 1–6.
– reference: Anjos JMS, Gripp J, Pontes RP, Villani E. Applying the CoFI testing methodology to a multifunctional robot end-effector. In: Proceedings of the 5th latin – American symposium on dependable computing (LADC) – industrial track. São José dos Campos (Brasil); 2011. p. 1–6.
– reference: Behrmann G et al. A Tutorial on UPPAAL. In: Proceedings of the 4th international school on formal methods for the design of computer, communication, and software systems (SFM-RT´04), vol. 3185. LNCS; 2005.
– reference: Dietrich P, Malik R, Wonham WM, Brandin BA. Implementation considerations in supervisory control. In: Proceedings of SCODES’01, Paris (France); 2001.
– volume: 77
  start-page: 81
  year: 1989
  end-page: 98
  ident: b0130
  article-title: The control of discrete event systems
  publication-title: Proc IEEE
– reference: Anjos JMS. Proposta de arquitetura de software de controle para efetuador robótico multifuncional. 123 f. Master thesis. São José dos Campos-SP: Instituto Tecnológico de Aeronáutica (ITA); 2010.
– reference: Furtado JMS. Projeto e validação de um sistema de medição de perpendicularidade para efetuadores robóticos. 137 f. Master thesis. São José dos Campos-SP: Instituto Tecnológico de Aeronáutica (ITA); 2010.
– volume: 48
  start-page: 1087
  year: 2001
  end-page: 1097
  ident: b0080
  article-title: Intelligent material handling: development and implementation of a matrix-based discrete-event controller
  publication-title: IEEE Trans Ind Electr
– reference: Tavakoli S, Mousavi A, Komashie A. A generic framework for real-time discrete event simulation (DES) modeling. In: Proceedings of the 2008 winter simulation conference, Miami (USA); 2008. p. 1931–8.
– reference: Falcon JS. LabVIEW state diagram toolkit for the design and implementation of discrete-event systems. In: Proceedings of the 8th international workshop on discrete event systems. Michigan (USA): Ann Arbor; 2006. p. 469–70.
– ident: 10.1016/j.advengsoft.2012.09.004_b0025
– ident: 10.1016/j.advengsoft.2012.09.004_b0040
  doi: 10.1007/978-1-4757-6656-1_12
– ident: 10.1016/j.advengsoft.2012.09.004_b0090
  doi: 10.4018/978-1-61520-837-1.ch012
– ident: 10.1016/j.advengsoft.2012.09.004_b0005
– ident: 10.1016/j.advengsoft.2012.09.004_b0055
– volume: 8
  start-page: 303
  issue: 4
  year: 1999
  ident: 10.1016/j.advengsoft.2012.09.004_b0075
  article-title: ConData: a tool for automating specification-based test case generation for communication systems
  publication-title: Softw Qual J
  doi: 10.1023/A:1008930105477
– ident: 10.1016/j.advengsoft.2012.09.004_b0070
  doi: 10.1109/ETFA.2009.5347090
– ident: 10.1016/j.advengsoft.2012.09.004_b0100
  doi: 10.1109/WSC.2008.4736285
– ident: 10.1016/j.advengsoft.2012.09.004_b0095
– volume: 48
  start-page: 1087
  issue: 6
  year: 2001
  ident: 10.1016/j.advengsoft.2012.09.004_b0080
  article-title: Intelligent material handling: development and implementation of a matrix-based discrete-event controller
  publication-title: IEEE Trans Ind Electr
  doi: 10.1109/41.969387
– volume: 12
  start-page: 435
  year: 2001
  ident: 10.1016/j.advengsoft.2012.09.004_b0115
  article-title: Visual programming in the wild: a survey of LabVIEW programmers
  publication-title: J Visual Lang Comput
  doi: 10.1006/jvlc.2000.0198
– ident: 10.1016/j.advengsoft.2012.09.004_b0105
  doi: 10.1109/AUTEST.1997.633678
– ident: 10.1016/j.advengsoft.2012.09.004_b0110
  doi: 10.1109/CISE.2009.5363662
– ident: 10.1016/j.advengsoft.2012.09.004_b0030
  doi: 10.1109/ICIASF.2007.4380900
– ident: 10.1016/j.advengsoft.2012.09.004_b0035
– ident: 10.1016/j.advengsoft.2012.09.004_b0045
  doi: 10.1109/WODES.2006.382520
– ident: 10.1016/j.advengsoft.2012.09.004_b0060
– volume: 49
  start-page: 30
  issue: 9
  year: 2003
  ident: 10.1016/j.advengsoft.2012.09.004_b0065
  article-title: The father of LabVIEW
  publication-title: IEE Rev
  doi: 10.1049/ir:20030905
– ident: 10.1016/j.advengsoft.2012.09.004_b0020
  doi: 10.1049/ic:20040652
– ident: 10.1016/j.advengsoft.2012.09.004_b0010
– ident: 10.1016/j.advengsoft.2012.09.004_b0015
  doi: 10.2514/1.15529
– ident: 10.1016/j.advengsoft.2012.09.004_b0050
  doi: 10.1109/ETFA.2011.6058983
– volume: 77
  start-page: 81
  year: 1989
  ident: 10.1016/j.advengsoft.2012.09.004_b0130
  article-title: The control of discrete event systems
  publication-title: Proc IEEE
  doi: 10.1109/5.21072
– ident: 10.1016/j.advengsoft.2012.09.004_b0085
SSID ssj0014021
Score 2.0554943
Snippet ► We propose a control software architecture for discrete event systems with LabView. ► We applied it to a multifunctional end-effector of aircraft...
This paper proposes a software architecture based on LabVIEW for controlling discrete event systems. The proposed architecture is an adaptation of the...
SourceID proquest
crossref
elsevier
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 32
SubjectTerms 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
Title A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector
URI https://dx.doi.org/10.1016/j.advengsoft.2012.09.004
https://www.proquest.com/docview/1770367196
Volume 55
WOSCitedRecordID wos000312467500003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  issn: 0965-9978
  databaseCode: AIEXJ
  dateStart: 19950101
  customDbUrl:
  isFulltext: true
  dateEnd: 99991231
  titleUrlDefault: https://www.sciencedirect.com
  omitProxy: false
  ssIdentifier: ssj0014021
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bi9NAFB5q1wcVvKyK640RxJcSae4ZfArSxUupgl3p25C5RFKySW26dX-Pv9QzmZk0XRXqgy-hhDNN0vN1zu3LOQi9VJrlYBedMfMgQHGZcEgkEicJQwHmEwwaZ-2wiXg2SxYL8nkw-GnfhdmWcVUll5dk9V9VDedA2erV2X9Qd_elcAI-g9LhCGqH40GKTxXnalU3pgkA3L9iA3WeYTZqYOf9oQhfe0UEZc6EKh1MM6YIE5peqQmHyviZnOG6ZrXq8Sor4WguSL3uO7ip5hS0LFu563W4u6hqDEWIt5eBWNZdNUK9PMTrZvSlKLc7EhHglBft8CnAdFECzs7l6KOiEpR1nluxr2qCkpaanBdlkfVTGmq8RJfSMLnJKHQI0bN97DYdhr191uREtcXWDSR_swU6LbF8nQkwG9_UYyomn9e2tdUjj_fbb88-0dOz6ZTOJ4v5q9V3R00mUxV8M6blGjry4pAkQ3SUvp8sPnS1KojA27mM9qYNX0yzCP988b85QVfcgdbHmd9Ft01wglMNqntoIKtjdMcEKtiYgeYY3Up7yAEJOxrEihyjm70-l_fROsUWkxgwifuYxHWOM2zhgfuYxC0mMcgYTGLAJAhfwSQ2mMR9TD5AZ6eT-dt3jhn24XA_dDeO8FgEwUqSh4yPMy8MJJeh62dxxIIQ3KyMxIKNRcxZ5CbSF8FY-r5Icp77cR640n-IhlVdyUcIZzwHAV9EnhAB4zKDmD72ZMDciERM8BMU21-fctMJXw1kKamlPC7pTm9U6Y2OCQW9nSC3W7nS3WAOWPPGKpgar1Z7qxSAesDqFxYTFDZ-Vc3LKllfNNSNVe-8GCzo4wNknqAbu3_aUzTcrC_kM3SdbzdFs35uIP0LRMrX5A
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+proposal+and+verification+of+a+software+architecture+based+on+LabVIEW+for+a+multifunctional+robotic+end-effector&rft.jtitle=Advances+in+engineering+software+%281992%29&rft.au=Anjos%2C+Jose+Marcos+Silva&rft.au=Coracini%2C+Guilherme+Kisseloff&rft.au=Villani%2C+Emilia&rft.date=2013-01-01&rft.issn=0965-9978&rft.volume=55&rft.spage=32&rft.epage=44&rft_id=info:doi/10.1016%2Fj.advengsoft.2012.09.004&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0965-9978&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0965-9978&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0965-9978&client=summon