View in EDS PDF Full Text

Modeling Embedded Systems and SoC's : Concurrency and Time in Models of Computation

Saved in:
Bibliographic Details
Title: Modeling Embedded Systems and SoC's : Concurrency and Time in Models of Computation
Description: Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level design is a critical component in the search for methods to develop designs more productively. However, there are a number of challenges that must be overcome in order to implement system level modeling. This book directly addresses that need by developing organizing principles for understanding, assessing, and comparing the different models of computation necessary for system level modeling. Dr. Axel Jantsch identifies the representation of time as the essential feature for distinguishing these models. After developing this conceptual framework, he presents a single formalism for representing very different models, allowing them to be easily compared. As a result, designers, students, and researchers are able to identify the role and the features of the'right'model of computation for the task at hand. - Offers a unique and significant contribution to the emerging field of models of computation - Presents a systematic way of understanding and applying different Models of Computation to embedded systems and SoC design - Offers insights and illustrative examples for practioners, researchers and students of complex electronic systems design
Authors: Axel Jantsch
Resource Type: eBook.
Subjects: Timing circuits--Design and construction--Data processing, Systems on a chip--Design and construction--Data processing, Embedded computer systems--Design and construction--Data processing, Computer multitasking
Categories: COMPUTERS / Hardware / Chips & Processors, COMPUTERS / Data Science / Data Modeling & Design
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 204206
RelevancyScore: 992
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 991.891296386719
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$204206$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$204206$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Modeling Embedded Systems and SoC's : Concurrency and Time in Models of Computation
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level design is a critical component in the search for methods to develop designs more productively. However, there are a number of challenges that must be overcome in order to implement system level modeling. This book directly addresses that need by developing organizing principles for understanding, assessing, and comparing the different models of computation necessary for system level modeling. Dr. Axel Jantsch identifies the representation of time as the essential feature for distinguishing these models. After developing this conceptual framework, he presents a single formalism for representing very different models, allowing them to be easily compared. As a result, designers, students, and researchers are able to identify the role and the features of the'right'model of computation for the task at hand. - Offers a unique and significant contribution to the emerging field of models of computation - Presents a systematic way of understanding and applying different Models of Computation to embedded systems and SoC design - Offers insights and illustrative examples for practioners, researchers and students of complex electronic systems design
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Axel+Jantsch%22">Axel Jantsch</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Timing+circuits--Design+and+construction--Data+processing%22">Timing circuits--Design and construction--Data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+on+a+chip--Design+and+construction--Data+processing%22">Systems on a chip--Design and construction--Data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Embedded+computer+systems--Design+and+construction--Data+processing%22">Embedded computer systems--Design and construction--Data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+multitasking%22">Computer multitasking</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Hardware+%2F+Chips+%26+Processors%22">COMPUTERS / Hardware / Chips & Processors</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Data+Science+%2F+Data+Modeling+%26+Design%22">COMPUTERS / Data Science / Data Modeling & Design</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=204206
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 004.16
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Timing circuits--Design and construction--Data processing
        Type: general
      – SubjectFull: Systems on a chip--Design and construction--Data processing
        Type: general
      – SubjectFull: Embedded computer systems--Design and construction--Data processing
        Type: general
      – SubjectFull: Computer multitasking
        Type: general
    Titles:
      – TitleFull: Modeling Embedded Systems and SoC's : Concurrency and Time in Models of Computation
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Axel Jantsch
      – PersonEntity:
          Name:
            NameFull: Axel Jantsch
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2004
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9781558609259
            – Type: isbn-electronic
              Value: 9780080511825
          Titles:
            – TitleFull: Modeling Embedded Systems and SoC's : Concurrency and Time in Models of Computation
              Type: main
ResultId 1