Safety shell for specification-PEARL oriented UML real-time projects

A safety shell for real-time applications to be developed with UML is defined based on a re-configuration management pattern. Inspired by the architectural specifications in the Specification PEARL methodology, the pattern is parameterised by defining the properties of its components as well as by d...

Full description

Saved in:
Bibliographic Details
Published inComputer languages, systems & structures Vol. 35; no. 3; pp. 277 - 292
Main Authors Gumzej, Roman, Colnarič, Matjaž, Halang, Wolfgang A.
Format Journal Article
LanguageEnglish
Published Elsevier Ltd 01.10.2009
Subjects
Dynamic re-configuration
Embedded systems
Real-time systems
Safety
UML profiles and patterns
Dynamic re-configuration
UML profiles and patterns
Embedded systems
Real-time systems
Safety
Online AccessGet full text

Cover

Abstract A safety shell for real-time applications to be developed with UML is defined based on a re-configuration management pattern. Inspired by the architectural specifications in the Specification PEARL methodology, the pattern is parameterised by defining the properties of its components as well as by defining how the software is to be mapped to the hardware architecture. The initial and alternative scenarios are defined as well as the method for switching between them. This article includes the description of the UML pattern and of its parameterisation method, with the goal to obtain clearly specified operation scenarios with well-defined transitions among them. In order to achieve safe and timely operation, the pattern must provide a safety shell for all scenarios, i.e., enable their deterministic, temporally predictable operation, and transitions between them.
AbstractList A safety shell for real-time applications to be developed with UML is defined based on a re-configuration management pattern. Inspired by the architectural specifications in the Specification PEARL methodology, the pattern is parameterised by defining the properties of its components as well as by defining how the software is to be mapped to the hardware architecture. The initial and alternative scenarios are defined as well as the method for switching between them. This article includes the description of the UML pattern and of its parameterisation method, with the goal to obtain clearly specified operation scenarios with well-defined transitions among them. In order to achieve safe and timely operation, the pattern must provide a safety shell for all scenarios, i.e., enable their deterministic, temporally predictable operation, and transitions between them.
Author Colnarič, Matjaž
Gumzej, Roman
Halang, Wolfgang A.
Author_xml – sequence: 1
  givenname: Roman
  surname: Gumzej
  fullname: Gumzej, Roman
  email: roman.gumzej@uni-mb.si
  organization: Faculty of Electrical Engineering and Computer Science, University of Maribor, Smetanova 17, Sl-2000 Maribor, Slovenia
– sequence: 2
  givenname: Matjaž
  surname: Colnarič
  fullname: Colnarič, Matjaž
  organization: Faculty of Electrical Engineering and Computer Science, University of Maribor, Smetanova 17, Sl-2000 Maribor, Slovenia
– sequence: 3
  givenname: Wolfgang A.
  surname: Halang
  fullname: Halang, Wolfgang A.
  email: wolfgang.halang@fernuni-hagen.de
  organization: FernUniversität, Chair of Computer Engineering and Real-Time Systems, 58084 Hagen, Germany
