Book ChapterDOI
EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems
Christoph Schaffer,R. J. Raschhofer,A. Simma +2 more
- pp 358-374
Reads0
Chats0
TLDR
The resulting design and simulation environment will allow the designer to make multiple iterations between functional and performance validation, and therefore the quality of the system design will be improved and the risk not to meet e.g. the performance requirements will be reduced dramatically.Abstract:
Up to now no tool is available on the market that allows functional design and performance analysis within the same environment. Mostly new models have to be built to do performance analysis. This approach is time consuming and erroneous. To overcome this awkward situation two tools, namely GEODE/SDL a typical design tool and SES/workbench a typical simulation tool were coupled. The resulting design and simulation environment will allow the designer to make multiple iterations between functional and performance validation, and therefore the quality of the system design will be improved. Additionally the risk not to meet e.g. some of the performance requirements will be reduced dramatically.read more
Citations
More filters
Journal ArticleDOI
Performance engineering of SDL/MSC systems
TL;DR: The paper addresses issues related to the performance of systems specified with SDL and MSC and describes how performance aspects can be integrated with the SDL/MSC method.
Patent
Method of generating a performance model from a functional model
TL;DR: In this article, the authors propose a method of generating a performance model from a functional model of a system comprising a plurality of co-operating and distributed hardware and software entities in order to provide a service to at least one user.
Book ChapterDOI
An Annotational Extension of Message Sequence Charts to Support Performance Engineering
TL;DR: This chapter describes the performance message sequence charts (PMSCs), an extension of message sequence chart (MSC)-96 to include performance aspects into the MSC language, which supports the early evaluation of the performance of the system.
Book ChapterDOI
Looking for better integration of design and performance engineering
TL;DR: This work presents an approach that aims at producing performance models from design-oriented specifications (based on scenario and/or automata formalisms, such as MSC/SDL) and targets basic queuing networks that offer a flexible and powerful framework for modeling performance, as well as mature simulators on the market.
Proceedings ArticleDOI
Hierarchical architectural design, simulation and evaluation
TL;DR: This approach makes architectural design decisions explicit, and by using simulation the interrelations between different architectural designs can be determined, and in that way an early feedback which reduces the risk of not meeting the requirements can be realized.
References
More filters
Book
Strategies for Real-Time System Specification
TL;DR: The Hatley-Pirbhai techniques, now widely used in major avionics and electronics companies worldwide, are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Inc.
Book
Model-Based Systems Engineering
TL;DR: Model-Based Systems Engineering as mentioned in this paper is an excellent text for engineering students and an invaluable reference for engineers and scientists, which explains the fundamental theories behind model-based systems and the considerations involved in applying theory to the design of real systems.
Book
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
TL;DR: This user-friendly tutorial contains extensive introductory information on formal methods and the three Formal Description Techniques (FDTs) and features valuable material on existing tools.
Book
Sdl with Applications from Protocol Specification
TL;DR: This book describes the specification, type and instance system instance behaviour system instance structure system specification structure abstract data type representation forms and the interpretation model: interpretation of a system specification interaction with the environment dynamic semantics.
Book
Tool integration: environments and frameworks
D. Schefström,G. van den Boek +1 more
TL;DR: Aerospace systems distribute information processing systems digital computer networks communication systems process control systems and related systems.