Academic Journal
Προβολή σε EDS

Quasi-static scheduling of independent tasks for reactive systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Quasi-static scheduling of independent tasks for reactive systems
Συγγραφείς: Cortadella, Jordi, Kondratyev, Alex, Lavagno, Luciano, Passerone, Claudio, Watanabe, Yosinori
Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Στοιχεία εκδότη: Springer
Έτος έκδοσης: 2002
Συλλογή: Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge
Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Sistemes operatius, Petri nets, Microprocessors -- Programming, Sequential composition, Concurrent task, Independent task, Source transition, FIFO queue, Petri, Xarxes de, Microprocessadors -- Programació
Περιγραφή: The synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks. A formal model based on Petri nets is used to synthesize the tasks. A practical application is illustrated by means of a real-life industrial example. ; Peer Reviewed ; Postprint (author's final draft)
Τύπος εγγράφου: article in journal/newspaper
Περιγραφή αρχείου: 21 p.; application/pdf
Γλώσσα: English
Relation: https://link.springer.com/chapter/10.1007/3-540-48068-4_7; https://hdl.handle.net/2117/133829
DOI: 10.1007/3-540-48068-4_7
Διαθεσιμότητα: https://hdl.handle.net/2117/133829
https://doi.org/10.1007/3-540-48068-4_7
Rights: Open Access
Αριθμός Καταχώρησης: edsbas.89F20EE5
Βάση Δεδομένων: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://hdl.handle.net/2117/133829#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.89F20EE5
RelevancyScore: 831
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 830.684326171875
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Quasi-static scheduling of independent tasks for reactive systems
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Cortadella%2C+Jordi%22">Cortadella, Jordi</searchLink><br /><searchLink fieldCode="AR" term="%22Kondratyev%2C+Alex%22">Kondratyev, Alex</searchLink><br /><searchLink fieldCode="AR" term="%22Lavagno%2C+Luciano%22">Lavagno, Luciano</searchLink><br /><searchLink fieldCode="AR" term="%22Passerone%2C+Claudio%22">Passerone, Claudio</searchLink><br /><searchLink fieldCode="AR" term="%22Watanabe%2C+Yosinori%22">Watanabe, Yosinori</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació<br />Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Springer
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2002
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Àrees+temàtiques+de+la+UPC%3A%3AInformàtica%3A%3ASistemes+operatius%22">Àrees temàtiques de la UPC::Informàtica::Sistemes operatius</searchLink><br /><searchLink fieldCode="DE" term="%22Petri+nets%22">Petri nets</searchLink><br /><searchLink fieldCode="DE" term="%22Microprocessors+--+Programming%22">Microprocessors -- Programming</searchLink><br /><searchLink fieldCode="DE" term="%22Sequential+composition%22">Sequential composition</searchLink><br /><searchLink fieldCode="DE" term="%22Concurrent+task%22">Concurrent task</searchLink><br /><searchLink fieldCode="DE" term="%22Independent+task%22">Independent task</searchLink><br /><searchLink fieldCode="DE" term="%22Source+transition%22">Source transition</searchLink><br /><searchLink fieldCode="DE" term="%22FIFO+queue%22">FIFO queue</searchLink><br /><searchLink fieldCode="DE" term="%22Petri%22">Petri</searchLink><br /><searchLink fieldCode="DE" term="%22Xarxes+de%22">Xarxes de</searchLink><br /><searchLink fieldCode="DE" term="%22Microprocessadors+--+Programació%22">Microprocessadors -- Programació</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: The synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks. A formal model based on Petri nets is used to synthesize the tasks. A practical application is illustrated by means of a real-life industrial example. ; Peer Reviewed ; Postprint (author's final draft)
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: article in journal/newspaper
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: 21 p.; application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: https://link.springer.com/chapter/10.1007/3-540-48068-4_7; https://hdl.handle.net/2117/133829
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1007/3-540-48068-4_7
– Name: URL
  Label: Availability
  Group: URL
  Data: https://hdl.handle.net/2117/133829<br />https://doi.org/10.1007/3-540-48068-4_7
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: Open Access
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.89F20EE5
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.89F20EE5
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/3-540-48068-4_7
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: Àrees temàtiques de la UPC::Informàtica::Sistemes operatius
        Type: general
      – SubjectFull: Petri nets
        Type: general
      – SubjectFull: Microprocessors -- Programming
        Type: general
      – SubjectFull: Sequential composition
        Type: general
      – SubjectFull: Concurrent task
        Type: general
      – SubjectFull: Independent task
        Type: general
      – SubjectFull: Source transition
        Type: general
      – SubjectFull: FIFO queue
        Type: general
      – SubjectFull: Petri
        Type: general
      – SubjectFull: Xarxes de
        Type: general
      – SubjectFull: Microprocessadors -- Programació
        Type: general
    Titles:
      – TitleFull: Quasi-static scheduling of independent tasks for reactive systems
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Cortadella, Jordi
      – PersonEntity:
          Name:
            NameFull: Kondratyev, Alex
      – PersonEntity:
          Name:
            NameFull: Lavagno, Luciano
      – PersonEntity:
          Name:
            NameFull: Passerone, Claudio
      – PersonEntity:
          Name:
            NameFull: Watanabe, Yosinori
      – PersonEntity:
          Name:
            NameFull: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
      – PersonEntity:
          Name:
            NameFull: Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2002
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
ResultId 1