Learn More
We make the case that Discrete Event System Speciication (DEVS) is a universal formalism for discrete event dynamical systems (DEDS). DEVS ooers an expressive framework for modelling, design, analysis and simulation of autonomous and hybrid systems. We review some known features of DEVS and its extensions. We then focus on the use of DEVS to formulate and(More)
We report on a combination of system theoretic simulation modeling methodology with the JavaBeans component model as a basis for a component-based simulation framework. While system theory formalisms can serve as formal, mathematical foundations for modular, hierarchical modeling and simulation, the JavaBeans component model provides the appropriate(More)
Deterministic replay debugging is an approach to finding bugs in deployed software. It records an application run in the field so that it can deterministically be replayed offline in a development system for debugging purposes. To enable deterministic replay debugging, it is necessary to record all external influences and sources of nondeterminism in the(More)
End-users of automation software systems – which are the machine operators – have the task to provide machine settings and program simple control algorithms to adapt and optimize the machine to the specific automation tasks at hand. End-user programming systems are therefore an intrinsic part of automation systems. In this paper we report on a project with(More)
This paper presents a graphical modeling method and tool for DEVS model and DEVS-based combined discrete/continuous model specification. In DEVS-based modeling, atomic model behavior specification is organized around different phases which define a partition of the state space of the model. The phase transitions depict the qualitative state changes and(More)
Product line engineering and plug-in techniques pursue different but complementary goals. Software product line engineering strives for modeling the variability of software systems on different levels of abstraction, whereas plug-in systems support software extensibility, customizability, and evolution. We present an approach demonstrating the benefits of(More)
The paper presents the realization of an object-oriented kernel of a new modelling and simulation environment. The kernel system stands out as it is based on systems theoretical concepts and facilitates combined discrete-continuous, modular, hierarchical modelling. Its implementation language is the AI language Common Lisp and its object-oriented superset(More)
Capturing and sharing architectural knowledge is already a complex endeavor when dealing with conventional software systems for single customers. In product line engineering, however, the situation is even more difficult due to architectural variability and complex relationships between features and technical solution components. In this paper, we present(More)
Plug-in architectures and platforms represent a promising approach for building software systems which are extensible and customizable to the particular needs of the individual user. For example, the Eclipse platform, as the most prominent representative of plug-in systems, is based on a unique plug-in and extensibility concept and has succeeded in(More)