Vitali Schneider

Friedrich-Alexander-University Erlangen-Nürnberg | FAU · Department of Computer Science

In view of increasing the efficiency of development processes in the field of software and systems engineering, model-driven techniques are coming into ever more widespread use. On the one hand, the abstract graphic models help to master the complexity of the system under development. On the other hand, formal models serve as the source for analysi...

More and more car manufactures are combining a normal combustion engine and an electric motor to satisfy the standards for CO2 emissions. In order to take advantage of this technology in the most efficient way, for example in companies car fleets, realistic simulation models are required. In this paper, we present an accurate yet computationally in...

High-level formal modeling is a beneficial method for assisting system architects in early performance evaluations of desired hardware/software architectures and for coping with the continuously increasing complexity of heterogeneous systems. Modeling languages like UML allow expressive and concise specifications of algorithms, platforms, and infrast...

The development of complex software and embedded systems is usually composed of a series of design, implementation, and testing phases. Challenged by their continuously increasing complexity and high-performance requirements, model-driven development approaches are gaining in popularity. Modeling languages like UML (Unified Modeling Language) cope...

Test-driven Agile Simulation (TAS) is a general-purpose approach that combines model-driven engineering, simulation, and testing techniques to improve overall quality for the development process. TAS focuses on the construction of system and test specification models that are conform to the standards provided by the Object Management Group (OMG). S...

Image processing systems are characterized by very high computational demand caused by large amounts of data, short response times, and the complexity of image processing tasks. For these reasons, specialized hardware solutions based on multiple processing cores, complex interconnects, or custom hardware elements are used for image processing. Due...

With the global growth of the market for smartphones new business ideas and applications are developed continuously. These often utilize the resources of a mobile device to a considerable extent and reach the limits of these. In this work we focus on the simulation of an on-demand music service on a modern smartphone. Our simulation model includes...

A main goal of the Test-driven Agile Simulation (TAS) approach is to improve the overall quality of the development process of complex systems. The approach is premised on the combination of the standard model-based engineering, simulation, and testing techniques. It provides the transformation of specification models to executable simulation code...

The approach of test-driven agile simulation combines model-based simulation and testing techniques to achieve an improved overall quality during the development process. It intends to provide a cheap and agile technique to validate the models in several iteration steps during early engineering phases. Designated phases of this process can be autom...

An approach is presented in which both simulation and testing based on UML are combined in one framework to achieve an improved overall quality. System models are specified by UML diagrams, and are then mapped on C++-code and executed in the OMNeT++ network simulation framework. State-space oriented test models are defined independently from this t...