Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

Automatic Methods for the Refinement of System Models

Part of the SpringerBriefs in Electrical and Computer Engineering Book Series

DOI: 10.1007/978-3-319-41480-5

ISBN: 978-3-319-41479-9

Publisher: Springer International Publishing - Springer Journals

Jul 5, 2016

Available

Introduction

Seiter, Julia; Wille, Robert; Drechsler, Rolf

Pages: 1 –5

[About 30 years in the past, numerous items and devices were required for the equivalent functionality to what a smartphone offers today: a telephone, an address book, a map, a photo album, an analog camera, board or card games, a radio, newspapers and journals, a notepad, a calculator, an alarm...
Available

Preliminaries

Seiter, Julia; Wille, Robert; Drechsler, Rolf

Pages: 7 –21

[In this chapter, we provide the required background to keep this book self-contained. First, the concept of model-driven development with its realization in the form of the modeling language UML is introduced. Afterward, we discuss the applied methodologies, SMT solvers, and model finding.]
Available

Challenges in Model Refinement

Seiter, Julia; Wille, Robert; Drechsler, Rolf

Pages: 23 –29

[Verification on a high level of abstraction, such as the level of formal models, provides a great aid in preventing errors on the following lover abstraction levels. A model of the system to be realized can be used for early verification and debugging of the specification itself. However, the...
Available

Verification of Vertical Refinement

Seiter, Julia; Wille, Robert; Drechsler, Rolf

Pages: 31 –58

[In this chapter, we discuss solutions to the challenges presented in Sect. 3.2.]
Available

Extraction of a Relation for Vertical Refinement

Seiter, Julia; Wille, Robert; Drechsler, Rolf

Pages: 59 –78

[In the previous chapter, a method to prove the consistency of an abstract and a refined model has been proposed. However, this approach is only applicable if a formalized relation Ref\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts}...
Available

Verification of Horizontal Refinement

Seiter, Julia; Wille, Robert; Drechsler, Rolf

Pages: 79 –92

[So far, our focus has been on vertical refinement, i.e. the development of a fine-grained specification out of a more abstract one. Especially in the field of UML, however, a second kind of refinement is of particular interest: horizontal or intra-model refinement. Horizontal refinement deals...
Available

Summary and Conclusions

Seiter, Julia; Wille, Robert; Drechsler, Rolf

Pages: 93 –94

[Due to the increasing complexity of modern systems, a new abstraction level has been developed recently, the Formal Specification Level.]

results per page

Prev
1
Next

Browse All eBooks