UML-B Specification for Proven Embedded Systems Design:
This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Boston, MA
Springer US
2004
|
| Schlagworte: | |
| Online-Zugang: | FHI01 BTU01 Volltext |
| Zusammenfassung: | This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of |
| Beschreibung: | 1 Online-Ressource (IX, 300 p. 48 illus) |
| ISBN: | 9781402028670 |
| DOI: | 10.1007/978-1-4020-2867-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045148641 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180827s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9781402028670 |9 978-1-4020-2867-0 | ||
| 024 | 7 | |a 10.1007/978-1-4020-2867-0 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-1-4020-2867-0 | ||
| 035 | |a (OCoLC)1050949331 | ||
| 035 | |a (DE-599)BVBBV045148641 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 |a DE-634 | ||
| 082 | 0 | |a 621.3 |2 23 | |
| 100 | 1 | |a Bernin, Fredrik |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a UML-B Specification for Proven Embedded Systems Design |c by Fredrik Bernin, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, Yann Zimmermann ; edited by Jean Mermet |
| 264 | 1 | |a Boston, MA |b Springer US |c 2004 | |
| 300 | |a 1 Online-Ressource (IX, 300 p. 48 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Electrical Engineering | |
| 650 | 4 | |a Complexity | |
| 650 | 4 | |a Mathematical Modeling and Industrial Mathematics | |
| 650 | 4 | |a System Performance and Evaluation | |
| 650 | 4 | |a Engineering Design | |
| 650 | 4 | |a Electronics and Microelectronics, Instrumentation | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Computer system failures | |
| 650 | 4 | |a Mathematical models | |
| 650 | 4 | |a Complexity, Computational | |
| 650 | 4 | |a Engineering design | |
| 650 | 4 | |a Electrical engineering | |
| 650 | 4 | |a Electronics | |
| 650 | 4 | |a Microelectronics | |
| 700 | 1 | |a Butler, Michael |4 aut | |
| 700 | 1 | |a Cansell, Dominique |4 aut | |
| 700 | 1 | |a Hallerstede, Stefan |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781441952561 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4020-2867-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030538340 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4020-2867-0 |l FHI01 |p ZDB-2-ENG |q ZDB-2-ENG_2000/2004 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-2867-0 |l BTU01 |p ZDB-2-ENG |q ZDB-2-ENG_Archiv |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178818965962752 |
|---|---|
| any_adam_object | |
| author | Bernin, Fredrik Butler, Michael Cansell, Dominique Hallerstede, Stefan |
| author_facet | Bernin, Fredrik Butler, Michael Cansell, Dominique Hallerstede, Stefan |
| author_role | aut aut aut aut |
| author_sort | Bernin, Fredrik |
| author_variant | f b fb m b mb d c dc s h sh |
| building | Verbundindex |
| bvnumber | BV045148641 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-1-4020-2867-0 (OCoLC)1050949331 (DE-599)BVBBV045148641 |
| dewey-full | 621.3 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3 |
| dewey-search | 621.3 |
| dewey-sort | 3621.3 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-1-4020-2867-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03937nmm a2200589zc 4500</leader><controlfield tag="001">BV045148641</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180827s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402028670</subfield><subfield code="9">978-1-4020-2867-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4020-2867-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-1-4020-2867-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1050949331</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045148641</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-573</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bernin, Fredrik</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">UML-B Specification for Proven Embedded Systems Design</subfield><subfield code="c">by Fredrik Bernin, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, Yann Zimmermann ; edited by Jean Mermet</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston, MA</subfield><subfield code="b">Springer US</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 300 p. 48 illus)</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">This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Modeling and Industrial Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System Performance and Evaluation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering Design</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">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer system failures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity, Computational</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical engineering</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="700" ind1="1" ind2=" "><subfield code="a">Butler, Michael</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cansell, Dominique</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hallerstede, Stefan</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">9781441952561</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4020-2867-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</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_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030538340</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-2867-0</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_2000/2004</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-1-4020-2867-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045148641 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:10:01Z |
| institution | BVB |
| isbn | 9781402028670 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030538340 |
| oclc_num | 1050949331 |
| open_access_boolean | |
| owner | DE-573 DE-634 |
| owner_facet | DE-573 DE-634 |
| physical | 1 Online-Ressource (IX, 300 p. 48 illus) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_Archiv |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer US |
| record_format | marc |
| spelling | Bernin, Fredrik Verfasser aut UML-B Specification for Proven Embedded Systems Design by Fredrik Bernin, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, Yann Zimmermann ; edited by Jean Mermet Boston, MA Springer US 2004 1 Online-Ressource (IX, 300 p. 48 illus) txt rdacontent c rdamedia cr rdacarrier This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of Engineering Electrical Engineering Complexity Mathematical Modeling and Industrial Mathematics System Performance and Evaluation Engineering Design Electronics and Microelectronics, Instrumentation Computer system failures Mathematical models Complexity, Computational Engineering design Electrical engineering Electronics Microelectronics Butler, Michael aut Cansell, Dominique aut Hallerstede, Stefan aut Erscheint auch als Druck-Ausgabe 9781441952561 https://doi.org/10.1007/978-1-4020-2867-0 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Bernin, Fredrik Butler, Michael Cansell, Dominique Hallerstede, Stefan UML-B Specification for Proven Embedded Systems Design Engineering Electrical Engineering Complexity Mathematical Modeling and Industrial Mathematics System Performance and Evaluation Engineering Design Electronics and Microelectronics, Instrumentation Computer system failures Mathematical models Complexity, Computational Engineering design Electrical engineering Electronics Microelectronics |
| title | UML-B Specification for Proven Embedded Systems Design |
| title_auth | UML-B Specification for Proven Embedded Systems Design |
| title_exact_search | UML-B Specification for Proven Embedded Systems Design |
| title_full | UML-B Specification for Proven Embedded Systems Design by Fredrik Bernin, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, Yann Zimmermann ; edited by Jean Mermet |
| title_fullStr | UML-B Specification for Proven Embedded Systems Design by Fredrik Bernin, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, Yann Zimmermann ; edited by Jean Mermet |
| title_full_unstemmed | UML-B Specification for Proven Embedded Systems Design by Fredrik Bernin, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, Yann Zimmermann ; edited by Jean Mermet |
| title_short | UML-B Specification for Proven Embedded Systems Design |
| title_sort | uml b specification for proven embedded systems design |
| topic | Engineering Electrical Engineering Complexity Mathematical Modeling and Industrial Mathematics System Performance and Evaluation Engineering Design Electronics and Microelectronics, Instrumentation Computer system failures Mathematical models Complexity, Computational Engineering design Electrical engineering Electronics Microelectronics |
| topic_facet | Engineering Electrical Engineering Complexity Mathematical Modeling and Industrial Mathematics System Performance and Evaluation Engineering Design Electronics and Microelectronics, Instrumentation Computer system failures Mathematical models Complexity, Computational Engineering design Electrical engineering Electronics Microelectronics |
| url | https://doi.org/10.1007/978-1-4020-2867-0 |
| work_keys_str_mv | AT berninfredrik umlbspecificationforprovenembeddedsystemsdesign AT butlermichael umlbspecificationforprovenembeddedsystemsdesign AT canselldominique umlbspecificationforprovenembeddedsystemsdesign AT hallerstedestefan umlbspecificationforprovenembeddedsystemsdesign |