Angebote zu "Model-Based" (6 Treffer)

Kategorien

Shops

Model-Based Engineering of Embedded Systems
47,99 € *
ggf. zzgl. Versand

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs. This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering. The content of this book is structured in four parts. Part I ´´Starting Point´´ discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II ´´The SPES Modeling Framework´´ describes the SPES modeling framework. Part III ´´Application and Evaluation of the SPES Modeling Framework´´ reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV ´´Impact of the SPES Modeling Framework´´ summarizes the results achieved and provides an outlook on future work. The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Test, Analyse und Verifikation von Software - g...
29,90 € *
ggf. zzgl. Versand

Das Testen, Analysieren und Verifizieren von Software hat in den letzten Jahren erheblich an Bedeutung gewonnen, da die Qualität eine immer größere Rolle beim Einsatz von Software spielt. Auch durch die Anwendung von agilen Vorgehensweisen bei der Erstellung von Software ist das Testen zunehmend relevanter geworden. Seit über 25 Jahren gibt es in der ´´Gesellschaft für Informatik e.V.´´ (GI) eine Fachgruppe, die sich mit diesem Thema auseinandersetzt: TAV - Test, Analyse und Verifikation von Software. Das 25-jährige Bestehen dieser Fachgruppe wurde im Juni 2016 auf dem 39. Treffen in Bremen gefeiert. Dieses Buch umfasst einige der Vorträge, die auf dem Treffen gehalten wurden. Es wirft nicht nur einen Blick zurück in die Vergangenheit, sondern schaut auch nach vorne. Dabei beleuchtet es in weiteren Beiträgen aktuelle und zukünftige Ausrichtungen des Testens in Theorie und Praxis. Eine Auswahl der Themen: Softwarequalität zwischen hohem Ziel und hohler Floskel Leistungsfähige neue Testverfahren Quality Engineering für das Internet der Dinge Complete Model-based Testing Modellbasiertes Security-Testen Test- und Qualitätsmanagement in agilen Projekten Testen mit automatisch bestimmten Eingabegrammatiken The Future of Software Testing

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Probabilistic Graphical Models
76,99 € *
ggf. zzgl. Versand

Most tasks require a person or an automated system to reason - to reach conclusions based on available information. The framework of probabilistic graphical models, presented in this book, provides a general approach for this task. The approach is model-based, allowing interpretable models to be constructed and then manipulated by reasoning algorithms. These models can also be learned automatically from data, allowing the approach to be used in cases where manually constructing a model is difficult or even impossible. Because uncertainty is an inescapable aspect of most real-world applications, the book focuses on probabilistic models, which make the uncertainty explicit and provide models that are more faithful to reality.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
SysML Distilled
26,99 € *
ggf. zzgl. Versand

