View in EDS PDF Full Text

DEVICE DRIVER SYNTHESIS.

Saved in:
Bibliographic Details
Title: DEVICE DRIVER SYNTHESIS.
Authors: Vij, Mona1, Keys, John1, Raghunath, Arun1, Hahn, Scott1, Zimmer, Vincent2, Ryzhyk, Leonid3, Walker, Adam4, Legg, Alexander4
Source: Intel Technology Journal. 2013, Vol. 17 Issue 2, p136-157. 22p.
Subjects: Device drivers (Computer programs), Computer software, Systems software, Systems development, Systems engineering, Computer operating systems
Abstract: The article discusses the implementation of Automatic Device Driver Synthesis, a research collaboration project which aims to synthesize device drivers automatically with the use of formal operating system (OS) and device specifications. It mentions the development of a tool chain that uses Simics Device Modeling Language (DML) model. An overview about device driver is provided.
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 95705319
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: DEVICE DRIVER SYNTHESIS.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Vij%2C+Mona%22">Vij, Mona</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Keys%2C+John%22">Keys, John</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Raghunath%2C+Arun%22">Raghunath, Arun</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Hahn%2C+Scott%22">Hahn, Scott</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Zimmer%2C+Vincent%22">Zimmer, Vincent</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Ryzhyk%2C+Leonid%22">Ryzhyk, Leonid</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Walker%2C+Adam%22">Walker, Adam</searchLink><relatesTo>4</relatesTo><br /><searchLink fieldCode="AR" term="%22Legg%2C+Alexander%22">Legg, Alexander</searchLink><relatesTo>4</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Intel+Technology+Journal%22">Intel Technology Journal</searchLink>. 2013, Vol. 17 Issue 2, p136-157. 22p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Device+drivers+%28Computer+programs%29%22">Device drivers (Computer programs)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+software%22">Systems software</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+development%22">Systems development</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+engineering%22">Systems engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+operating+systems%22">Computer operating systems</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The article discusses the implementation of Automatic Device Driver Synthesis, a research collaboration project which aims to synthesize device drivers automatically with the use of formal operating system (OS) and device specifications. It mentions the development of a tool chain that uses Simics Device Modeling Language (DML) model. An overview about device driver is provided.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=95705319
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 22
        StartPage: 136
    Subjects:
      – SubjectFull: Device drivers (Computer programs)
        Type: general
      – SubjectFull: Computer software
        Type: general
      – SubjectFull: Systems software
        Type: general
      – SubjectFull: Systems development
        Type: general
      – SubjectFull: Systems engineering
        Type: general
      – SubjectFull: Computer operating systems
        Type: general
    Titles:
      – TitleFull: DEVICE DRIVER SYNTHESIS.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Vij, Mona
      – PersonEntity:
          Name:
            NameFull: Keys, John
      – PersonEntity:
          Name:
            NameFull: Raghunath, Arun
      – PersonEntity:
          Name:
            NameFull: Hahn, Scott
      – PersonEntity:
          Name:
            NameFull: Zimmer, Vincent
      – PersonEntity:
          Name:
            NameFull: Ryzhyk, Leonid
      – PersonEntity:
          Name:
            NameFull: Walker, Adam
      – PersonEntity:
          Name:
            NameFull: Legg, Alexander
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 05
              Text: 2013
              Type: published
              Y: 2013
          Identifiers:
            – Type: issn-print
              Value: 1535864X
          Numbering:
            – Type: volume
              Value: 17
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Intel Technology Journal
              Type: main
ResultId 1