Zobrazit v EDS

ORK: reliable software technology for real-time systems ; ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real

Uloženo v:
Podrobná bibliografie
Název: ORK: reliable software technology for real-time systems ; ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real
Autoři: de la Puente, Juan Antonio, Zamorano, Juan
Zdroj: Revista Iberoamericana de Automática e Informática industrial; Vol. 3 No. 2 (2006); 19-27 ; Revista Iberoamericana de Automática e Informática industrial; Vol. 3 Núm. 2 (2006); 19-27 ; 1697-7920 ; 1697-7912
Informace o vydavateli: Universitat Politècnica de València
Rok vydání: 2010
Sbírka: Universitat Politècnica de València: PoliPapers
Témata: Real-time systems, computer controlled systems, safety, critical systems, high-integrity systems, Sistemas de tiempo real, sistemas de control por computador, seguridad, sistemas críticos, sistemas de alta integridad
Popis: Control systems with strict reliability and safety requirements must have a predictable temporal behavior, enabling designers to ensure that real-time requirements are guaranteed in all cases. The paper describes an execution platform for this kind of systems based on ORK, the Open Ravenscar real-time Kernel. ORK is aimed at developing high-integrity real-time systems using a safe subset of the Ada programming language. ; Los sistemas de control con requisitos de fiabilidad y seguridad estrictos deben tener un comportamiento temporal previsible que permita asegurar que los requisitos de tiempo real están garantizados en todos los casos. En el artículo se describe una plataforma de ejecución para este tipo de sistemas basada en el núcleo ORK (Open Ravenscar realtime Kernel), orientado a la realización de sistemas de tiempo real de alta integridad utilizando un subconjunto seguro del lenguaje de programación Ada.
Druh dokumentu: article in journal/newspaper
Popis souboru: application/pdf
Jazyk: Spanish; Castilian
Relation: http://polipapers.upv.es/index.php/RIAI/article/view/8123/8266; http://polipapers.upv.es/index.php/RIAI/article/view/8123
Dostupnost: http://polipapers.upv.es/index.php/RIAI/article/view/8123
Rights: Derechos de autor 2017 RIAII
Přístupové číslo: edsbas.A08DFD32
Databáze: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://polipapers.upv.es/index.php/RIAI/article/view/8123#
    Name: EDS - BASE (s4221598)
    Category: fullText
    Text: View record from BASE
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=de%20la%20Puente%20JA
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsbas
DbLabel: BASE
An: edsbas.A08DFD32
RelevancyScore: 841
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 841.324340820313
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: ORK: reliable software technology for real-time systems ; ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22de+la+Puente%2C+Juan+Antonio%22">de la Puente, Juan Antonio</searchLink><br /><searchLink fieldCode="AR" term="%22Zamorano%2C+Juan%22">Zamorano, Juan</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Revista Iberoamericana de Automática e Informática industrial; Vol. 3 No. 2 (2006); 19-27 ; Revista Iberoamericana de Automática e Informática industrial; Vol. 3 Núm. 2 (2006); 19-27 ; 1697-7920 ; 1697-7912
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Universitat Politècnica de València
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2010
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: Universitat Politècnica de València: PoliPapers
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Real-time+systems%22">Real-time systems</searchLink><br /><searchLink fieldCode="DE" term="%22computer+controlled+systems%22">computer controlled systems</searchLink><br /><searchLink fieldCode="DE" term="%22safety%22">safety</searchLink><br /><searchLink fieldCode="DE" term="%22critical+systems%22">critical systems</searchLink><br /><searchLink fieldCode="DE" term="%22high-integrity+systems%22">high-integrity systems</searchLink><br /><searchLink fieldCode="DE" term="%22Sistemas+de+tiempo+real%22">Sistemas de tiempo real</searchLink><br /><searchLink fieldCode="DE" term="%22sistemas+de+control+por+computador%22">sistemas de control por computador</searchLink><br /><searchLink fieldCode="DE" term="%22seguridad%22">seguridad</searchLink><br /><searchLink fieldCode="DE" term="%22sistemas+críticos%22">sistemas críticos</searchLink><br /><searchLink fieldCode="DE" term="%22sistemas+de+alta+integridad%22">sistemas de alta integridad</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Control systems with strict reliability and safety requirements must have a predictable temporal behavior, enabling designers to ensure that real-time requirements are guaranteed in all cases. The paper describes an execution platform for this kind of systems based on ORK, the Open Ravenscar real-time Kernel. ORK is aimed at developing high-integrity real-time systems using a safe subset of the Ada programming language. ; Los sistemas de control con requisitos de fiabilidad y seguridad estrictos deben tener un comportamiento temporal previsible que permita asegurar que los requisitos de tiempo real están garantizados en todos los casos. En el artículo se describe una plataforma de ejecución para este tipo de sistemas basada en el núcleo ORK (Open Ravenscar realtime Kernel), orientado a la realización de sistemas de tiempo real de alta integridad utilizando un subconjunto seguro del lenguaje de programación Ada.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: article in journal/newspaper
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: Spanish; Castilian
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: http://polipapers.upv.es/index.php/RIAI/article/view/8123/8266; http://polipapers.upv.es/index.php/RIAI/article/view/8123
– Name: URL
  Label: Availability
  Group: URL
  Data: http://polipapers.upv.es/index.php/RIAI/article/view/8123
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: Derechos de autor 2017 RIAII
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.A08DFD32
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.A08DFD32
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: Spanish; Castilian
    Subjects:
      – SubjectFull: Real-time systems
        Type: general
      – SubjectFull: computer controlled systems
        Type: general
      – SubjectFull: safety
        Type: general
      – SubjectFull: critical systems
        Type: general
      – SubjectFull: high-integrity systems
        Type: general
      – SubjectFull: Sistemas de tiempo real
        Type: general
      – SubjectFull: sistemas de control por computador
        Type: general
      – SubjectFull: seguridad
        Type: general
      – SubjectFull: sistemas críticos
        Type: general
      – SubjectFull: sistemas de alta integridad
        Type: general
    Titles:
      – TitleFull: ORK: reliable software technology for real-time systems ; ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: de la Puente, Juan Antonio
      – PersonEntity:
          Name:
            NameFull: Zamorano, Juan
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2010
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
          Titles:
            – TitleFull: Revista Iberoamericana de Automática e Informática industrial; Vol. 3 No. 2 (2006); 19-27 ; Revista Iberoamericana de Automática e Informática industrial; Vol. 3 Núm. 2 (2006); 19-27
              Type: main
ResultId 1