Introduction to embedded systems: a cyber-physical systems approach
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Massachuetts
MIT Press
[2017]
|
| Edition: | Second edition |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references (pages 499-514) and index |
| Physical Description: | xxii, 537 Seiten 24 cm |
| ISBN: | 9780262533812 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044331037 | ||
| 003 | DE-604 | ||
| 005 | 20200505 | ||
| 007 | t | ||
| 008 | 170530s2017 xxu |||| 00||| eng d | ||
| 010 | |a 016039490 | ||
| 020 | |a 9780262533812 |9 978-0-262-53381-2 | ||
| 035 | |a (OCoLC)962379260 | ||
| 035 | |a (DE-599)BVBBV044331037 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-739 |a DE-706 |a DE-473 |a DE-384 |a DE-523 | ||
| 050 | 0 | |a TK7895.E42 | |
| 082 | 0 | |a 006.2/2 |2 23 | |
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 100 | 1 | |a Lee, Edward A. |d 1957- |0 (DE-588)1055748504 |4 aut | |
| 245 | 1 | 0 | |a Introduction to embedded systems |b a cyber-physical systems approach |c Edward A. Lee and Sanjit Arunkumar Seshia |
| 250 | |a Second edition | ||
| 264 | 1 | |a Cambridge, Massachuetts |b MIT Press |c [2017] | |
| 300 | |a xxii, 537 Seiten |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 499-514) and index | ||
| 650 | 4 | |a Embedded computer systems | |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Seshia, Sanjit Arunkumar |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029734282&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029734282 | ||
Record in the Search Index
| _version_ | 1804177556373504000 |
|---|---|
| adam_text | Contents
Preface.........................................................xiii
1 Introduction 1
1.1 Applications................................................. 2
1.2 Motivating Example .......................................... 6
1.3 The Design Process........................................... 8
1.4 Summary..................................................... 15
1 Modeling Dynamic Behaviors 17
2 Continuous Dynamics 19
2.1 Newtonian Mechanics......................................... 20
2.2 Actor Models................................................ 25
2.3 Properties of Systems....................................... 28
2.4 Feedback Control............................................ 31
2.5 Summary..................................................... 37
Exercises ..................................................... 37
CONTENTS
3 Discrete Dynamics 41
3.1 Discrete Systems................................................... 42
3.2 The Notion of State................................................ 46
3.3 Finite-State Machines.............................................. 47
3.4 Extended State Machines............................................ 56
3.5 Nondeterminism .................................................... 62
3.6 Behaviors and Traces............................................... 66
3.7 Summary............................................................ 69
Exercises .............................................................. 70
4 Hybrid Systems 75
4.1 Modal Models....................................................... 76
4.2 Classes of Hybrid Systems.......................................... 80
4.3 Summary............................................................ 95
Exercises .............................................................. 96
5 Composition of State Machines 103
5.1 Concurrent Composition.............................................105
5.2 Hierarchical State Machines........................................119
5.3 Summary............................................................123
Exercises ..............................................................124
6 Concurrent Models of Computation 129
6.1 Structure of Models................................................130
6.2 Synchronous-Reactive Models........................................132
6.3 Dataflow Models of Computation.....................................142
6.4 Timed Models of Computation........................................154
6.5 Summary............................................................163
Exercises ..............................................................163
Vili
CONTENTS
II Design of Embedded Systems 169
7 Sensors and Actuators 171
7.1 Models of Sensors and Actuators....................................173
7.2 Common Sensors.....................................................186
7.3 Actuators..........................................................191
7.4 Summary............................................................196
Exercises ..............................................................197
8 Embedded Processors 201
8.1 Types of Processors................................................202
8.2 Parallelism .......................................................212
8.3 Summary............................................................227
Exercises ..............................................................227
9 Memory Architectures 229
9.1 Memory Technologies ...............................................230
9.2 Memory Hierarchy...................................................232
9.3 Memory Models......................................................240
9.4 Summary........................................................... 245
Exercises ..............................................................245
10 Input and Output 249
10.1 I/O Hardware.......................................................250
10.2 Sequential Software in a Concurrent World .........................261
10.3 Summary............................................................271
Exercises ..........:..................................................272
11 Multitasking 279
11.1 Imperative Programs................................................282
11.2 Threads............................................................286
ix
CONTENTS
11.3 Processes and Message Passing.........................................298
11.4 Summary...............................................................303
Exercises .................................................................304
12 Scheduling 309
12.1 Basics of Scheduling..................................................310
12.2 Rate Monotonie Scheduling ............................................316
12.3 Earliest Deadline First ..............................................320
12.4 Scheduling and Mutual Exclusion.......................................325
12.5 Multiprocessor Scheduling.............................................329
12.6 Summary...............................................................335
Exercises .................................................................335
III Analysis and Verification 341
13 Invariants and Temporal Logic 343
13.1 Invariants............................................................344
13.2 Linear Temporal Logic.................................................346
13.3 Summary...............................................................354
Exercises .................................................................356
14 Equivalence and Refinement 359
14.1 Models as Specifications..............................................360
14.2 Type Equivalence and Refinement.......................................361
14.3 Language Equivalence and Containment..................................364
14.4 Simulation............................................................370
14.5 Bisimulation..........................................................377
14.6 Summary...............................................................379
Exercises .................................................................380
x
CONTENTS
15 Reachability Analysis and Model Checking 385
15.1 Open and Closed Systems .............................................386
15.2 Reachability Analysis................................................387
15.3 Abstraction in Model Checking........................................394
15.4 Model Checking Liveness Properties...................................397
15.5 Summary..............................................................403
Exercises ................................................................405
16 Quantitative Analysis 407
16.1 Problems of Interest.................................................408
16.2 Programs as Graphs...................................................410
16.3 Factors Determining Execution Time...................................415
16.4 Basics of Execution Time Analysis....................................421
16.5 Other Quantitative Analysis Problems.................................431
16.6 Summary..............................................................432
Exercises ................................................................433
17 Security and Privacy 437
17.1 Cryptographic Primitives.............................................439
17.2 Protocol and Network Security........................................446
17.3 Software Security....................................................451
17.4 Information Flow.....................................................454
17.5 Advanced Topics......................................................462
17.6 Summary..............................................................467
Exercises ................................................................467
xi
|
| any_adam_object | 1 |
| author | Lee, Edward A. 1957- Seshia, Sanjit Arunkumar |
| author_GND | (DE-588)1055748504 |
| author_facet | Lee, Edward A. 1957- Seshia, Sanjit Arunkumar |
| author_role | aut aut |
| author_sort | Lee, Edward A. 1957- |
| author_variant | e a l ea eal s a s sa sas |
| building | Verbundindex |
| bvnumber | BV044331037 |
| callnumber-first | T - Technology |
| callnumber-label | TK7895 |
| callnumber-raw | TK7895.E42 |
| callnumber-search | TK7895.E42 |
| callnumber-sort | TK 47895 E42 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 153 |
| ctrlnum | (OCoLC)962379260 (DE-599)BVBBV044331037 |
| dewey-full | 006.2/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.2/2 |
| dewey-search | 006.2/2 |
| dewey-sort | 16.2 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | Second edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01607nam a2200409 c 4500</leader><controlfield tag="001">BV044331037</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200505 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170530s2017 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">016039490</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262533812</subfield><subfield code="9">978-0-262-53381-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)962379260</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044331037</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7895.E42</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.2/2</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lee, Edward A.</subfield><subfield code="d">1957-</subfield><subfield code="0">(DE-588)1055748504</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to embedded systems</subfield><subfield code="b">a cyber-physical systems approach</subfield><subfield code="c">Edward A. Lee and Sanjit Arunkumar Seshia</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Massachuetts</subfield><subfield code="b">MIT Press</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxii, 537 Seiten</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 499-514) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seshia, Sanjit Arunkumar</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029734282&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029734282</subfield></datafield></record></collection> |
| id | DE-604.BV044331037 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:49:57Z |
| institution | BVB |
| isbn | 9780262533812 |
| language | English |
| lccn | 016039490 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029734282 |
| oclc_num | 962379260 |
| open_access_boolean | |
| owner | DE-739 DE-706 DE-473 DE-BY-UBG DE-384 DE-523 |
| owner_facet | DE-739 DE-706 DE-473 DE-BY-UBG DE-384 DE-523 |
| physical | xxii, 537 Seiten 24 cm |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Lee, Edward A. 1957- (DE-588)1055748504 aut Introduction to embedded systems a cyber-physical systems approach Edward A. Lee and Sanjit Arunkumar Seshia Second edition Cambridge, Massachuetts MIT Press [2017] xxii, 537 Seiten 24 cm txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (pages 499-514) and index Embedded computer systems Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 s DE-604 Seshia, Sanjit Arunkumar aut Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029734282&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lee, Edward A. 1957- Seshia, Sanjit Arunkumar Introduction to embedded systems a cyber-physical systems approach Embedded computer systems Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4396978-1 |
| title | Introduction to embedded systems a cyber-physical systems approach |
| title_auth | Introduction to embedded systems a cyber-physical systems approach |
| title_exact_search | Introduction to embedded systems a cyber-physical systems approach |
| title_full | Introduction to embedded systems a cyber-physical systems approach Edward A. Lee and Sanjit Arunkumar Seshia |
| title_fullStr | Introduction to embedded systems a cyber-physical systems approach Edward A. Lee and Sanjit Arunkumar Seshia |
| title_full_unstemmed | Introduction to embedded systems a cyber-physical systems approach Edward A. Lee and Sanjit Arunkumar Seshia |
| title_short | Introduction to embedded systems |
| title_sort | introduction to embedded systems a cyber physical systems approach |
| title_sub | a cyber-physical systems approach |
| topic | Embedded computer systems Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Embedded computer systems Eingebettetes System |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029734282&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT leeedwarda introductiontoembeddedsystemsacyberphysicalsystemsapproach AT seshiasanjitarunkumar introductiontoembeddedsystemsacyberphysicalsystemsapproach |