BookMark eNp1kMtOwzAQRS1UJNrCnmV-IGHs2I7LrirlIQWBgK4t1x4LR2kS2RFS_55UZcvqzuaM7j0LMuv6Dgm5pVBQoPKuKWxbMABVgCgA6AWZU1WVuVRSzqabV1WuOONXZJFSA8BAcTEnD5_G43jM0je2beb7mKUBbfDBmjH0Xf6-XX_UWR8DdiO6bPdaZxFNm4_hgNkQ-wbtmK7JpTdtwpu_XJLd4_Zr85zXb08vm3WdW8arMV8BWzFb-hIrBc5zypmn4CVKJp2UQu6t8F4pZypjcO8UUie4EBQqRCNUuSRw_mtjn1JEr4cYDiYeNQV9sqAbbVt9sqBB6MnChNyfEZx6_QSMOtlpi0UX4lRduz78D_8CX2FltA
Cites_doi 10.1007/BFb0057795
10.1007/s10270-007-0075-7
10.1109/71.774907
10.1109/MC.2003.1193227
10.1109/TSE.1985.232231
10.1109/SEW.2005.6
ContentType Journal Article
Copyright 2008 Elsevier Ltd
Copyright_xml – notice: 2008 Elsevier Ltd
DBID AAYXX
CITATION
DOI 10.1016/j.cl.2008.05.001
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1873-6866
EndPage 292
ExternalDocumentID 10_1016_j_cl_2008_05_001
S1477842408000171
GroupedDBID --K
--M
.DC
.~1
0R~
1B1
1~.
1~5
29F
4.4
457
4G.
5VS
7-5
71M
8P~
AACTN
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAXUO
AAYFN
ABBOA
ABMAC
ABXDB
ABYKQ
ACDAQ
ACGFS
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADJOM
ADMUD
AEBSH
AEKER
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHZHX
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
AXJTR
BKOJK
BLXMC
EBS
EFJIC
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FIRID
FNPLU
FYGXN
G-Q
GBLVA
GBOLZ
HVGLF
HZ~
IHE
J1W
KOM
M41
MO0
N9A
O-L
O9-
OAUVE
OZT
P-8
P-9
PC.
Q38
RIG
ROL
RPZ
SDF
SDG
SDP
SES
SEW
SPC
SSV
SSZ
T5K
TN5
XFK
YYM
~G-
AAXKI
AAYXX
AKRWK
CITATION
ID FETCH-LOGICAL-c247t-90292c3f3e780df4142f10f6e626d6656bc5ff88da7aaebd8e1d5455107eea583
IEDL.DBID .~1
ISSN 1477-8424
IngestDate Thu Sep 12 18:14:46 EDT 2024
Fri Feb 23 02:17:32 EST 2024
IsPeerReviewed true
IsScholarly true
Issue 3
Keywords Dynamic re-configuration
UML profiles and patterns
Embedded systems
Real-time systems
Safety
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c247t-90292c3f3e780df4142f10f6e626d6656bc5ff88da7aaebd8e1d5455107eea583
PageCount 16
ParticipantIDs crossref_primary_10_1016_j_cl_2008_05_001
elsevier_sciencedirect_doi_10_1016_j_cl_2008_05_001
PublicationCentury 2000
PublicationDate 2009-10-01
PublicationDateYYYYMMDD 2009-10-01
PublicationDate_xml – month: 10
  year: 2009
  text: 2009-10-01
  day: 01