SysML extends UML with powerful systems engineering capabilities for modeling a far wider spectrum of systems, and effectively capturing all aspects of a system?s design. Now, there?s a go-to reference for everyone who wants to start creating accurate and useful system models with SysML. Drawing on his pioneering experience creating models for Lockheed Martin and NASA, Lenny Delligatti illuminates SysML?s core components, and shows how to use them even under tight deadlines and other constraints. You needn?t know all of SysML to create effective models: SysML Distilled quickly teaches what you do need to know, and helps you deepen your knowledge incrementally as the need arises. Coverage includes: How SysML extends and improves UML, and how to immediately put it to practical use How to use SysML as a foundation for Model-Based System Engineering (MBSE) or Model-Based Engineering (MBE) What to know before you start an SysML modeling project How to use key SysML diagrams for block definitions, internal blocks, use cases, activities, sequences, state machines, parametrics, requirements, and packages How to use allocations to define cross-cutting relationships And much more ? including appendices presenting complete SysML notation, identifying changes between SysML versions, and identifying authoritative sources for more information Product Description The Systems Modeling Language (SysML) extends UML with powerful systems engineering capabilities for modeling a wider spectrum of systems and capturing all aspects of a system?s design. SysML Distilled is the first clear, concise guide for everyone who wants to start creating effective SysML models. (Drawing on his pioneering experience at Lockheed Martin and NASA, Lenny Delligatti illuminates SysML?s core components and provides practical advice to help you create good models and good designs. Delligatti begins with an easy-to-understand overview of Model-Based Systems Engineering (MBSE) and an explanation of how SysML enables effective system specification, analysis, design, optimization, verification, and validation. Next, he shows how to use all nine types of SysML diagrams, even if you have no previous experience with modeling languages. A case study running through the text demonstrates the use of SysML in modeling a complex, real-world sociotechnical system. Modeled after Martin Fowler?s classic UML Distilled, Delligatti?s indispensable guide quickly teaches you what you need to know to get started and helps you deepen your knowledge incrementally as the need arises. Like SysML itself, the book is method independent and is designed to support whatever processes, procedures, and tools you already use. Coverage Includes Why SysML was created and the business case for using it Quickly putting SysML to practical use What to know before you start a SysML modeling project Essential concepts that apply to all SysML diagrams SysML diagram elements and relationships Diagramming block definitions, internal structures, use cases, activities, interactions, state machines, constraints, requirements, and packages Using allocations to define mappings among elements across a model SysML notation tables, version changes, and sources for more information Features + Benefits The most practical introduction to SysML Covers all essential diagrams: block definitions, internal blocks, use cases, activities, sequences, state machines, parametrics, requirements, and packages How to use SysML to move towards full-fledged Model-Based Systems Engineering (MBSE) Foreword by Rick Steiner xvii Foreword by Richard Soley xix Preface xxv Acknowledgments xxxi About the Author xxxiii Chapter 1: Overview of Model-Based Systems Engineering 1 1.1 What Is MBSE? 2 1.2 The Three Pillars of MBSE 4 1.3 The Myth of MBSE 9 Chapter 2: Overview of the Systems Modeling Language 11 2.1 What SysML Is?and Isn?t 11 2.2 Yes, SysML Is Based on UML?but You Can Start with SysML 13 2.3 SysML Diagram Overview 14 2.4 General Diagram Concepts 17 Chapter 3: Block Definition Diagrams 23 3.1 Purpose 23 3.2 When Should You Create a BDD? 24 3.3 The BDD Frame 24 3.4 Blocks 26 3.5 Associations: Another Notation for a Property 44 3.6 Generalizations 49 3.7 Dependencies 52 3.8 Actors 53 3.9 Value Types 55 3.10 Constraint Blocks 57 3.11 Comments 59 Chapter 4: Internal Block Diagrams 63 4.1 Purpose 63 4.2 When Should You Create an IBD? 64 4.3 Blocks, Revisited 64 4.4 The IBD Frame 65 4.5 BDDs and IBDs: Complementary Views of a Block 66

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Basiswissen modellbasierter Test
44,90 € *
ggf. zzgl. Versand

Modellbasiertes Testen (MBT) hat zum Ziel, Prinzipien der modellbasierten Softwareentwicklung auf den Test zu übertragen. Es umfasst die Nutzung von Modellen für die Automatisierung von Testaktivitäten sowie die Modellierung von Artefakten im Testprozess. Während MBT in den letzten Jahren eher als viel diskutiertes Schlagwort wahrgenommen wurde, findet es sich heute mit guten Resultaten in der praktischen industriellen Anwendung wieder. Dieses Buch vermittelt die Grundlagen modellbasierten Testens und gibt einen fundierten Überblick über den modellbasierten Testprozess. Es zeigt darüber hinaus auf, - welche Voraussetzungen für den Einsatz modellbasierten Testens in einer Organisation zu schaffen sind, - welche möglichen Fallstricke eine erfolgreiche Einführung verhindern können und - wie Sie diese Fallstricke vermeiden können. Zahlreiche Beispiele auf Basis zweier durchgängiger Anwendungen erläutern die methodischen Grundlagen. Im Rahmen einer Fallstudie wird insbesondereauf die Qualitätsgewinne und Einsparpotenziale eingegangen, die MBT realisieren kann. Die 2. Auflage wurde vollständig überarbeitet und ist konform zum ISTQB®-Lehrplan Foundation Level Extension ´´Model-Based Tester´´. ´´Das Buch überzeugt in seinem stilistisch wohlausgewogenen Herangehen an die Materie, die aus verschiedenen Perspektiven betrachtet und analysiert wird.´´ Aus dem Geleitwort zur 1. Auflage von Prof. Dr. Ina Schieferdecker

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Pattern Recognition and Machine Learning
76,99 € *
ggf. zzgl. Versand

This is the first textbook on pattern recognition to present the Bayesian viewpoint. It presents approximate inference algorithms that permit fast approximate answers in situations where exact answers are not feasible, and it uses graphical models to describe probability distributions. The dramatic growth in practical applications for machine learning over the last ten years has been accompanied by many important developments in the underlying algorithms and techniques. For example, Bayesian methods have grown from a specialist niche to become mainstream, while graphical models have emerged as a general framework for describing and applying probabilistic techniques. The practical applicability of Bayesian methods has been greatly enhanced by the development of a range of approximate inference algorithms such as variational Bayes and expectation propagation, while new models based on kernels have had a significant impact on both algorithms and applications.This completely new textbook reflects these recent developments while providing a comprehensive introduction to the fields of pattern recognition and machine learning. It is aimed at advanced undergraduates or first-year PhD students, as well as researchers and practitioners. No previous knowledge of pattern recognition or machine learning concepts is assumed. Familiarity with multivariate calculus and basic linear algebra isrequired, and some experience in the use of probabilities would be helpful though not essential as the book includes a self-contained introduction to basic probability theory.The book is suitable for courses on machine learning, statistics, computer science, signal processing, computer vision, data mining, and bioinformatics. Extensive support is provided for course instructors, including more than 400 exercises, graded according to difficulty. Example solutions for a subset of the exercises are available from the book web site, while solutions for the remainder can be obtained by instructors from the publisher. The book is supported by a great deal of additional material, and the reader is encouraged to visit the book web site for the latest information.Coming soon: For students, worked solutions to a subset of exercises available on a public web site (for exercises marked ´´www´´ in the text) For instructors, worked solutions to remaining exercises from the Springer web site Lecture slides to accompany each chapter Data sets available for download

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot