Real-time Systems: Modeling, Design, And Applications

Saved in:
Bibliographic Details
Title: Real-time Systems: Modeling, Design, And Applications
Description: This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, the book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis. Other parts of the book deal with subjects related to tools and applications of these systems. A special part is dedicated to languages used for their modeling and design. The applications presented in the book reveal precious insights into practitioners'secrets.
Authors: Aurel Cornell, Dan Ionescu
Resource Type: eBook.
Subjects: Real-time data processing
Categories: COMPUTERS / Data Science / Data Modeling & Design, COMPUTERS / General
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 203876
RelevancyScore: 1012
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1011.53295898438
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$203876$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$203876$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Real-time Systems: Modeling, Design, And Applications
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, the book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis. Other parts of the book deal with subjects related to tools and applications of these systems. A special part is dedicated to languages used for their modeling and design. The applications presented in the book reveal precious insights into practitioners'secrets.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Aurel+Cornell%22">Aurel Cornell</searchLink><br /><searchLink fieldCode="AR" term="%22Dan+Ionescu%22">Dan Ionescu</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Real-time+data+processing%22">Real-time data processing</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Data+Science+%2F+Data+Modeling+%26+Design%22">COMPUTERS / Data Science / Data Modeling & Design</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+General%22">COMPUTERS / General</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=203876
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 004.33
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Real-time data processing
        Type: general
    Titles:
      – TitleFull: Real-time Systems: Modeling, Design, And Applications
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Aurel Cornell
      – PersonEntity:
          Name:
            NameFull: Dan Ionescu
      – PersonEntity:
          Name:
            NameFull: Aurel Cornell
      – PersonEntity:
          Name:
            NameFull: Dan Ionescu
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2007
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9789810244248
            – Type: isbn-electronic
              Value: 9789812708472
          Numbering:
            – Type: volume
              Value: 00008
          Titles:
            – TitleFull: Real-time Systems: Modeling, Design, And Applications
              Type: main
ResultId 1