Steffen Prochnow - Academia.edu (original) (raw)

Uploads

Papers by Steffen Prochnow

This document describes the management plan for the KIEL project. It tries to put all the ideas c... more This document describes the management plan for the KIEL project. It tries to put all the ideas collected by the organizers and developers of the KIEL project into one document by which the KIEL project can be devel-oped and maintained.

UML State Machines constitute an integral part of software behavior specification within the Unif... more UML State Machines constitute an integral part of software behavior specification within the Unified Modeling Language (UML). The development of realistic software applications often results in complex and distributed models. Hence, potential errors can be very subtle and hard to locate for the developer. In this paper, we present a set of robustness rules that seek to avoid common types of errors by ruling out certain modelling constructs. Furthermore, adherence to these rules can improve model readability and maintainability. The robustness rules constitute a general Statechart style guide for different dialects, such as UML State Machines, Statemate, and Esterel Studio. Based on this style guide, an automated checking framework has been implemented as a plug-in for the prototypical Statechart modeling tool KIEL. Simple structural checks can be formulated in a compact, abstract manner in the Object Constraint Language (OCL). The framework can also incorporate checks that go beyond...

The Kiel Integrated Environment for Layout (KIEL) is a prototypical modeling tool to explore nove... more The Kiel Integrated Environment for Layout (KIEL) is a prototypical modeling tool to explore novel editing, browsing and simulation paradigms in the design of complex reactive systems.

Modeling systems based on graphical formalisms, such as Statecharts, has become standard practice... more Modeling systems based on graphical formalisms, such as Statecharts, has become standard practice in the design of embedded devices. Using paradigms established so far often results in complex models that are difficult to comprehend and maintain. To overcome this, we present a methodology to support the easy development and understanding of complex Statecharts. Central to our approach is the use of secondary notations to aid readability. We employ an automated layout mechanism to transform any given Statechart to a Statechart Normal Form. The Kiel Integrated Environment for Layout is a prototypical modeling tool to explore our editing, browsing and simulation paradigms in the design of complex reactive systems. An empirical study on the usability and practicability of our Statechart editing techniques, including a Statechart layout comparison, indicates significant performance improvements in terms of editing speed and model comprehension compared to traditional modeling approaches.

Modeling systems with Statecharts has become standard practice in the design of reactive embedded... more Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradigms established so far often results in models that are difficult to comprehend and maintain, which severely compromises their practical use. The Kiel Integrated Environment for Layout (KIEL) is a modeling environment for the exploration of alternative editing and representation paradigms. We here report on an adaptation of KIEL to MAT-LAB Simulink/Stateflow, and on an automotive case study.

We present a design space exploration demonstration applied to an industrial lane-keeping-support... more We present a design space exploration demonstration applied to an industrial lane-keeping-support case study. We minimize communication, costs, weight, and the number of processing elements also satisfying hard real-time constraints for distributed embedded systems. The input system is modeled in SysML with TADL2 extensions and the SPES modeling framework from the SPES-XT project. The case study is derived from real data from the operational division of Bosch with promising results.

The Kiel Integrated Environment for Layout (KIEL) is a prototypical modeling tool to explore nove... more The Kiel Integrated Environment for Layout (KIEL) is a prototypical modeling tool to explore novel editing, brows- ing and simulation paradigms in the design of complex re- active systems.

Lecture Notes in Computer Science, 2007

Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become stan... more Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often more intuitively understandable than equivalent textual descriptions, and their animated simulation can help to visualize complex behaviors. However, in terms of editing speed, project management, and meta-modeling, textual descriptions have advantages. As alternative to the standard WYSIWYG editing paradigm, we present an approach that is also graphical but oriented on the underlying structure of the system under development, and another approach based on a textual, dialect-independent Statechart description language. These approaches have been implemented in a prototypical modeling tool, which encompasses automatic Statechart layout. An empirical study on the usability and practicability of our Statechart editing techniques, including a Statechart layout comparison, indicates significant performance improvements in terms of editing speed and model comprehension compared to traditional modeling approaches.

The Kiel Integrated Environment for Layout (KIEL) is a prototypical modeling tool to explore nove... more The Kiel Integrated Environment for Layout (KIEL) is a prototypical modeling tool to explore novel editing, brows- ing and simulation paradigms in the design of complex re- active systems.

Lecture Notes in Computer Science, 2007