Real-time Systems: Modeling, Design, And Applications
Saved in:
| 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 |