PublicationDecade 2000
PublicationTitle Computer languages, systems & structures
PublicationYear 2009
Publisher Elsevier Ltd
Publisher_xml – name: Elsevier Ltd
References Object Management Group. Unified modeling language: superstructure. OMG document ptc/2003-08-02, 2003.
Thomas, Donald, Moorby, Phillip: The verilog hardware description language. Norwell, MA: Kluwer Academic Publishers. ISBN 0=7923-8166-1.
Gumzej R, Colnarič M, Halang WA. A reconfiguration pattern for distributed embedded systems. In: Software & systems modeling, Berlin: Springer; 2007, to appear. URL
Katwijk, Toetenel, Sahraoui, Anderson, Zalewski (bib11) 2000
Grötker, Liao, Martin, Swan (bib2) 2002
Jean, Tomko, Yavgal, Cook, Shah (bib9) 1998
.
Ku D, De Micheli G. HardwareC—a language for hardware design (Version 2.0), Technical Report FCSL-TR-90-419, Stanford University, Stanford, CA, USA; 1990.
Eisenring, Platzner, Thiele (bib1) 1999
Hofmeister CR. Dynamic reconfiguration of distributed applications. PhD Thesis, Department of Computer Science, University of Maryland; 1993.
Hutchings, Wirthlin (bib6) 1995
Gumzej R. Embedded system architecture co-design and its validation. Doctoral Thesis, University of Maribor, Slovenia; 1999.
Kramer, Magee (bib13) 1985; 11
IEEE 1364, IEEE standard Verilog hardware description language, IEEE; 2001.
Rust, Stappert, Bernhardi-Grisson (bib19) 2002
Selic B, Rumbaugh J. Using UML for modeling complex real-time systems. White Paper, Rational Software Corporation, 1998
Multiprocessor PEARL, DIN 66253, Part 3. Beuth Verlag; 1989.
Full PEARL, DIN 66253, Part 2. Beuth Verlag; 1982.
Specification PEARL—Holistic Embedded Control Systems Design. Overview of the Project Z2-3493
IEEE 1076-1993, Standard VHDL language reference manual, IEEE; 1993.
Wolf (bib23) 2003; 36
Kornecki AJ, Zalewski J. Software development for real-time safety—critical applications. In: Software engineering workshop— tutorial notes, 29th annual IEEE/NASA 03, 2005, pp. 1–95.
Lee, Davidson, Gerber (bib15) 1991
Kalbarczyk, Iyer, Bagchi, Whisnant (bib10) 1999; 10
Kramer (10.1016/j.cl.2008.05.001_bib13) 1985; 11
Wolf (10.1016/j.cl.2008.05.001_bib23) 2003; 36
Katwijk (10.1016/j.cl.2008.05.001_bib11) 2000
Jean (10.1016/j.cl.2008.05.001_bib9) 1998
Hutchings (10.1016/j.cl.2008.05.001_bib6) 1995
10.1016/j.cl.2008.05.001_bib8
10.1016/j.cl.2008.05.001_bib7
10.1016/j.cl.2008.05.001_bib22
Grötker (10.1016/j.cl.2008.05.001_bib2) 2002
10.1016/j.cl.2008.05.001_bib21
10.1016/j.cl.2008.05.001_bib20
Rust (10.1016/j.cl.2008.05.001_bib19) 2002
10.1016/j.cl.2008.05.001_bib5
10.1016/j.cl.2008.05.001_bib4
10.1016/j.cl.2008.05.001_bib3
10.1016/j.cl.2008.05.001_bib18
Kalbarczyk (10.1016/j.cl.2008.05.001_bib10) 1999; 10
10.1016/j.cl.2008.05.001_bib17
10.1016/j.cl.2008.05.001_bib16
10.1016/j.cl.2008.05.001_bib14
Eisenring (10.1016/j.cl.2008.05.001_bib1) 1999
10.1016/j.cl.2008.05.001_bib12
Lee (10.1016/j.cl.2008.05.001_bib15) 1991
References_xml – year: 2002
  ident: bib2
  article-title: System design with systemC
  contributor:
    fullname: Swan
– year: 1991
  ident: bib15
  article-title: Communicating shared resources: a paradigm for integrating real-time specification and implementation. Foundations of real-time computing: formal specifications and methods
  contributor:
    fullname: Gerber
– year: 2000
  ident: bib11
  article-title: Specification and verification of a safety shell with statecharts and extended timed graphs
  publication-title: Proceedings of the 19th international conference on computer safety, reliability and security, SAFECOMP 2000
  contributor:
    fullname: Zalewski
– start-page: 205
  year: 1999
  end-page: 214
  ident: bib1
  article-title: Communication synthesis for reconfigurable embedded systems
  publication-title: Field-programmable logic and applications, proceedings
  contributor:
    fullname: Thiele
– volume: 11
  year: 1985
  ident: bib13
  article-title: Dynamic configuration for distributed systems
  publication-title: IEEE Transactions on Software Engineering
  contributor:
    fullname: Magee
– start-page: 41
  year: 2002
  end-page: 50
  ident: bib19
  article-title: Petri net design of reconfigurable embedded real-time systems
  publication-title: Proceedings of the IFIP 17th world computer congress—design and analysis of distributed embedded systems
  contributor:
    fullname: Bernhardi-Grisson
