Stanislaw Deniziak

Learn More
This paper presents the methodology for the cost optimization of real-time applications, that are conformable to the Infrastructure as a Service (IaaS) model of cloud computing. We assume, that functions of applications are specified as a set of distributed echo algorithms with soft real-time constraints. Then our methodology schedules all tasks on(More)
In this paper a method of automatic generation of test scenarios for verification of specification requirements (temporal and functional) for reactive embedded systems is presented. 1. Introduction The aim of design-validation is to check whether or not specification requirements (functional and temporal) imposed on a system are met [1,2]. Most of recently(More)