Availability: Static analysis of embedded software with priority scheduling and interrupts

Static analysis of embedded software with priority scheduling and interrupts:

Saved in:

Bibliographic Details
Main Author:	Schwarz, Martin D. (Author)
Format:	Thesis/Dissertation Book
Language:	English
Published:	München Verl. Dr. Hut 2015
Edition:	1. Aufl.
Series:	Informatik
Subjects:	Prioritätsregel Interrupt > Informatik Synchronisierung Scheduling Statische Analyse OSEK > Programm Hochschulschrift
Links:	http://deposit.dnb.de/cgi-bin/dokserv?id=5146253&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027853378&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	VII, 120 S. Ill., graph. Darst. 210 mm x 148 mm, 301 g
ISBN:	9783843919562 3843919569

Staff View

MARC


LEADER	00000nam a22000008c 4500
001	BV042417934
003	DE-604
005	00000000000000.0
007	t\|
008	150317s2015 gw ad\|\| m\|\|\| 00\|\|\| eng d
015			\|a 15,N07 \|2 dnb
016	7		\|a 1066388385 \|2 DE-101
020			\|a 9783843919562 \|c Gb. : EUR 60.00 (DE), EUR 61.70 (AT), sfr 79.00 (freier Pr.) \|9 978-3-8439-1956-2
020			\|a 3843919569 \|9 3-8439-1956-9
024	3		\|a 9783843919562
035			\|a (OCoLC)905349646
035			\|a (DE-599)DNB1066388385
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BY
049			\|a DE-91 \|a DE-12 \|a DE-91G
082	0		\|a 005.434 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 500d \|2 stub
100	1		\|a Schwarz, Martin D. \|e Verfasser \|4 aut
245	1	0	\|a Static analysis of embedded software with priority scheduling and interrupts \|c Martin D. Schwarz
250			\|a 1. Aufl.
263			\|a 201502
264		1	\|a München \|b Verl. Dr. Hut \|c 2015
300			\|a VII, 120 S. \|b Ill., graph. Darst. \|c 210 mm x 148 mm, 301 g
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Informatik
502			\|a Zugl.: München, Technische Universität, Diss., 2014
650	0	7	\|a Prioritätsregel \|0 (DE-588)4330562-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Interrupt \|g Informatik \|0 (DE-588)4625501-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Synchronisierung \|0 (DE-588)4130847-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Scheduling \|0 (DE-588)4179449-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Statische Analyse \|0 (DE-588)4325372-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a OSEK \|g Programm \|0 (DE-588)4791512-2 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a OSEK \|g Programm \|0 (DE-588)4791512-2 \|D s
689	0	1	\|a Statische Analyse \|0 (DE-588)4325372-6 \|D s
689	0	2	\|a Scheduling \|0 (DE-588)4179449-7 \|D s
689	0	3	\|a Prioritätsregel \|0 (DE-588)4330562-3 \|D s
689	0	4	\|a Interrupt \|g Informatik \|0 (DE-588)4625501-1 \|D s
689	0	5	\|a Synchronisierung \|0 (DE-588)4130847-5 \|D s
689	0		\|5 DE-604
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=5146253&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027853378&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027853378

Record in the Search Index