– start-page: 302
  year: 1998
  end-page: 303
  ident: bib9
  article-title: Dynamic reconfiguration to support concurrent applications
  publication-title: Proceedings of IEEE symposium on FPGAs for custom computing machines
  contributor:
    fullname: Shah
– start-page: 419
  year: 1995
  end-page: 428
  ident: bib6
  article-title: Implementation approaches for reconfigurable logic applications
  publication-title: Field-programmable logic and applications, proceedings
  contributor:
    fullname: Wirthlin
– volume: 36
  year: 2003
  ident: bib23
  article-title: A decade of hardware/software codesign
  publication-title: IEEE Computer
  contributor:
    fullname: Wolf
– volume: 10
  year: 1999
  ident: bib10
  article-title: Chameleon: a software infrastructure for adaptive fault tolerance
  publication-title: IEEE Transactions on Parallel and Distributed Systems
  contributor:
    fullname: Whisnant
– ident: 10.1016/j.cl.2008.05.001_bib18
– start-page: 302
  year: 1998
  ident: 10.1016/j.cl.2008.05.001_bib9
  article-title: Dynamic reconfiguration to support concurrent applications
  contributor:
    fullname: Jean
– ident: 10.1016/j.cl.2008.05.001_bib20
  doi: 10.1007/BFb0057795
– ident: 10.1016/j.cl.2008.05.001_bib4
  doi: 10.1007/s10270-007-0075-7
– start-page: 205
  year: 1999
  ident: 10.1016/j.cl.2008.05.001_bib1
  article-title: Communication synthesis for reconfigurable embedded systems
  contributor:
    fullname: Eisenring
– ident: 10.1016/j.cl.2008.05.001_bib7
– ident: 10.1016/j.cl.2008.05.001_bib3
– ident: 10.1016/j.cl.2008.05.001_bib8
– ident: 10.1016/j.cl.2008.05.001_bib21
– ident: 10.1016/j.cl.2008.05.001_bib5
– volume: 10
  issue: 6
  year: 1999
  ident: 10.1016/j.cl.2008.05.001_bib10
  article-title: Chameleon: a software infrastructure for adaptive fault tolerance
  publication-title: IEEE Transactions on Parallel and Distributed Systems
  doi: 10.1109/71.774907
  contributor:
    fullname: Kalbarczyk
– ident: 10.1016/j.cl.2008.05.001_bib22
– start-page: 419
  year: 1995
  ident: 10.1016/j.cl.2008.05.001_bib6
  article-title: Implementation approaches for reconfigurable logic applications
  contributor:
    fullname: Hutchings
– year: 1991
  ident: 10.1016/j.cl.2008.05.001_bib15
  contributor:
    fullname: Lee
– year: 2000
  ident: 10.1016/j.cl.2008.05.001_bib11
  article-title: Specification and verification of a safety shell with statecharts and extended timed graphs
  contributor:
    fullname: Katwijk
– volume: 36
  issue: 4
  year: 2003
  ident: 10.1016/j.cl.2008.05.001_bib23
  article-title: A decade of hardware/software codesign
  publication-title: IEEE Computer
  doi: 10.1109/MC.2003.1193227
  contributor:
    fullname: Wolf
– volume: 11
  issue: 4
  year: 1985
  ident: 10.1016/j.cl.2008.05.001_bib13
  article-title: Dynamic configuration for distributed systems
  publication-title: IEEE Transactions on Software Engineering
  doi: 10.1109/TSE.1985.232231
  contributor:
    fullname: Kramer
– start-page: 41
  year: 2002
  ident: 10.1016/j.cl.2008.05.001_bib19
  article-title: Petri net design of reconfigurable embedded real-time systems
  contributor:
    fullname: Rust
– ident: 10.1016/j.cl.2008.05.001_bib16
– ident: 10.1016/j.cl.2008.05.001_bib12
  doi: 10.1109/SEW.2005.6
– year: 2002
  ident: 10.1016/j.cl.2008.05.001_bib2
  contributor:
    fullname: Grötker
