Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems:
system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components o...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer US
2000
|
| Ausgabe: | 1st ed. 2000 |
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge neous and contain almost always programmable components |
| Beschreibung: | 1 Online-Ressource (XV, 438 p) |
| ISBN: | 9781461544371 |
| DOI: | 10.1007/978-1-4615-4437-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064312 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461544371 |9 978-1-4615-4437-1 | ||
| 024 | 7 | |a 10.1007/978-1-4615-4437-1 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4615-4437-1 | ||
| 035 | |a (OCoLC)1227480118 | ||
| 035 | |a (DE-599)BVBBV047064312 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 620.00420285 |2 23 | |
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 084 | |a ST 170 |0 (DE-625)143602: |2 rvk | ||
| 100 | 1 | |a Thoen, Filip |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems |c by Filip Thoen, Francky Catthoor |
| 250 | |a 1st ed. 2000 | ||
| 264 | 1 | |a New York, NY |b Springer US |c 2000 | |
| 300 | |a 1 Online-Ressource (XV, 438 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge neous and contain almost always programmable components | ||
| 650 | 4 | |a Computer-Aided Engineering (CAD, CAE) and Design | |
| 650 | 4 | |a Special Purpose and Application-Based Systems | |
| 650 | 4 | |a Electrical Engineering | |
| 650 | 4 | |a Computer-aided engineering | |
| 650 | 4 | |a Special purpose computers | |
| 650 | 4 | |a Electrical engineering | |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Catthoor, Francky |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780792377375 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461369981 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461544388 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4615-4437-1 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471424 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4615-4437-1 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182062171684864 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Thoen, Filip Catthoor, Francky |
| author_facet | Thoen, Filip Catthoor, Francky |
| author_role | aut aut |
| author_sort | Thoen, Filip |
| author_variant | f t ft f c fc |
| building | Verbundindex |
| bvnumber | BV047064312 |
| classification_rvk | ST 153 ST 170 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4615-4437-1 (OCoLC)1227480118 (DE-599)BVBBV047064312 |
| dewey-full | 620.00420285 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620.00420285 |
| dewey-search | 620.00420285 |
| dewey-sort | 3620.00420285 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-1-4615-4437-1 |
| edition | 1st ed. 2000 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03603nmm a2200565zc 4500</leader><controlfield tag="001">BV047064312</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461544371</subfield><subfield code="9">978-1-4615-4437-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4615-4437-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4615-4437-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227480118</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064312</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620.00420285</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="084" ind1=" " ind2=" "><subfield code="a">ST 170</subfield><subfield code="0">(DE-625)143602:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Thoen, Filip</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems</subfield><subfield code="c">by Filip Thoen, Francky Catthoor</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer US</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 438 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge neous and contain almost always programmable components</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-Aided Engineering (CAD, CAE) and Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special purpose computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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">Catthoor, Francky</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780792377375</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781461369981</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781461544388</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4615-4437-1</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471424</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4615-4437-1</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064312 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:22Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9781461544371 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471424 |
| oclc_num | 1227480118 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XV, 438 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer US |
| record_format | marc |
| spelling | Thoen, Filip Verfasser aut Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems by Filip Thoen, Francky Catthoor 1st ed. 2000 New York, NY Springer US 2000 1 Online-Ressource (XV, 438 p) txt rdacontent c rdamedia cr rdacarrier system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge neous and contain almost always programmable components Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Electrical Engineering Computer-aided engineering Special purpose computers Electrical engineering Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 s Eingebettetes System (DE-588)4396978-1 s DE-604 Catthoor, Francky aut Erscheint auch als Druck-Ausgabe 9780792377375 Erscheint auch als Druck-Ausgabe 9781461369981 Erscheint auch als Druck-Ausgabe 9781461544388 https://doi.org/10.1007/978-1-4615-4437-1 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Thoen, Filip Catthoor, Francky Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Electrical Engineering Computer-aided engineering Special purpose computers Electrical engineering Echtzeitsystem (DE-588)4131397-5 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4131397-5 (DE-588)4396978-1 |
| title | Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems |
| title_auth | Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems |
| title_exact_search | Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems |
| title_exact_search_txtP | Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems |
| title_full | Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems by Filip Thoen, Francky Catthoor |
| title_fullStr | Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems by Filip Thoen, Francky Catthoor |
| title_full_unstemmed | Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems by Filip Thoen, Francky Catthoor |
| title_short | Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems |
| title_sort | modeling verification and exploration of task level concurrency in real time embedded systems |
| topic | Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Electrical Engineering Computer-aided engineering Special purpose computers Electrical engineering Echtzeitsystem (DE-588)4131397-5 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Electrical Engineering Computer-aided engineering Special purpose computers Electrical engineering Echtzeitsystem Eingebettetes System |
| url | https://doi.org/10.1007/978-1-4615-4437-1 |
| work_keys_str_mv | AT thoenfilip modelingverificationandexplorationoftasklevelconcurrencyinrealtimeembeddedsystems AT catthoorfrancky modelingverificationandexplorationoftasklevelconcurrencyinrealtimeembeddedsystems |