Herbert Prähofer

Learn 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)
We make the case that Discrete Event System Speci cation (DEVS) is a universal formalism for discrete event dynamical systems (DEDS). DEVS o ers 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)
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)
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)
This paper presents a new model for simulating Spiking Neural Networks using discrete event simulation which might possibly offer advantages concerning simulation speed and scalability. Spiking Neural Networks are considered as a new computation paradigm, representing an enhancement of Artificial Neural Networks by offering more flexibility and degree of(More)
This paper presents a graphical modeling method and tool for DEVS model and DEVS-based combined discrete/continuous model specification. In DEVSbased 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)
The IEC 61499 modeling language pursues a component-based approach with modular building blocks coupled by ports and arranged in a hierarchical manner. Like similar approaches, the IEC 61499 language does not define how functional hierarchies of upper- and lower-level functional entities should be built. In this paper we outline structuring principles for(More)