Software engineering eingebetteter Systeme: Grundlagen, Methodik, Anwendungen
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Heidelberg
Elsevier Spektrum Akademischer Verlag
2005
|
| Ausgabe: | 1. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV, 585 S. Ill., graph. Darst. |
| ISBN: | 3827415330 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV019423131 | ||
| 003 | DE-604 | ||
| 005 | 20070302 | ||
| 007 | t | ||
| 008 | 041014s2005 gw ad|| |||| 00||| ger d | ||
| 015 | |a 04,N28,0027 |2 dnb | ||
| 020 | |a 3827415330 |c Gb. : ca. EUR 70.00, ca. CHF 112.00 |9 3-8274-1533-0 | ||
| 024 | 3 | |a 9783827415332 | |
| 035 | |a (OCoLC)76560523 | ||
| 035 | |a (DE-599)BVBBV019423131 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BW | ||
| 049 | |a DE-739 |a DE-91G |a DE-860 |a DE-29T |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-573 |a DE-12 |a DE-91 |a DE-898 |a DE-1046 |a DE-858 |a DE-1049 |a DE-355 |a DE-863 |a DE-M347 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-B768 | ||
| 082 | 0 | |a 004 | |
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 263f |2 stub | ||
| 245 | 1 | 0 | |a Software engineering eingebetteter Systeme |b Grundlagen, Methodik, Anwendungen |c Peter Liggesmeyer ... (Hrsg.) |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Heidelberg |b Elsevier Spektrum Akademischer Verlag |c 2005 | |
| 300 | |a XV, 585 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Liggesmeyer, Peter |d 1963- |e Sonstige |0 (DE-588)112090362 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012884738&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| DE-BY-863_location | 1911 1340 |
|---|---|
| DE-BY-FWS_call_number | 1911/2015:0041 1340/ST 153 L723st |
| DE-BY-FWS_katkey | 266587 |
| DE-BY-FWS_media_number | 083100950351 083101250607 |
| _version_ | 1824553559176249344 |
| adam_text |
Inhaltsverzeichnis
Vorwort.
Verzeichnis der Autoren .
1 Einleitung und Überblick. 1
1.1 Die Bedeutung von Software für technische Systeme. 2
1.2 Situationsanalyse des Software Engineerings. 3
1.3 Software Engineering für eingebettete Systeme. 8
1.4 Konsequenzen für die Inhalte dieses Buches. 9
2 Entwicklungsprozesse für eingebettete Software. 13
2.1 Motivation. 14
2.2 Definitionen und Konzepte. 15
2.3 Besonderheiten von Entwicklungsprozessen für eingebette¬
te Software . 25
2.4 Etablierung domänenspezifischer Prozessmodelle. 31
2.5 Zusammenfassung und Ausblick. 36
3 Standards für die Entwicklung und Prüfung. 39
3.1 Einleitung. 40
3.2 Von Standards zu Software-Standards. 41
3.3 Normen für die Softwareentwicklung. 43
3.4 Allgemeine Prozessnormen. 43
3.5 Die Norm IEC 61508 . 45
3.6 Die Normen Cenelec
3.7 Zusammenfassung . 52
3.8 Definitionen. 53
4 Zulassung sicherheitsrelevanter softwareintensiver Systeme. 55
4.1 Einleitung. 56
4.2 Was ist Zulassung? . 56
4.3 Beteiligte . 57
4.4 Zulassung erreichen. 62
5 Rechtliche Aspekte eingebetteter Software. 69
5.1 Urheber- und Patentrecht. 70
5.2 Vertragsrecht. 80
5.3 Haftung. 85
5-4 Fazit. 97
6
6.1 Einführung.102
6.2 RE-Crundlagen.103
6.3 Ein Rahmenwerk für das
6.4 Beherrschung der Komplexität eingebetteter Systeme.
6.5 Drei Arten von Anforderungsmodellen.II7
VII
6.6 Die SEGOS-RE-Methode.124
6.7 Anwendungsbeispiel: Digitale
6.8 Zusammenfassung und Ausblick.135
7 Software- und Systemarchitektur.141
7.1 Definitionen und Abgrenzung.142
7.2 Architekturmodelle für eingebettete Systeme.150
7.3 Musterarchitekturen und
tete Systeme.159
7.4 Architekturpatterns und Frameworks.170
7.5 Architekturbasierte Konstruktion ES.173
8 Programmierung eingebetteter Software.179
8.1 Einleitung und Motivation .180
8.2 Programmierung eingebetteter Software in
8.3 Programmierung eingebetteter Software in Ada.186
8.4 Java und eingebettete Systeme.190
8.5 Microsoft
8.6 Einsatz: Applikation
8.7 Zusammenfassung und Schlussfolgerungen.202
9 Prüfung eingebetteter Software.205
9.1 Motivation.206
9.2 Der Stand der Technik in der „konventionellen" Software¬
prüfung .208
9.3 Prüfung eingebetteter Software: Situationsanalyse.213
9.4 Systematisches dynamisches Testen eingebetteter Software .214
9-5 Zusammenfassung und Schlussfolgerungen.224
10
10.1 Einleitung, Überblick und Abgrenzung.228
10.2 Aktuelle Herausforderungen und Lösungsmöglichkeiten.228
10.3 Zum genutzten Entwicklungsprozess.229
10.4 Anforderungsanalyse mit der UML.231
10.5 Von den Anforderungen zum Design.237
10.6 Standarderweiterungen und Ausblick.244
10.7 Fazit.246
11 Formale Entwicklungsmethoden und Analysetechniken.249
11.1 Einordnung formaler Techniken .250
11.2 Systementwicklung mit der Methode
11.3 Modellierung und Analyse dynamischer Abläufe.267
11.4 Stand der Technik und Ausblick.274
12 Sicherheits- und Zuverlässigkeitsanalysetechniken.281
12.1 Einleitung.282
12.2 Grundlagen.284
12.3 Methoden und Techniken.296
12.4 Eignung und Auswahl.309
Inhaltsverzeichnis
12.5 Zuverlässigkeitmessung und
12.6 Zusammenfassung.312
13 Techniken für Verteilte eingebettete Systeme.317
13.1 Einleitung.318
13.2 Verteilte eingebettete Systeme.319
13.3
134 Hardwarezugriffe in eingebetteten Systemen .321
13.5 Nebenläufige Prozesse.324
13.6 Verteilte Systeme.327
13.7 Verteilte Programmierung unter Ada .337
13.8 Zusammenfassung.341
14 Echtzeitbetriebssysteme.343
14-1 Echtzeitsysteme.344
14.2 Alleinstellungsmerkmale.353
14-3 Softwaretechnische Gesichtspunkte.366
14-4 Fallbeispiele.370
14.5 Zusammenfassung.374
15 Modellierung Reaktiver Systeme - Synchrone Sprachen und
Statecharts.377
15.1 Einführung.378
15.2 Die synchrone Programmiersprache Esterei .381
15.3
15.4 Zusammenfassung und Ausblick.403
16 Software-Technologie im Automobil.407
16.1 Einleitung.408
16.2 Generelle Trends.408
16.3 Konsequenzen für den Automobilhersteller.413
16.4 Stand der Technik und aktuelle Forschungsergebnisse .418
16.5 Zusammenfassung und Ausblick.428
17 Sichere Software in eingebetteten Systemen der Verkehrs¬
technik .431
17.1 Einleitung.432
17.2 Verkehrstechnik.433
17.3
17.4 Sicherheit in der Software.435
17.5 Fallstudie: Systematische Ableitung von Testfällen aus einer
automatenbasierten Modellierung.441
17.6 Zusammenfassung und Ausblick.448
18 Entwicklung eingebetteter Software für Raumfahrtanwen¬
dungen .451
18.1 Automated Transfer
18.2 Propulsion Drive Electronics (ATV-PDE).453
18.3 Standards in der Raumfahrt.455
Inhaltsverzeichnis
18.4 Die Software-Entwicklung.456
18.5
18.6 Zusammenfassung .467
19 Medizintechnik.
19.1 Einsatzfelder und Klassen medizinischer Geräte.470
19.2 Medizinische Gerätearten und ihre Applikation.472
19.3 Design medizinischer Geräte.480
19.4 SW-Standards in der Medizintechnik.486
19.5 Entwicklungsprozess für Medizinprodukte.488
19.6 Risikomanagement bei medizinischen Produkten.489
19.7 Informationssicherheit.491
19.8 Inverkehrbringung von Medizinprodukten .492
19.9 Zusammenfassung und Ausblick.493
20 Industrieautomation.497
20.1 Einführung.498
20.2 Technologische Prozesse.500
20.3 Lifecycle-Betrachtungen .502
20.4 Integration beteiligter Disziplinen .504
20.5 Architekturen und Systems Engineering in der Industrieau¬
tomation .505
20.6 Anforderungen an die Systemsoftware für
tems in der Industrieautomation.5I6
20.7 Optimierungen und zukünftige System-Änderungen.520
21 Entwicklung eingebetteter Telekommunikations-Software. 527
21.1 Anforderungen an Software in professionellen Kommunika¬
tionssystemen .528
21.2 System- und Software-Lebenszyklus - Prinzipien, Prozesse,
Erfahrungen.529
21.3 Die Rolle der Software-Architektur am Beispiel des Systems
LambdaUnite-MSS®.537
21.4 Vom Software-Architekturmodell zur lauffähigen Software
im System AnyMedia® .549
21.5 Funktionsorientierter Test der UMTS-Infrastruktur im Sys¬
tem NodeB.562
Index.575
Inhaltsverzeichnis |
| any_adam_object | 1 |
| author_GND | (DE-588)112090362 |
| building | Verbundindex |
| bvnumber | BV019423131 |
| classification_rvk | ST 153 ST 230 |
| classification_tum | DAT 263f |
| ctrlnum | (OCoLC)76560523 (DE-599)BVBBV019423131 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV019423131</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070302</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">041014s2005 gw ad|| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">04,N28,0027</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827415330</subfield><subfield code="c">Gb. : ca. EUR 70.00, ca. CHF 112.00</subfield><subfield code="9">3-8274-1533-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783827415332</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76560523</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019423131</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-B768</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 263f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software engineering eingebetteter Systeme</subfield><subfield code="b">Grundlagen, Methodik, Anwendungen</subfield><subfield code="c">Peter Liggesmeyer ... (Hrsg.)</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Elsevier Spektrum Akademischer Verlag</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 585 S.</subfield><subfield code="b">Ill., graph. Darst.</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="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</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="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">Liggesmeyer, Peter</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)112090362</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=012884738&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV019423131 |
| illustrated | Illustrated |
| indexdate | 2025-02-20T06:37:48Z |
| institution | BVB |
| isbn | 3827415330 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012884738 |
| oclc_num | 76560523 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-860 DE-29T DE-20 DE-703 DE-Aug4 DE-92 DE-573 DE-12 DE-91 DE-BY-TUM DE-898 DE-BY-UBR DE-1046 DE-858 DE-1049 DE-355 DE-BY-UBR DE-863 DE-BY-FWS DE-M347 DE-634 DE-83 DE-11 DE-188 DE-B768 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-860 DE-29T DE-20 DE-703 DE-Aug4 DE-92 DE-573 DE-12 DE-91 DE-BY-TUM DE-898 DE-BY-UBR DE-1046 DE-858 DE-1049 DE-355 DE-BY-UBR DE-863 DE-BY-FWS DE-M347 DE-634 DE-83 DE-11 DE-188 DE-B768 |
| physical | XV, 585 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Elsevier Spektrum Akademischer Verlag |
| record_format | marc |
| spellingShingle | Software engineering eingebetteter Systeme Grundlagen, Methodik, Anwendungen Softwareentwicklung (DE-588)4116522-6 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4396978-1 (DE-588)4123623-3 |
| title | Software engineering eingebetteter Systeme Grundlagen, Methodik, Anwendungen |
| title_auth | Software engineering eingebetteter Systeme Grundlagen, Methodik, Anwendungen |
| title_exact_search | Software engineering eingebetteter Systeme Grundlagen, Methodik, Anwendungen |
| title_full | Software engineering eingebetteter Systeme Grundlagen, Methodik, Anwendungen Peter Liggesmeyer ... (Hrsg.) |
| title_fullStr | Software engineering eingebetteter Systeme Grundlagen, Methodik, Anwendungen Peter Liggesmeyer ... (Hrsg.) |
| title_full_unstemmed | Software engineering eingebetteter Systeme Grundlagen, Methodik, Anwendungen Peter Liggesmeyer ... (Hrsg.) |
| title_short | Software engineering eingebetteter Systeme |
| title_sort | software engineering eingebetteter systeme grundlagen methodik anwendungen |
| title_sub | Grundlagen, Methodik, Anwendungen |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Softwareentwicklung Eingebettetes System Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012884738&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT liggesmeyerpeter softwareengineeringeingebettetersystemegrundlagenmethodikanwendungen |
Inhaltsverzeichnis
THWS Würzburg Magazin
| Signatur: |
1911 2015:0041 |
|---|---|
| Exemplar 1 | bestellbar aus dem Magazin Verfügbar Bestellen |
THWS Würzburg Teilbibliothek SHL, Raum I.2.11
| Signatur: |
1340 ST 153 L723st |
|---|---|
| Exemplar 1 | nicht ausleihbar Verfügbar Bestellen |