Das Buch ist eine moderne algorithmenorientierte Einf}hrung
in die Informatik: Im Vordergrund stehen Konzepte, Methoden
und Techniken der Algorithmenentwicklung. Algorithmische
Konzepte und ihre Verwendung werden formal und zun{chst ohne
Bezugnahme auf eine konkrete Programmiersprache dargestellt.
Ihre grundlegende Bedeutung wird dadurch deutlich getrennt
von einer im letzten Kapitel vorgenommenen exemplarischen
Realisierung in Modula-2.
Aktualisiert: 2023-07-02
> findR *
Das Buch ist eine moderne algorithmenorientierte Einf}hrung
in die Informatik: Im Vordergrund stehen Konzepte, Methoden
und Techniken der Algorithmenentwicklung. Algorithmische
Konzepte und ihre Verwendung werden formal und zun{chst ohne
Bezugnahme auf eine konkrete Programmiersprache dargestellt.
Ihre grundlegende Bedeutung wird dadurch deutlich getrennt
von einer im letzten Kapitel vorgenommenen exemplarischen
Realisierung in Modula-2.
Aktualisiert: 2023-07-02
> findR *
Das Buch ist eine moderne algorithmenorientierte Einf}hrung
in die Informatik: Im Vordergrund stehen Konzepte, Methoden
und Techniken der Algorithmenentwicklung. Algorithmische
Konzepte und ihre Verwendung werden formal und zun{chst ohne
Bezugnahme auf eine konkrete Programmiersprache dargestellt.
Ihre grundlegende Bedeutung wird dadurch deutlich getrennt
von einer im letzten Kapitel vorgenommenen exemplarischen
Realisierung in Modula-2.
Aktualisiert: 2023-07-02
> findR *
Die Anzahl der Steuergeräte in Fahrzeugen der Oberklasse ist in den letzten 15 Jahren stetig gestiegen und liegt aktuell bei etwa 100 Stück. Dabei entsteht der Großteil aller Innovationen im Fahrzeug durch Elektronik und Software. Dies macht Software einerseits zu einem der wichtigsten Innovationstreiber für Unternehmen in der Automobilindustrie, andererseits birgt sie ein hohes Risikopotential: Programmfehler.
Das Testen von komplexen Software-Systemen kann nur das Vorhandensein von Fehlern zeigen, jedoch nicht deren Abwesenheit. Eine Garantie, dass ein System die gestellten Anforderungen erfüllt, kann durch formale Methoden gegeben werden.
Die in dieser Arbeit vorgestellten Ansätze tragen dazu bei, die Software-Entwicklung in kleinen und mittleren Unternehmen durch Methoden der formalen Verifikation zu verbessern und zu unterstützen.
Der erste Ansatz befasst sich mit der Analyse von Zeitanforderungen für eingebettete Systeme basierend auf der formalen Methode des Model-Checkings. Dabei wird für ein bestehendes Variantensystem für Steuergeräte ein Task-System mittels Uppaal modelliert und eine Einplanbarkeitsanalyse auf Basis von Zeitautomaten vorgestellt. Zur
Verwaltung der Varianten wurde ein Framework basierend auf pure::variants entworfen und eine bestehende Software-Plattform evolutionär in eine Produktlinie umgewandelt.
Der zweite Ansatz zur Verbesserung der Software-Qualität befasst sich mit der Verifikation von Programmcode eingebetteter Systeme durch den Model-Checker Arcade. Der Einsatz von Binär-Code-Verifikation kann den Testaufwand reduzieren, aber nicht ersetzen. Der Vorteil für Unternehmen ist allerdings, dass diese Methode das Ausbleiben von Fehlern beweisen kann, was durch herkömmliches Testen nicht möglich ist.
Aktualisiert: 2021-02-18
> findR *
In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und Zuverlässigkeitsanforderungen in der Luft- und Raumfahrt vorgestellt. Es orientiert sich am Leitmotiv „Correctness by Construction“ und bildet die komplexe Problematik auf ein Constraint Satisfaction Problem ab. Das Verfahren wird als Softwarewerkzeug realisiert und dessen Einsatz anhand von zwei Fallbeispielen aus der Luft- und Raumfahrt demonstriert. Der Autor zeigt, dass diese aufwändige und fehlerträchtige Aufgabe automatisierbar ist, sodass korrekte Platzierungen für Systeme realer Größe innerhalb weniger Minuten auf regulären Desktop-Computern konstruiert werden können.
Aktualisiert: 2023-04-01
> findR *
Das Buch ist eine moderne algorithmenorientierte Einf}hrung
in die Informatik: Im Vordergrund stehen Konzepte, Methoden
und Techniken der Algorithmenentwicklung. Algorithmische
Konzepte und ihre Verwendung werden formal und zun{chst ohne
Bezugnahme auf eine konkrete Programmiersprache dargestellt.
Ihre grundlegende Bedeutung wird dadurch deutlich getrennt
von einer im letzten Kapitel vorgenommenen exemplarischen
Realisierung in Modula-2.
Aktualisiert: 2022-03-06
> findR *
In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und Zuverlässigkeitsanforderungen in der Luft- und Raumfahrt vorgestellt. Es orientiert sich am Leitmotiv „Correctness by Construction“ und bildet die komplexe Problematik auf ein Constraint Satisfaction Problem ab. Das Verfahren wird als Softwarewerkzeug realisiert und dessen Einsatz anhand von zwei Fallbeispielen aus der Luft- und Raumfahrt demonstriert. Der Autor zeigt, dass diese aufwändige und fehlerträchtige Aufgabe automatisierbar ist, sodass korrekte Platzierungen für Systeme realer Größe innerhalb weniger Minuten auf regulären Desktop-Computern konstruiert werden können.
Aktualisiert: 2023-04-04
> findR *
Das Buch ist eine moderne algorithmenorientierte Einf}hrung
in die Informatik: Im Vordergrund stehen Konzepte, Methoden
und Techniken der Algorithmenentwicklung. Algorithmische
Konzepte und ihre Verwendung werden formal und zun{chst ohne
Bezugnahme auf eine konkrete Programmiersprache dargestellt.
Ihre grundlegende Bedeutung wird dadurch deutlich getrennt
von einer im letzten Kapitel vorgenommenen exemplarischen
Realisierung in Modula-2.
Aktualisiert: 2023-04-04
> findR *
MEHR ANZEIGEN
Bücher zum Thema formale Methoden
Sie suchen ein Buch über formale Methoden? Bei Buch findr finden Sie eine große Auswahl Bücher zum
Thema formale Methoden. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr
hat zahlreiche Bücher zum Thema formale Methoden im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das
passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das
Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche
Bücher uvm. Bestellen Sie Ihr Buch zum Thema formale Methoden einfach online und lassen Sie es sich bequem nach
Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
formale Methoden - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum
Thema formale Methoden, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche
Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl
Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Unter formale Methoden und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung
thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege.
Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem
zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu
studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.