– ident: 10.1016/j.cl.2008.05.001_bib17
– ident: 10.1016/j.cl.2008.05.001_bib14
SSID ssj0020845
Score 1.8184307
Snippet A safety shell for real-time applications to be developed with UML is defined based on a re-configuration management pattern. Inspired by the architectural...
SourceID crossref
elsevier
SourceType Aggregation Database
Publisher
StartPage 277
SubjectTerms Dynamic re-configuration
Embedded systems
Real-time systems
Safety
UML profiles and patterns
Title Safety shell for specification-PEARL oriented UML real-time projects
URI https://dx.doi.org/10.1016/j.cl.2008.05.001
Volume 35
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELaqsrDwRpRH5YGFwTRxnMYZo9Kq0IdQS0W3yIltqahqKxoGFn47PsdBIMHCFCmxpeiSu_vO990dQtc0zgRlkSJMB4IwKjQxsYomiqkc3D0TtihsNG73Z-xhHs5rqFPVwgCt0tn-0qZba-3utJw0W5vFojX1WRRxBi26yq4vUMEeWuW8_fiieVCP20HFsJjAapeqLDle-dKxKeFgxf_dNX1zN70DtOdwIk7KVzlENbU6QvvVDAbsVPIY3U2FVsU73gKhExsEiqF2Evg_VuTksZtMhngN3YwNtsSz0RAbmLgkMFMeu2OY7Qma9bpPnT5xkxFIbgRbkNijMc0DHaiIe1Izn1Hte7qtTHgi2waiZXmoNedSREKoTHLlSwOVjP5FSomQB6eovlqv1BnCkIczMVEoqRcw84hzLTwmY6lCqGkVDXRTCSXdlA0w0ooZ9pLmSzfHMgRyXAMFldTSHx8xNfb5z13n_9p1gXZtYsfy6i5RvXh9U1cGHxRZ0_4ATbST3A_6Y7gOJs-DTyZRuWA
link.rule.ids 315,783,787,4511,24130,27938,27939,45599,45693
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDLbGdoALb8R45sCFQ7Q-0jU9TmOoY92E2CbtVmVNIg1N28TKgX-P06YIJLhwbWspchP7c_zZBrjzornwWKgo076gzBOaYqyiqWIqM-6eiaIobDhqx1P2NAtmNehWtTCGVmltf2nTC2ttn7SsNlubxaI1dlkYcmZadJVdX3aggWggws3e6PQH8egr7nJ4MavYfE-NgM1WljSvbGkJleZuxf3dO33zOI-HsG-hIumUqzmCmlodw0E1hoHYU3kCD2OhVf5BtobTSRCEElM-aShAhdbpc6_zkpC1aWiM8JJMhwlBpLikZqw8sTcx21OYPvYm3Zja4Qg0Q93mNHK8yMt87auQO1Izl3nadXRbYYQi24jS5lmgNedShEKoueTKlYiW8AiGSomA-2dQX61X6hyIScVhWBRIz_EZvuJcC4fJSKrAlLWKJtxXSkk3ZQ-MtCKHvabZ0o6yDAw_rgl-pbX0x39M0UT_KXXxL6lb2I0nwyRN-qPBJewVeZ6CZncF9fztXV0jXMjnN3Y7fALpdbp6
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=Safety+shell+for+specification-PEARL+oriented+UML+real-time+projects&rft.jtitle=Computer+languages%2C+systems+%26+structures&rft.au=Gumzej%2C+Roman&rft.au=Colnari%C4%8D%2C+Matja%C5%BE&rft.au=Halang%2C+Wolfgang+A.&rft.date=2009-10-01&rft.issn=1477-8424&rft.volume=35&rft.issue=3&rft.spage=277&rft.epage=292&rft_id=info:doi/10.1016%2Fj.cl.2008.05.001&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_cl_2008_05_001
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1477-8424&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1477-8424&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1477-8424&client=summon