Distributed embedded controller development with Petri Nets: application to globally-asynchronous locally-synchronous systems
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | SpringerBriefs in electrical and computer engineering
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online Ressource (xii, 79 Seiten) |
| ISBN: | 9783319208220 |
| DOI: | 10.1007/978-3-319-20822-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043211384 | ||
| 003 | DE-604 | ||
| 005 | 20160927 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319208220 |c Online |9 978-3-319-20822-0 | ||
| 024 | 7 | |a 10.1007/978-3-319-20822-0 |2 doi | |
| 035 | |a (OCoLC)930001535 | ||
| 035 | |a (DE-599)BVBBV043211384 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1043 |a DE-Aug4 |a DE-573 |a DE-859 |a DE-863 |a DE-92 |a DE-862 |a DE-898 |a DE-634 |a DE-1046 |a DE-861 |a DE-706 | ||
| 082 | 0 | |a 621.3815 |2 23 | |
| 100 | 1 | |a Moutinho, Filipe de Carvalho |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Distributed embedded controller development with Petri Nets |b application to globally-asynchronous locally-synchronous systems |c Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online Ressource (xii, 79 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a SpringerBriefs in electrical and computer engineering | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Microprocessors | |
| 650 | 4 | |a Electronics | |
| 650 | 4 | |a Microelectronics | |
| 650 | 4 | |a Electronic circuits | |
| 650 | 4 | |a Circuits and Systems | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Electronics and Microelectronics, Instrumentation | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 700 | 1 | |a Santos Gomes, Luís Filipe |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-20821-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-20822-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028634525&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028634525&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028634525 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FAW01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-20822-0 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 590462 |
|---|---|
| _version_ | 1806179636503117824 |
| adam_text | DISTRIBUTED EMBEDDED CONTROLLER DEVELOPMENT WITH PETRI NETS
/ MOUTINHO, FILIPE DE CARVALHO
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION
RELATED WORK
DEVELOPMENT OF DISTRIBUTED EMBEDDED CONTROLLERS
APPLICATION EXAMPLE
CONCLUSIONS AND FUTURE WORK
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
DISTRIBUTED EMBEDDED CONTROLLER DEVELOPMENT WITH PETRI NETS
/ MOUTINHO, FILIPE DE CARVALHO
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK DESCRIBES A MODEL-BASED DEVELOPMENT APPROACH FOR
GLOBALLY-ASYNCHRONOUS LOCALLY-SYNCHRONOUS DISTRIBUTED EMBEDDED
CONTROLLERS. THIS APPROACH USES PETRI NETS AS MODELING FORMALISM TO
CREATE PLATFORM AND NETWORK INDEPENDENT MODELS SUPPORTING THE USE OF
DESIGN AUTOMATION TOOLS. TO SUPPORT THIS DEVELOPMENT APPROACH, THE
PETRI NETS CLASS IN USE IS EXTENDED WITH TIME-DOMAINS AND
ASYNCHRONOUS-CHANNELS. THE AUTHORS’ APPROACH USES MODELS NOT ONLY
PROVIDING A BETTER UNDERSTANDING OF THE DISTRIBUTED CONTROLLER AND
IMPROVING THE COMMUNICATION AMONG THE STAKEHOLDERS, BUT ALSO TO BE READY
TO SUPPORT THE ENTIRE LIFECYCLE, INCLUDING THE SIMULATION, THE
VERIFICATION (USING MODEL-CHECKING TOOLS), THE IMPLEMENTATION (RELYING
ON AUTOMATIC CODE GENERATORS), AND THE DEPLOYMENT OF THE DISTRIBUTED
CONTROLLER INTO SPECIFIC PLATFORMS. USES A GRAPHICAL AND INTUITIVE
MODELING FORMALISM SUPPORTED BY DESIGN AUTOMATION TOOLS; ENABLES
VERIFICATION, ENSURING THAT THE DISTRIBUTED CONTROLLER WAS CORRECTLY
SPECIFIED; PROVIDES FLEXIBILITY IN THE IMPLEMENTATION AND MAINTENANCE
PHASES TO ACHIEVE DESIRED CONSTRAINTS (HIGH PERFORMANCE, LOW POWER
CONSUMPTION, REDUCED COSTS), ENABLING PORTING TO DIFFERENT PLATFORMS
USING DIFFERENT COMMUNICATION NODES, WITHOUT CHANGING THE UNDERLYING
BEHAVIORAL MODEL
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Moutinho, Filipe de Carvalho |
| author_facet | Moutinho, Filipe de Carvalho |
| author_role | aut |
| author_sort | Moutinho, Filipe de Carvalho |
| author_variant | f d c m fdc fdcm |
| building | Verbundindex |
| bvnumber | BV043211384 |
| collection | ZDB-2-ENG |
| ctrlnum | (OCoLC)930001535 (DE-599)BVBBV043211384 |
| dewey-full | 621.3815 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3815 |
| dewey-search | 621.3815 |
| dewey-sort | 3621.3815 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-3-319-20822-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03398nmm a2200637zc 4500</leader><controlfield tag="001">BV043211384</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160927 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319208220</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-20822-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-20822-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)930001535</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043211384</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="049" ind1=" " ind2=" "><subfield code="a">DE-1043</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3815</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Moutinho, Filipe de Carvalho</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Distributed embedded controller development with Petri Nets</subfield><subfield code="b">application to globally-asynchronous locally-synchronous systems</subfield><subfield code="c">Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (xii, 79 Seiten)</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="490" ind1="0" ind2=" "><subfield code="a">SpringerBriefs in electrical and computer engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprocessors</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microelectronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic circuits</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits and Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics and Microelectronics, Instrumentation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Santos Gomes, Luís Filipe</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-20821-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028634525&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028634525&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028634525</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-20822-0</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043211384 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-01T12:12:10Z |
| institution | BVB |
| isbn | 9783319208220 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028634525 |
| oclc_num | 930001535 |
| open_access_boolean | |
| owner | DE-1043 DE-Aug4 DE-573 DE-859 DE-863 DE-BY-FWS DE-92 DE-862 DE-BY-FWS DE-898 DE-BY-UBR DE-634 DE-1046 DE-861 DE-706 |
| owner_facet | DE-1043 DE-Aug4 DE-573 DE-859 DE-863 DE-BY-FWS DE-92 DE-862 DE-BY-FWS DE-898 DE-BY-UBR DE-634 DE-1046 DE-861 DE-706 |
| physical | 1 Online Ressource (xii, 79 Seiten) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series2 | SpringerBriefs in electrical and computer engineering |
| spellingShingle | Moutinho, Filipe de Carvalho Distributed embedded controller development with Petri Nets application to globally-asynchronous locally-synchronous systems Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| title | Distributed embedded controller development with Petri Nets application to globally-asynchronous locally-synchronous systems |
| title_auth | Distributed embedded controller development with Petri Nets application to globally-asynchronous locally-synchronous systems |
| title_exact_search | Distributed embedded controller development with Petri Nets application to globally-asynchronous locally-synchronous systems |
| title_full | Distributed embedded controller development with Petri Nets application to globally-asynchronous locally-synchronous systems Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes |
| title_fullStr | Distributed embedded controller development with Petri Nets application to globally-asynchronous locally-synchronous systems Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes |
| title_full_unstemmed | Distributed embedded controller development with Petri Nets application to globally-asynchronous locally-synchronous systems Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes |
| title_short | Distributed embedded controller development with Petri Nets |
| title_sort | distributed embedded controller development with petri nets application to globally asynchronous locally synchronous systems |
| title_sub | application to globally-asynchronous locally-synchronous systems |
| topic | Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| topic_facet | Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| url | https://doi.org/10.1007/978-3-319-20822-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028634525&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028634525&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT moutinhofilipedecarvalho distributedembeddedcontrollerdevelopmentwithpetrinetsapplicationtogloballyasynchronouslocallysynchronoussystems AT santosgomesluisfilipe distributedembeddedcontrollerdevelopmentwithpetrinetsapplicationtogloballyasynchronouslocallysynchronoussystems |