Search results for: Pavel Herout
chapter
Advisory system for operators of complex industrial processes has been developed and improved by an international team of scientists and people from industry since 2000. Main purpose of the advisory system is to help operator set up manually adjustable parameters of an industrial process, with the aim to reach required production quality. Industrial process is taken for a stochastic process and input...
chapter
This paper presents a simulation model of the Time-Triggered Protocol (TTP/C) based embedded computer system as a tool for evaluation of system capability to tolerate a chosen category of faults. The model, being written in ANSI-C, is portable and machine-independent. Its structure is modular and flexible, so that the system to be studied and the experiment setting can easily be changed. The functionality...
chapter
This article deals with the issue of how to semi-automatically validate novice programmers' UML class diagrams which document their software assignments. This problem is rather serious given the large numbers of students in the introductory programming courses. The article discusses a self-contained tool which makes it easy to prepare very detailed automated tests (hundreds of them) of UML class diagrams...
chapter
Eurocon 2013 > 467 - 474
In software testing, most attention is given to verify the functionality of produced software. However, the quality of services (such as time to response or amount of produced data) is also important, especially in world of mobile or embedded devices. These properties are often estimated by using models of components, instead of testing the components from real applications. We have developed a simulation-based,...
chapter
Component-based software development is an important trend in software engineering. Using this approach, a system can be constructed from a set of individual components (i.e. pieces of software with defined interfaces and functionality). On deployment, components are usually not tested for their correct functionality since this is considered to be implied. Simulation tests are nevertheless often used...
chapter
In this paper, we present the design of a simulation framework aimed to support testing of real components in a simulation environment. This enables thorough tests of software components without the need to create their models.
chapter
This paper describes behaviour and implementation of light signalization in urban traffic simulator JUTS. Traffic lights are necessary part of urban traffic network and they allow using JUTS in experiments dealing with impact of time plans to traffic situation.
