UML-based Development Process for IEC 61499 with Automatic Test-case Generation

Development of distributed control applications within a standard framework was actually the strongest motivation behind the introduction of IEC 61499. Yet, scarcity of its application is due to the fact that the development is more complex as compared to the existing languages and standards. This p...

Full description

Saved in:
Bibliographic Details
Published in2006 IEEE Conference on Emerging Technologies and Factory Automation pp. 1277 - 1284
Main Authors Hussain, T., Frey, G.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2006
Subjects
Application software
Automatic testing
Distributed control
Formal verification
IEC standards
Industrial control
Performance evaluation
Programming
Software testing
Standards development
Online AccessGet full text
ISBN9780780397583
0780397584
ISSN1946-0740
DOI10.1109/ETFA.2006.355407

Cover

Abstract Development of distributed control applications within a standard framework was actually the strongest motivation behind the introduction of IEC 61499. Yet, scarcity of its application is due to the fact that the development is more complex as compared to the existing languages and standards. This paper addresses an UML-based development process for IEC 61499 which attempts to consider the aspects related to the utilization of the unique features that this standard brought into the field of industrial control applications. Reliability is an important consideration in this particular realm of software development and apart from formal verification tests are often performed to verify the software components. An automatic test-case generation methodology is introduced to complement the proposed development process.
AbstractList Development of distributed control applications within a standard framework was actually the strongest motivation behind the introduction of IEC 61499. Yet, scarcity of its application is due to the fact that the development is more complex as compared to the existing languages and standards. This paper addresses an UML-based development process for IEC 61499 which attempts to consider the aspects related to the utilization of the unique features that this standard brought into the field of industrial control applications. Reliability is an important consideration in this particular realm of software development and apart from formal verification tests are often performed to verify the software components. An automatic test-case generation methodology is introduced to complement the proposed development process.
Author Hussain, T.
Frey, G.
Author_xml – sequence: 1
  givenname: T.
  surname: Hussain
  fullname: Hussain, T.
  organization: Kaiserslautern Univ
– sequence: 2
  givenname: G.
  surname: Frey
  fullname: Frey, G.
  organization: Kaiserslautern Univ
BookMark eNotj01Lw0AYhBesYK25C172DyS--509hpjWQqQe4rms2TcYaZKSXRX_vYE6DAw8MANzS1bjNCIh9wwyxsA-Vs22yDiAzoRSEswVSazJYbGwRuViRdbMSp2CkXBDkhA-YZFYkGVrcnh7qdN3F9DTJ_zG03QecIz0dZ5aDIF200z3VUk1k9bSnz5-0OIrToOLfUsbDDFtly7d4Yjzwqbxjlx37hQw-c8NabZVUz6n9WG3L4s67S3EVHsuvPXMK86t4Kw1HtGB5h2g4c5jq6y2SnKuXK6dZE7n3OW-c8shh1JsyMNltkfE43nuBzf_HiUzOZcg_gDfYk8I
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ETFA.2006.355407
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Xplore Digital Library
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EndPage 1284
ExternalDocumentID 4178240
Genre orig-research
GroupedDBID 6IE
6IF
6IK
6IL
6IN
AAJGR
AAWTH
ABLEC
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i90t-6d23d9d1d5229321c7deea062f0e72adec596954225a86a41a682a8dfa583ae43
IEDL.DBID RIE
ISBN 9780780397583
0780397584
ISSN 1946-0740
IngestDate Wed Aug 27 02:20:57 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-6d23d9d1d5229321c7deea062f0e72adec596954225a86a41a682a8dfa583ae43
PageCount 8
ParticipantIDs ieee_primary_4178240
PublicationCentury 2000
PublicationDate 2006-Sept.
PublicationDateYYYYMMDD 2006-09-01
PublicationDate_xml – month: 09
  year: 2006
  text: 2006-Sept.
