Model-Based Design of Hybrid Systems (2009)
Bernhard Schätz, Fakultät Für Informatik, Tu München
Abstract. Model-based development adds the structuring and preciseness of formal approaches to the development process while being driven by the models of the application domain instead of...
The ODL Operation Definition Language and the AutoFocus/Quest Application Framework AQuA (2008)
Bernhard Schaetz, Bernhard Schätz, Fakultät Für Informatik, Tu München
c2001
Contribution to panel discussion “UML-RT – Solution for Embedded Software?” (2008)
During the last decades computer science has largely dealt with traditional fields of software development, e.g. business information software applications. Due to its increasing economic relevance,...
Clone Detection in Automotive Model-Based Development ABSTRACT (2008)
Florian Deissenboeck, Benjamin Hummel, Elmar Juergens, Bernhard Schätz, Stefan Wagner
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from models specified with...
FACS 2007 Modular Functional Descriptions (2008)
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient construction of...
Katharina Spies, Bernhard Schätz
Abstract: Formal methods – besides supplying a set of generally mathematics-oriented formalisms – provide a collection of elementary concepts capturing the essential aspects of (software) systems...
Combining Product Lines and Model-Based Development (2008)
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized functionalities,...
A Model-Based Approach To Requirements Analysis (2008)
Eva Geisberger, Johannes Grünbauer, Bernhard Schätz
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical system. The main...
Obstacles to the Adoption of Model-based Design within the Automotive Supply Industry (2008)
Modellbasierte Entwicklung, Tu Braunschweig, Mirko Conrad, The Mathworks, Holger Giese, Univ Paderborn, ...
umgebungen
White Paper Model-Based Software and Systems Development (2008)
Bernhard Schätz, Manfred Broy, Franz Huber, Wolfgang Prenninger, Er Pretschner, Bernhard Rumpe
The construction of reliable (embedded) software can be significantly improved using explicit model-based toolsupported development process. Research results suggest that such a process can...
Combining Product Lines and Model-Based Development (2008)
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized functionalities,...
Modular Functional Descriptions (2008)
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient construction of...
Incremental Development for Automotive Software in AutoMoDe ∗ (2008)
Andreas Bauer, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Pierre Mai, ...
Automotive software development is inherently complex and involves different stakeholders, phases, and disciplines. The AutoMoDe approach to automotive software development defines distinct levels of...
The Future of Information Technology – (2008)
Klaus Bergner, Bernhard Deifel, Carsten Jacobi, Wolfgang Kellerer, Andreas Rausch, Er Sabbah, ...
c.jacobi bwl.wiso.tu-muenchen.de
Modeling Embedded Software: State of the Art and Beyond (2008)
Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker, Er Wisspeintner, Wolgang Prenninger, ...
State-of-the-art software development increasingly relies on describing the system (or software) graphically, abstracting from an actual implementation platform, and supporting to generate an...
Klaus Bergner , Bernhard Deifel , Carsten Jacobi , (2008)
Klaus Bergner, Bernhard Deifel, Carsten Jacobi, Wolfgang Kellerer Andreas, Andreas Rausch, Er Sabbah, ...
The last decade has seen the most formidable technological advances in information and communication technology ranging from fibre optics to micro electronics, computers, and of course the Internet -...
Specification Modules for Methodical System Development (2007)
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system specification in an...
The Future of Information Technology - an interdisciplinary, scenario-based approach (2007)
Klaus Bergner, Bernhard Deifel, Carsten Jacobi, Wolfgang Kellerer, Andreas Rausch, Alexander Sabbah, ...
The last decade has seen the most formidable technological advances in information and communication technology ranging from fibre optics to micro electronics, computers, and of course the Internet -...
Jos van Hillegersberg, University of Twente (2007)
Edited Jos, Van Hillegersberg, Frank Harmsen, Dr. Eva Geisberger, Patrick Keil, Marco Kuhrmann, ...
on
A Model-Based Approach To Requirements Analysis (2007)
Schätz, Bernhard, Geisberger, Eva, Grünbauer, Johannes
A major task in designing embedded systems is the systematic elaboration of functional system requirements and their integration into the environment of the complete technical system. The main...
07451 Summary -- Model-Based Engineering of Embedded Real-Time Systems (2007)
Giese, Holger, Karsai, Gabor, Lee, Edward, Rumpe, Bernhard, Schätz, Bernhard
Today, embedded software plays a central role in most advanced technical systems such as airplanes, cell phones, and cars, and has become the main driver for innovation. Development, evolution,...
07451 Abstracts Collection -- Model-Based Engineering of Embedded Real-Time Systems (2007)
Giese, Holger, Karsai, Gabor, Lee, Edward, Rumpe, Bernhard, Schätz, Bernhard
From 04.11. to 09.11.2007, the Dagstuhl Seminar 07451 ``Model-Based Engineering of Embedded Real-Time Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl....
Building Components from Functions (2005)
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design process, separating...
Model-Based Requirements Engineering with AutoRAID (2005)
Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister, Fakultät Für
Abstract: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connection to design...
Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme 2005 (2005)
Klein, Torsten, Rumpe, Bernhard, Schätz, Bernhard
Die modellbasierte Entwicklung eingebetteter, softwarebasierter Systeme beruht auf der anwendungsorientierten Modellierung der zu realisierenden Systeme sowohl unter Nutzung von Standardsprachen, wie...
Service-based systemes engineering : Consistent combination of services (2003)
Bernhard Schätz, Christian Salzmann
Abstract. Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a...
Jewgenij Botaschanjan, Andreas Fleischmann, Tobias Hain, Jan Romberg, Dr. Bernhard Schätz, Dr. Oscar Slotosch, ...
1
Combining Aspects of Reactive Systems (2003)
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implications for selecting...
Integrated Development of Embedded Systems with (2002)
This article presents AutoFOCUS, a tool prototype for formally based development of distributed, embedded systems. AutoFOCUS supports system development offering integrated, comprehensive and mainly...
Towards Service-Based Systems Engineering: Formalizing and muChecking Service Specifications (2002)
Bernhard Schätz, Fakultät Für Informatik, Tu München
Abstract. Using graphical description techniques for the modeling of distributed reactive systems is especially useful in the early phases like requirements engineering. There, often a...
Erik Kamsties, Antje Von Knethen, Bernhard Schätz
It is a frequently reported effect of applying requirements specification languages that the formalization of informal requirements leads to the detection of defects such as omissions, conflicts, and...
Integrating Formal Description Techniques (1999)
Bernhard Schätz, Franz Huber, Fakultt Fr Informatik
. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represent different views of the...
Integrating Formal Description Techniques (1999)
Bernhard Schtz And, Bernhard Schätz, Franz Huber
Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represent different views of the...
Traffic Lights - An AutoFocus Case Study (1998)
Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
In this paper we present a case study on Auto-Focus, a tool prototype for the development of distributed and concurrent systems based on the concepts of the formal method Focus. We develop (specify,...
Tool supported specification and simulation of distributed systems (1998)
Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch, ...
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and...
Tool supported Specification and Simulation of Distributed Systems (1998)
Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and...
Traffic Lights - An AutoFocus Case Study (1998)
Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig, Er Vilbig
In this paper we present a case study on AutoFocus, a tool prototype for the development of distributed and concurrent systems based on the concepts of the formal method Focus. We develop (specify,...
Tool supported Specification and Simulation of Distributed Systems (1998)
Franz Huber Sascha, Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, ...
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and...
Tool supported specification and simulation of distributed systems (1998)
Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch, ...
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and...
Consistent Graphical Specification of Distributed Systems (1997)
Franz Huber, Bernhard Schätz, Geralf Einert, Fakultät Für Informatik
Abstract: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeatedly lead...
Rapid Prototyping with AutoFocus (1997)
In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple formal principles, can be...
Rapid Prototyping with AUTOFOCUS (1997)
Franz Huber Bernhard, Bernhard Schätz
In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple formal principles, can be...
Graphical Development of Consistent System Specifications (1996)
Bernhard Schätz, Heinrich Hußmann, Manfred Broy
Abstract. While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical...
Graphical Development of Consistent System Specifications (1996)
Bernhard Schätz, Heinrich Hußmann, Manfred Broy
While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description...
Graphical development of consistent system specifications (1996)
Manfred Broy, Heinrich Hußmann, Bernhard Schätz
While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description...
AutoFocus - A Tool for Distributed Systems Specification (1996)
Franz Huber, Bernhard Schätz, Alexander Schmidt, Er Schmidt, Katharina Spies
. We describe the concept of AutoFocus, a tool for the specification of distributed systems. AutoFocus is based on the formal development method Focus and uses graphical description formalisms...
Empirical studies on the disambiguation of cue phrases (1993)
Christian Salzmann, Bernhard Schätz
Abstract. Nowadays the term of a “service ” is frequently used in the discipline of modelling distributed system. However, it seems that the meaning of a service varies, depending on the domain...