Computer Science
Loading...
ISSN 1508-2806
e-ISSN: 2300-7036
Call number
Volume
Vol. 8
Date
2007
Description
Journal
Computer Science
AGH University Press (2004-)
ISSN: 1508-2806 e-ISSN: 2300-7036
ISSN: 1508-2806 e-ISSN: 2300-7036
journal.volume.project
Contains
Journal Issues
Articles
RT-UML in modeling of multimedia applications
(2007) Cichoń, Paweł
RT-UML enables a structural and behavioral description of multimedia applications including time characteristic, however it does not offer mechanisms of a multimedia objects presentation (arrangement) expression or the time constrains expression between events. This fact illustrates RT-UML lack of expressive capabilities, especially in the context of multimedia applications modeling. The presented in the paper extension of RT-UML illustrates how multimedia objects arrangement and events synchronizations can be presented, which means new type of diagrams addition to UML (presentation diagrams) and a synchronized events set class placing into the time model of RT-UML. Moreover extensions provide an application a graphical presentation of synchronized events to sequence and activity diagrams of UML, which enables time constrains of multimedia objects and their activities expression (synchronization of time events, which occur during presentation of multimedia objects). The originality of this approach relies on the extension of RT-UML syntax and on the presentation of an original method of multimedia applications modeling, which can make the production process more formalized and thus more precise.
Timed concurrent state machines
(2007) Daszczuk, Wiktor Bohdan
Timed Concurrent State Machines are an application of Alur Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to storę a verified system in ready-to-verification form, and to multiply it by various testing automata.
Automated code generation for safety-related applications: a case study
(2007) Głuch, Dawid P.; Kornecki, Andrzej
This paper addresses issues relating to the suitability of using automated code generation (ACG) technologies for the development of real-time, safety-critical systems. This research explored the characteristics of model-based software development methodologies and the automated code generation tools that support them. Specifically, data related to the engineering challenges, skills, and effort associated with ACG practices and technologies were collected as part of a case study. Characteristics such as the generated code’s organization, size, readability, traceability to model, real-time constructs, and exception handling were identified. In addition, the case study involved software engineering practices that incorporate integrated analysis and design iterations throughout a model-based development process. The research investigated both the static and dynamic characteristics of the selected techniques and tools, identified characteristics of ACG tools with potential impact on safety, and considered the semantic consistency between representations.
Code generation for CSM/ECSM models in COSMA environment
(2007) Grabski, Waldemar; Nowacki, Michał
The COSMA software environment, developed in the Institute of Computer Science, WUT, was designed primarily for model checking of reactive systems specified in terms of Concurrent State Machines (CSM). However, COSMA supports also Extended CSM (ECSM). The extensions allow for using complex data types and pieces of C/C++ code, attributed to CSM states and/or transitions. Because of these extensions, ECSM models cannot be verifed by model checking, but they can be used as an intermediate step in code generation. The underlying CSM represent then the flow of control within cooperating components and the communication among them while the extensions specify the data structures and the details of their processing. The paper discusses the code generation from ECSM diagrams. The approach is illustrated with an example.
FPGA as a part of MS WINDOWS control environment
(2007) Kołek, Krzysztof; Turnau, Andrzej
The attention is focused on the Windows operating system (OS) used as a control and measurement environment. WlNDOWS OS due to extensions becomes a real-time OS (RTOS). Benefits and drawbacks of typical software extensions are compared. As far as hardware solutions are concerned the field programmable gate arrays FPGA technology is proposed to ensure fast time-critical operations. FPGA-based parallel execution and hardware implementation of the data processing algorithms significantly outperform the classical microprocessor operating modes. Suitability of the RTOS for a particular application and FPGA hardware maintenance is studied.