| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Search the digital library catalog Help

Query: search in
search in
search in
search in
* old and bologna study programme

Options:
  Reset


1 - 10 / 24
First pagePrevious page123Next pageLast page
1.
2.
3.
4.
QoS-oriented design of embedded systems with specification PEARL
Roman Gumzej, Wolfgang A. Halang, 2007, original scientific article

Abstract: Only recently have methodical tools adequate to design real-time systems been formally introduced in design methodologies. Naturally, they were present fromthe beginning, but due to the large diversity of embedded systemsć areas of deployment, specially dedicated formalisms have been developed and used. High-level language programming and integration of modeling formalisms into design methods eased the development of more complex real-time applications. With the emerging object-oriented programming languages and design methods, their integration into larger information systems has become more transparent. It was the UML methodology, however, which eventually merged also the design methods and concepts of real-time systems into a consistent whole. It took a large consortium and a long process to persuade industry of the benefits the new integral methodology can offer. On the other hand, there are some trade-offs, and there are some features not completely covered, yet. Here, a different, more straightforward approach to program and design (embedded) real-time systems is presented. Since it emerged from the real-time community, it includes most features relevant there. Independent of the UML profile for schedulability, performance and time specification, a profile was devised for use in PEARL-oriented UML design. The strengths of the mentioned language and design methods for QoS-oriented design of (embedded) real-time systems are emphasised throughout this article.
Keywords: real time systems, embedded systems, quality of service, co-design, co-simulation, safety, dependability, security, timeliness, determinism, readiness, reliability, portability, flexibility, specification PEARL, UML profiles, patterns
Published: 31.05.2012; Views: 1570; Downloads: 62
URL Link to full text

5.
A reconfiguration pattern for distributed embedded systems
Roman Gumzej, Matjaž Colnarič, Wolfgang A. Halang, 2007, original scientific article

Abstract: A reconfiguration pattern for UML-based projects of embedded (real-time) systems is defined. It enables to set up hardware/software configurations, and to specify conditions and methods for dynamic reconfiguration. The reconfiguration pattern was inspired by the reconfiguration management solution of the Specification PEARL methodology, which is based on the standard for Multiprocessor PEARL whose original idea it was to extend the language to enable the programming of distributed real-time applications in PEARL. In Specification PEARL, the possibility for abstract descriptions of hardware and software architectures and for defining mappings from software to hardware components has been enhanced in correspondence with the standard. Here, a UML pattern for reconfiguration management in distributed embedded applications based on concepts from Specification PEARL is presented. Its behavioural, structural and functional aspects are outlined. It addresses stereotype entities from the Specification PEARL language, which were joined in a UML profile, and outlines the related reconfiguration management mechanisms, which were carried over to the mentioned UML pattern. The proposed reconfiguration pattern is to facilitate the development of distributed embedded application in UML with consistent and temporally predictable reconfiguration support. It should also support and enhance the applicationsć flexibility and portability.
Keywords: real-time, distributed, embedded systems, dynamic reconfiguration, UML profiles and patterns, UML-RT, specification PEARL
Published: 31.05.2012; Views: 1226; Downloads: 59
URL Link to full text

6.
A safety shell for UML-RT projects
Roman Gumzej, Wolfgang A. Halang, 2008, published scientific conference contribution

Abstract: A safety shell pattern was defined based on a reconfiguration management pattern, and inspired by the architectural specifications in Specification PEARL. It is meant to be used for real-time applications to be developed with UML-RT as described. The implementation of the safety shell features as defined by in [8], namely its timing and state guards as well as I/O protection and exception handling mechanisms, is explained. The pattern is parameterised by defining the properties of its components as well as by defining the mapping between software and hardware architectures. Initial and alternative execution scenarios as well as the method for switching between them are defined. The goal pursued with the safety shell is to obtain clearly specified operation scenarios with well defined transitions between them. To achieve safe and timely operation, the pattern must provide safety shell mechanisms for an application designed, i.e., enable its predictable deterministic and temporally predictable operation now and in the future.
Keywords: real-time systems, embedded systems, UML profiles, UML patterns, safety
Published: 31.05.2012; Views: 966; Downloads: 45
URL Link to full text

7.
Exploring non-traditional learning methods in virtual and real-world environments
Rebeka Kovačič Lukman, Majda Krajnc, 2012, original scientific article

Abstract: This paper identifies the commonalities and differences within non-traditional learning methods regarding virtual and real-world environments. The non-traditional learning methods in real-world have been introduced within the following courses: Process Balances, Process Calculation, and Process Synthesis, and within the virtual environment through the European funded Lifelong Learning Programme project at the University of Maribor. The results, based on qualitative research in both environments show the appropriateness of non-traditional learning methods in comparison with traditional ones, although collaborative learning in both environments causes several frustration based on conflicts (personal or disagreements during the learning phase), influencing the efficiency of the learning process. This presents opportunities for improving and overcome emerging barriers by fostering motivation and interactivity.
Keywords: non-traditional learning methods, collaborative learning, virtual environments, real-world environments
Published: 01.06.2012; Views: 1106; Downloads: 43
.pdf Full text (101,97 KB)
This document has many files! More...

8.
Specification PEARL constructs for embedded real-time systems co-design
Roman Gumzej, Matjaž Colnarič, 2002, original scientific article

Abstract: In the article a HW/SW co-design methodology is presented, which enables early reasoning about system integration as well as verification of the designs. Specification PEARL methodology is based on a specification language with the same name, whose ori-gins are in the standard Multiprocessor PEARL language. It has been enhanced by addi-tional components for asymmetrical multiprocessor systems design as well as by additional parameters for RTOS parameterisation and feasibility analysis. Timed State Transition Diagrams have been introduced for program/task modelling, supporting the PEARL pro-cess model. The resulting task models are easily translated to PEARL task prototypes. The methodology and its specification language components are being presented.
Keywords: embedded systems, real-time systems, co-design, modelling, PEARL
Published: 01.06.2012; Views: 1512; Downloads: 13
URL Link to full text

9.
10.
Search done in 0.2 sec.
Back to top
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica