Libor Waszniowski

Learn More
The aim of this article is to show, how a multitasking application running under real-time operating system compliant with OSEK/VDX standard can be modeled by timed automata. The application under consideration consists of several tasks, it includes resource sharing and synchronization by events. For such system, we use model checking theory based on timed(More)
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. The application under consideration consists of several non-preemptive tasks and interrupt service routines that can be synchronized by events. A model checking tool is used to(More)
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As this approach is not suited for modelling pre-emption we focus on cooperative scheduling. In the addition, interrupt service routines are considered, and their enabling/disabling is(More)
This article deals with a distributed real-time application modelling by timed automata. The application under consideration consists of several processors communicating via Controller Area Network (CAN); each processor executes an application that consists of tasks running under an operating system (e.g. OSEK) and using inter-task synchronization(More)
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented development environment supporting several hundreds of microcontrollers, and Matlab simulink which is the de-facto standard in the rapid prototyping of the control applications but(More)
This paper discuses advantages of using automatically generated code in the development cycle of control embedded software. Since the Matlab development tool chain has become standard in the control applications development, we focus on its facilities for code generation. As the Matlab main weakness is identified a poor support for handling hardware devices(More)
This article deals with a distributed, fault-tolerant real-time application model-ing by timed automata. The application under consideration consists of several processors communicating via Controller Area Network (CAN); each processor executes an application that consists of fault-tolerant tasks running under an operating system (e.g. OSEK) and using(More)
Current Real-Time applications are based on Worst-Case Time estimates. The RT-literature points out that a knowledge of Average-Case Time could help to improve budgeting of resources of Real-Time systems with a potentially drastic cost saving (e.g. [MP97],[Ram96],[HPS04]). However, progress in this area is hampered due to the fact that Average-Time analysis(More)