HRT-HOOD: a structured design method for hard real-time Ada systems
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
Elsevier
1995
|
| Series: | Real-time safety critical systems
3 |
| Subjects: | |
| Online Access: | FAW01 Volltext |
| Item Description: | Includes bibliographical references (pages 305-310) and index The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible i |
| Physical Description: | xv, 313 pages |
| ISBN: | 9780080551838 0080551831 0444821643 9780444821645 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044383999 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s1995 |||| o||u| ||||||eng d | ||
| 020 | |a 9780080551838 |9 978-0-08-055183-8 | ||
| 020 | |a 0080551831 |9 0-08-055183-1 | ||
| 020 | |a 0444821643 |9 0-444-82164-3 | ||
| 020 | |a 9780444821645 |9 978-0-444-82164-5 | ||
| 035 | |a (ZDB-33-ESD)ocn174964788 | ||
| 035 | |a (OCoLC)174964788 | ||
| 035 | |a (DE-599)BVBBV044383999 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 005.2 |2 22 | |
| 100 | 1 | |a Burns, Alan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a HRT-HOOD |b a structured design method for hard real-time Ada systems |c Alan Burns, Andy Wellings |
| 264 | 1 | |a Amsterdam |b Elsevier |c 1995 | |
| 300 | |a xv, 313 pages | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Real-time safety critical systems |v 3 | |
| 500 | |a Includes bibliographical references (pages 305-310) and index | ||
| 500 | |a The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible i | ||
| 650 | 7 | |a REFERENCE / General |2 bisacsh | |
| 650 | 7 | |a Ada (Computer program language) |2 fast | |
| 650 | 7 | |a Real-time data processing |2 fast | |
| 650 | 7 | |a Structured programming |2 fast | |
| 650 | 4 | |a Ada (Computer program language) | |
| 650 | 4 | |a Real-time data processing | |
| 650 | 4 | |a Structured programming | |
| 650 | 0 | 7 | |a Ada |0 (DE-588)4000430-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Strukturierte Programmierung |0 (DE-588)4058133-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitprogrammierung |0 (DE-588)4048695-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Ada |0 (DE-588)4000430-2 |D s |
| 689 | 0 | 1 | |a Echtzeitprogrammierung |0 (DE-588)4048695-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Ada |0 (DE-588)4000430-2 |D s |
| 689 | 1 | 1 | |a Strukturierte Programmierung |0 (DE-588)4058133-0 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Wellings, Andrew J. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/bookseries/15725960/3 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029786220 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/bookseries/15725960/3 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804177649712496640 |
|---|---|
| any_adam_object | |
| author | Burns, Alan |
| author_facet | Burns, Alan |
| author_role | aut |
| author_sort | Burns, Alan |
| author_variant | a b ab |
| building | Verbundindex |
| bvnumber | BV044383999 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn174964788 (OCoLC)174964788 (DE-599)BVBBV044383999 |
| dewey-full | 005.2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.2 |
| dewey-search | 005.2 |
| dewey-sort | 15.2 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02990nmm a2200613zcb4500</leader><controlfield tag="001">BV044383999</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1995 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080551838</subfield><subfield code="9">978-0-08-055183-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080551831</subfield><subfield code="9">0-08-055183-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444821643</subfield><subfield code="9">0-444-82164-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444821645</subfield><subfield code="9">978-0-444-82164-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn174964788</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)174964788</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044383999</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-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Burns, Alan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">HRT-HOOD</subfield><subfield code="b">a structured design method for hard real-time Ada systems</subfield><subfield code="c">Alan Burns, Andy Wellings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 313 pages</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">Real-time safety critical systems</subfield><subfield code="v">3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 305-310) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible i</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">REFERENCE / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ada (Computer program language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Real-time data processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Structured programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ada (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Structured programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Strukturierte Programmierung</subfield><subfield code="0">(DE-588)4058133-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitprogrammierung</subfield><subfield code="0">(DE-588)4048695-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Echtzeitprogrammierung</subfield><subfield code="0">(DE-588)4048695-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Strukturierte Programmierung</subfield><subfield code="0">(DE-588)4058133-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wellings, Andrew J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/bookseries/15725960/3</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-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029786220</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/bookseries/15725960/3</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044383999 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:26Z |
| institution | BVB |
| isbn | 9780080551838 0080551831 0444821643 9780444821645 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029786220 |
| oclc_num | 174964788 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | xv, 313 pages |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Real-time safety critical systems |
| spelling | Burns, Alan Verfasser aut HRT-HOOD a structured design method for hard real-time Ada systems Alan Burns, Andy Wellings Amsterdam Elsevier 1995 xv, 313 pages txt rdacontent c rdamedia cr rdacarrier Real-time safety critical systems 3 Includes bibliographical references (pages 305-310) and index The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible i REFERENCE / General bisacsh Ada (Computer program language) fast Real-time data processing fast Structured programming fast Ada (Computer program language) Real-time data processing Structured programming Ada (DE-588)4000430-2 gnd rswk-swf Strukturierte Programmierung (DE-588)4058133-0 gnd rswk-swf Echtzeitprogrammierung (DE-588)4048695-3 gnd rswk-swf Ada (DE-588)4000430-2 s Echtzeitprogrammierung (DE-588)4048695-3 s 1\p DE-604 Strukturierte Programmierung (DE-588)4058133-0 s 2\p DE-604 Wellings, Andrew J. Sonstige oth http://www.sciencedirect.com/science/bookseries/15725960/3 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Burns, Alan HRT-HOOD a structured design method for hard real-time Ada systems REFERENCE / General bisacsh Ada (Computer program language) fast Real-time data processing fast Structured programming fast Ada (Computer program language) Real-time data processing Structured programming Ada (DE-588)4000430-2 gnd Strukturierte Programmierung (DE-588)4058133-0 gnd Echtzeitprogrammierung (DE-588)4048695-3 gnd |
| subject_GND | (DE-588)4000430-2 (DE-588)4058133-0 (DE-588)4048695-3 |
| title | HRT-HOOD a structured design method for hard real-time Ada systems |
| title_auth | HRT-HOOD a structured design method for hard real-time Ada systems |
| title_exact_search | HRT-HOOD a structured design method for hard real-time Ada systems |
| title_full | HRT-HOOD a structured design method for hard real-time Ada systems Alan Burns, Andy Wellings |
| title_fullStr | HRT-HOOD a structured design method for hard real-time Ada systems Alan Burns, Andy Wellings |
| title_full_unstemmed | HRT-HOOD a structured design method for hard real-time Ada systems Alan Burns, Andy Wellings |
| title_short | HRT-HOOD |
| title_sort | hrt hood a structured design method for hard real time ada systems |
| title_sub | a structured design method for hard real-time Ada systems |
| topic | REFERENCE / General bisacsh Ada (Computer program language) fast Real-time data processing fast Structured programming fast Ada (Computer program language) Real-time data processing Structured programming Ada (DE-588)4000430-2 gnd Strukturierte Programmierung (DE-588)4058133-0 gnd Echtzeitprogrammierung (DE-588)4048695-3 gnd |
| topic_facet | REFERENCE / General Ada (Computer program language) Real-time data processing Structured programming Ada Strukturierte Programmierung Echtzeitprogrammierung |
| url | http://www.sciencedirect.com/science/bookseries/15725960/3 |
| work_keys_str_mv | AT burnsalan hrthoodastructureddesignmethodforhardrealtimeadasystems AT wellingsandrewj hrthoodastructureddesignmethodforhardrealtimeadasystems |