|
Computer-Aided Software Engineering (CASE) is the use of
computer-based systems in the software engineering process. CASE tools
support software engineering activities within a software engineering
process. Model-based analysis and design tools are a special class
of CASE tools, which help to develop correct software.
The tools & models group explores the use of model-based analysis and
design tools especially for the development of embedded systems.
Therefore models of embedded systems are developed based on sound
mathematical foundations. For a practical development of provable
correct software especially close integrations of CASE tools and
validation/verification tools based on these models are investigated.
Furthermore methodological issues dealing with specification
techniques and quality assurance are in the focus of the research
of the tools & models group.
Peter Braun, Heiko Lötzbeyer
 AutoFocus
| |
The CASE tool AutoFocus is the core of the tool development
activities of the embedded systems group.
|
Automotive
| |
The project AUTOMOTIVE - "Requirements Engineering for embedded
systems" - aims at the support of the early phases in the
development process of electronic control units in the automotive domain.
|
BeQuest
| |
BeQuest investigates notations and refinement steps for the design of hybrid, i.e. mixed discrete and continuous, embedded systems.
|
IMMA
| |
IMMA investigates a development process for hybrid systems that is formally founded and supported by tools.
|
Inkrea
| |
Inkrea investigates the mathematical principles of elaboration
steps for the incremental design of reactive systems
as well as their implementation in the CASE tool AutoFocus.
|
InTime
| |
InTime develops a semantical and methological foundation of the UML-RT with emphasis on the flexible development of real-time critical systems.
|
MOBASIS
| |
Model based software development for safety critical systems.
|
Nelli
Korsys
| |
The aim of project KorSys (Korrekte Systeme) is
to improve the applicability of formal methods for the
specification and verification of complex software systems in
practice.
|
OEF
| |
The Open Editor Framewore (OEF) is the result of several student projects to provide an integrated platform for the development of CASE tools.
|
Syslab
| |
The SysLab-project aims at the research and the development of
a scientifically founded approach for software- and systems
development. SysLab emphasizes the methodological approach,
integrating formal and graphical techniques, and focuses on
object-oriented techniques, based on UML and Java.
|
Quest
| |
The project combines mathematical and graphical software
development techniques for the development of correct embedded
systems software. Quest is funded by the Bundesamt für
Sicherheit im Informationswesen (BSI)
|
Peter Braun,
Jan Jürjens,
Gerwin Klein,
Dr. Ingolf Krüger,
Heiko Lötzbeyer,
Jan Philipps,
Alexander Pretschner,
Martin Rappl,
Dr. Bernhard Rumpe,
Robert Sandner,
Dr. Bernhard Schätz,
Dr. Oscar Slotosch,
Thomas Stauner,
Markus Wenzel,
Guido Wimmel,
Alexander Wißpeintner
Validas Model Validation AG
| |
A provider of tools and services for the development of embedded systems
with focus on high reliability in safety and security. Examples are electronic payment systems or mission-critical controller systems in automotive and aerospace applications.
|
BSI
| |
Bundesamt für Sicherheit in der Informationstechnik
|
DFKI
| |
German Research Center for Artificial Intelligence GmbH
|
Institute for Information Technology in Mechanical Engineering
Lehrstuhl für Softwaretechnik und Programmiersprachen
Institute for Software Technology, Department of Computer Science
Overview over the project Quest
| |
By Oscar Slotosch. In proceedings of FM-Trends '98,
Springer-Verlag LNCS 1641, 1998
|
AutoFocus -- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme
| |
By Manfred Broy, Franz Huber and Bernhard Schätz. In Informatik
Forschung und Entwicklung, 14(3), S. 121-134, 1999.
|
Traffic Lights - An AutoFocus Case Study
| |
By Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar
Slotosch and Alexander Vilbig. In: 1998 International
Conference on Application of Concurrency to System Design, pp.
282-294, IEEE Computer Society, Los Alamitos, California
|
Specification Based Test Sequence Generation with Propositional Logic
| |
By Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner and
Oscar Slotosch. In Special Issue on Specification Based
Testing, Journal on Software Testing, Validation, and
Reliability (STVR) 10(4), 2000.
|
A Formally Founded Componentware Testing Methodology
| |
By Klaus Bergner, Heiko Lötzbeyer, Andreas Rausch, Marc Sihling, Alexander Vilbig. In Proc. of the first International Workshop on Automated Program
Analysis, Testing and Verification (WAPATV), Limerick, May 2000.
|
AutoFOCUS on Constraint Logic Programming
| |
By Heiko Lötzbeyer and Alexander Pretschner. In Proc. (Constraint) Logic Programming and Software Engineering (LPSE 2000),
London, July 2000.
|
Testing Concurrent Reactive Sytems with Constraint Logic Programming
| |
By Heiko Lötzbeyer and Alexander Pretschner. In Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, Singapore, September 2000.
|
Model Based Testing in Evolutionary Software Development
| |
By Alexander Pretschner, Heiko Lötzbeyer and Jan Philipps. In Proc. 11th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), June 2001. To appear.
|
Model Based Testing with Constraint Logic Programming: First Results and Challenges
| |
By Alexander Pretschner and Heiko Lötzbeyer. In Proc. of the second International Workshop on Automated Program
Analysis, Testing and Verification (WAPATV), to appear.
|
Consistent Integration of Formal Methods
| |
By Peter Braun, Heiko Lötzbeyer, Berhard Schätz and Oscar Slotosch. In TACAS 2000: Tools and Algorithms for the Construction and Analysis of Systems, 2000
|
The quest for correct systems: Model checking of diagrams and datatypes
| |
By Jan Philipps and Oscar Slotosch. In APSEC'99: Asian Pacific
Software Engineering Conference, pages 449-458. IEEE Computer
Society, 1999.
|
Model based Systems Engineering - A Unified Approach using UML
| |
By Peter Braun and Martin Rappl. In Proc. of the European Systems Engineering Conference (EuSEC), 2000.
|
Integrating Formal Description Techniques
| |
By Franz Huber and Bernhard Schätz. In FM'99 - Formal
Methods, Proceedings of the World Congress on Formal Methods
in the Development of Computing Systems, Volume II
|
AutoFocus
| |
The CASE tool AutoFocus is the core of the tool development
activities of the embedded systems group.
|
Isabelle
| |
Isabelle is a popular generic theorem proving environment
developed at Cambridge University (Larry Paulson)
and TU Munich (Tobias
Nipkow).
|
Focus
| |
Focus consists of a set of mathematical models and notations
for the specification, refinement, abstraction and
verification of distributed reactive systems. It is the result
of the subproject A6 of the Sonderforschungsbereich 342. Most
of the foundational work of the embedded systems group is
based on Focus.
|
Validas Model Validation AG
| |
Validas is a spin-off company of the embedded systems
activities at the chair of Software & Systems Engineering.
Validas is the distributor for the Quest tool set
(see above), which won the first
price in the tool competition of the
FM'99
World Congress on Formal Methods.
|
CASE tool index
Cetus Links - Architecture and Design:
Object-Oriented Analysis & Design Tools
Metamodels
|