PublicationDecade 2000
PublicationTitle 2006 IEEE Conference on Emerging Technologies and Factory Automation
PublicationTitleAbbrev ETFA
PublicationYear 2006
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000394691
ssj0001096939
Score 1.7797936
Snippet Development of distributed control applications within a standard framework was actually the strongest motivation behind the introduction of IEC 61499. Yet,...
SourceID ieee
SourceType Publisher
StartPage 1277
SubjectTerms Application software
Automatic testing
Distributed control
Formal verification
IEC standards
Industrial control
Performance evaluation
Programming
Software testing
Standards development
Title UML-based Development Process for IEC 61499 with Automatic Test-case Generation
URI https://ieeexplore.ieee.org/document/4178240
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV09T8MwELVKJ1j4aBHf8sCIWzt2HHusqlYFUWBIpW6VEzsSQmoRShZ-PWcnKQUxsCVRIiWXKO_du7tnhG6Fc5qpLCcu5oYIoRXJpLPEqMJ7E2ZUBx1y_iRnC_GwjJcddLedhXHOheYzN_CboZZvN3nlpbKhYIBnAhL0vSTR9azWVk-hXIvW9yXoK8DNdVhIDNJ0SJoTQUPWruBE4MiiMd9p93lbwqR6OEmno7pM4cGY_lx4JeDO9BDN2zuu203eBlWZDfLPX2aO_32kI9T_nvDDL1vsOkYdtz5BBzvmhD30vJg_Eg9yFu90FuFmsgAD2cX3kzEG4NUaezkXj6pyExxgcQpYQ3K4Fte21v7t91E6naTjGWmWXyCvmpZE2ohbbZkFhgYkj-WJdc5QGRXUJZGxLo8hwrGAH4JR0ghmpIqMsoWBaBon-Cnqrjdrd4YwE1ZHecJYYbz_odBWykxJZmhhNOf8HPV8ZFbvtcHGqgnKxd-HL9F-rYP4Rq8r1C0_KncNzKDMbsIn8QW-ya49
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PT4MwFG6WeVAv_tiMv-3Bo91aKIUel2XLpmN6YMluS6ElMSabMXDxr_e1wJzGgzcgkMCD8H3ve-99ReieGyNZlGbEBL4inMuIpMJooqLcehOmVDodMp6LyYI_LoNlCz1sZ2GMMa75zPTspqvl601WWqmszxngGYcEfS-ArCKsprW2igr1JW-cX5zCAuxcuqXEIFGHtDnk1OXtEZwILJnX9jvNvt8UMansj5LxoCpUWDimP5deccgzPkJxc89Vw8lbryzSXvb5y87xvw91jLrfM374ZYteJ6hl1qfocMeesIOeF_GMWJjTeKe3CNezBRjoLp6OhhigV0psBV08KIuN84DFCaANyeBaXBlb2_ffRcl4lAwnpF6AgbxKWhChPV9LzTRwNKB5LAu1MYoKL6cm9JQ2WQARDjj8ElQkFGdKRJ6KdK4gmspw_wy115u1OUeYcS29LGQsV9YBkUstRBoJpmiupO_7F6hjI7N6ryw2VnVQLv8-fIf2J0k8W82m86crdFCpIrbt6xq1i4_S3ABPKNJb93l8ASGmsY4
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%3Abook&rft.genre=proceeding&rft.title=2006+IEEE+Conference+on+Emerging+Technologies+and+Factory+Automation&rft.atitle=UML-based+Development+Process+for+IEC+61499+with+Automatic+Test-case+Generation&rft.au=Hussain%2C+T.&rft.au=Frey%2C+G.&rft.date=2006-09-01&rft.pub=IEEE&rft.isbn=9780780397583&rft.issn=1946-0740&rft.spage=1277&rft.epage=1284&rft_id=info:doi/10.1109%2FETFA.2006.355407&rft.externalDocID=4178240
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1946-0740&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1946-0740&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1946-0740&client=summon