DE-BY-TUM_call_number	0001 DM 32912 0109 DM 32912
DE-BY-TUM_katkey	2060006
DE-BY-TUM_location	Mag 01
DE-BY-TUM_media_number	TEMP3241299 040071482861
_version_	1821934054610567168
adam_text	TABLE OF CONTENTS 1 INTRODUCTION 1 2 THE OSEK OPERATING SYSTEM 5 2.1 COMPONENTS OF OSEK SYSTEMS 5 2.2 SCHEDULING IN OSEK PROGRAMS 9 2.3 CONFORMANCE CLASSES 12 2.4 OSEK API J, 12 3 A STACK-BASED OSEK MODEL 15 3.1 SEMANTICS OF OSEK PROGRAMS 17 3.2 STACK-BASED SEMANTICS OF OSEK 22 3.3 CONSTRAINT SYSTEM FOR THE STACK-BASED SEMANTICS 26 3.4 RACE DETECTION IN THE OSEK MODEL 29 3.5 RELATED WORK 32 3.6 CONCLUSIONS 34 4 RESOURCE AND PRIORITY ANALYSIS OF OSEK PROGRAMS 35 4.1 THE CORE PRIORITY CEILING MODEL AND ITS SEMANTICS 37 4.2 DATA RACES AND NONTRANSACTIONAL BEHAVIOR 42 4.3 ANALYZING RESOURCES 43 4.4 ANALYZING DATA RACES 47 4.5 ANALYZING TRANSACTIONALITY 48 4.5.1 TASKS WITHOUT PROCEDURES 49 4.5.2 TASKS WITH PROCEDURES 50 4.6 LINEAR EQUALITIES FOR PRIORITY CEILING PROGRAMS 55 4.7 IMPLEMENTATION 60 4.8 RELATED WORK 62 4.9 CONCLUSIONS 64 5 VALUE-DEPENDENT SYNCHRONIZATION 65 5.1 OSEK MODEL 67 5.2 INTER-PROCEDURAL ANALYSIS OF FLAGS 69 5.3 INTRA-INTERRUPT FLAG ANALYSIS 70 5.4 SIMPLE ANALYSIS OF FLAGS 73 5.5 PRECISE ANALYSIS OF FLAGS 74 HTTP://D-NB.INFO/1066388385 5.6 DATA RACE ANALYSIS 79 5.7 EXPERIMENTS! RESULTS 81 5.8 RELATED WORK 83 5.9 CONCLUSIONS 84 6 INVARIANTS AND PRIVATIZATION 85 6.1 CALL STRING ANALYSIS OF OSEK PROGRAMS 86 6.2 GLOBAL INVARIANTS WITH PRIVATIZATION 90 6.2.1 PRIVATIZATION WITH FLAGS 93 6.2.2 GENERAL PRIVATIZATION 94 6.3 LAYERED INVARIANTS 95 6.4 CONCLUSIONS 99 7 BENCHMARK GENERATION 101 7.1 ROBOTIC ARM 101 7.2 LINE FOLLOWING CAR 103 7.3 OBSTACLE AVOIDING CAR 104 7.4 CONCLUSION 105 8 PRACTICAL IMPLEMENTATION 107 8.1 OIL-FILE PARSING 107 8.2 GROUPING OF WARNINGS 108 8.3 FLAG DISCOVERY 108 8.4 CONVENTION CHECKING 108 8.5 VARIANT CODE ISSUES 109 9 FUETURE PROSPECTS 111 9.1 EXTENDED CONFORMANCE CLASSES 111 9.2 HOOK ROUTINES 112 9.3 PRECISE TASK ACTIVATION 112 9.4 MULTI-CORE ARCHITECTURES 113 10 CONCLUSIONS 115 REFERENCES 117
any_adam_object	1
author	Schwarz, Martin D.
author_facet	Schwarz, Martin D.
author_role	aut
author_sort	Schwarz, Martin D.
author_variant	m d s md mds
building	Verbundindex
bvnumber	BV042417934
classification_tum	DAT 500d
ctrlnum	(OCoLC)905349646 (DE-599)DNB1066388385
dewey-full	005.434
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.434
dewey-search	005.434
dewey-sort	15.434
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
edition	1. Aufl.
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02451nam a22005898c 4500</leader><controlfield tag="001">BV042417934</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">150317s2015 gw ad\|\| m\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,N07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1066388385</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783843919562</subfield><subfield code="c">Gb. : EUR 60.00 (DE), EUR 61.70 (AT), sfr 79.00 (freier Pr.)</subfield><subfield code="9">978-3-8439-1956-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3843919569</subfield><subfield code="9">3-8439-1956-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783843919562</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)905349646</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1066388385</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">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.434</subfield><subfield code="2">22/ger</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 500d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schwarz, Martin D.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static analysis of embedded software with priority scheduling and interrupts</subfield><subfield code="c">Martin D. Schwarz</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="263" ind1=" " ind2=" "><subfield code="a">201502</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Verl. Dr. Hut</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 120 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">210 mm x 148 mm, 301 g</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="490" ind1="0" ind2=" "><subfield code="a">Informatik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Technische Universität, Diss., 2014</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prioritätsregel</subfield><subfield code="0">(DE-588)4330562-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interrupt</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4625501-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Synchronisierung</subfield><subfield code="0">(DE-588)4130847-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Scheduling</subfield><subfield code="0">(DE-588)4179449-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OSEK</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4791512-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">OSEK</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4791512-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Scheduling</subfield><subfield code="0">(DE-588)4179449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Prioritätsregel</subfield><subfield code="0">(DE-588)4330562-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Interrupt</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4625501-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Synchronisierung</subfield><subfield code="0">(DE-588)4130847-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=5146253&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=027853378&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027853378</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV042417934
illustrated	Illustrated
indexdate	2024-12-20T17:10:37Z
institution	BVB
isbn	9783843919562 3843919569
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027853378
oclc_num	905349646
open_access_boolean
owner	DE-91 DE-BY-TUM DE-12 DE-91G DE-BY-TUM
owner_facet	DE-91 DE-BY-TUM DE-12 DE-91G DE-BY-TUM
physical	VII, 120 S. Ill., graph. Darst. 210 mm x 148 mm, 301 g
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Verl. Dr. Hut
record_format	marc
series2	Informatik
spellingShingle	Schwarz, Martin D. Static analysis of embedded software with priority scheduling and interrupts Prioritätsregel (DE-588)4330562-3 gnd Interrupt Informatik (DE-588)4625501-1 gnd Synchronisierung (DE-588)4130847-5 gnd Scheduling (DE-588)4179449-7 gnd Statische Analyse (DE-588)4325372-6 gnd OSEK Programm (DE-588)4791512-2 gnd
subject_GND	(DE-588)4330562-3 (DE-588)4625501-1 (DE-588)4130847-5 (DE-588)4179449-7 (DE-588)4325372-6 (DE-588)4791512-2 (DE-588)4113937-9
title	Static analysis of embedded software with priority scheduling and interrupts
title_auth	Static analysis of embedded software with priority scheduling and interrupts
title_exact_search	Static analysis of embedded software with priority scheduling and interrupts
title_full	Static analysis of embedded software with priority scheduling and interrupts Martin D. Schwarz
title_fullStr	Static analysis of embedded software with priority scheduling and interrupts Martin D. Schwarz
title_full_unstemmed	Static analysis of embedded software with priority scheduling and interrupts Martin D. Schwarz
title_short	Static analysis of embedded software with priority scheduling and interrupts
title_sort	static analysis of embedded software with priority scheduling and interrupts
topic	Prioritätsregel (DE-588)4330562-3 gnd Interrupt Informatik (DE-588)4625501-1 gnd Synchronisierung (DE-588)4130847-5 gnd Scheduling (DE-588)4179449-7 gnd Statische Analyse (DE-588)4325372-6 gnd OSEK Programm (DE-588)4791512-2 gnd
topic_facet	Prioritätsregel Interrupt Informatik Synchronisierung Scheduling Statische Analyse OSEK Programm Hochschulschrift
url	http://deposit.dnb.de/cgi-bin/dokserv?id=5146253&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027853378&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT schwarzmartind staticanalysisofembeddedsoftwarewithpriorityschedulingandinterrupts

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Closed Stacks

Holdings details from Bibliotheksmagazin
Call Number:	0001 DM 32912 Floor plan
Copy 1	Available for loan On Shelf

Branch Library Mathematics & Informatics, Dissertations and Theses

Holdings details from Teilbibliothek Mathematik & Informatik, Dissertationen und Abschlussarbeiten
Call Number:	0109 DM 32912 Floor plan
Copy 1	Available for loan On Shelf