| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Iskanje po katalogu digitalne knjižnice Pomoč

Iskalni niz: išči po
išči po
išči po
išči po
* po starem in bolonjskem študiju

Opcije:
  Ponastavi


1 - 10 / 11
Na začetekNa prejšnjo stran12Na naslednjo stranNa konec
1.
2.
Co-processor for microkernel OS services
Domen Verber, 2011, objavljeni znanstveni prispevek na konferenci

Ključne besede: operating systems, embedded systems, real time, task scheduling, FPGA
Objavljeno v DKUM: 10.07.2015; Ogledov: 1334; Prenosov: 99
URL Povezava na celotno besedilo

3.
Implementation of hard real-time embedded control systems
Matjaž Colnarič, Domen Verber, Roman Gumzej, Wolfgang A. Halang, 1998, samostojni znanstveni sestavek ali poglavje v monografski publikaciji

Opis: Although the domain of hard real-time systems has been thoroughly elaborated in the academic sphere, embedded computer control systems - being an important in mechatronic design - are seldom dealt with consistemntly. Often, off-the-shelf computer systems are used, with no guarantee that they will be able to meet the requirements specified. In this paper, a design for embedded control systems is presented. particulary, the paper deals with the hardware architecture and design details, the operating sustem, and the high-level real-time language support. It is shown how estimates of process run-times necessary for schedulability analysis can be acquired on the basis of deterministic behavior of the hardware platform.
Ključne besede: kontrolni sistemi, realni čas, mikrokontrolerji, programski jeziki, embedded compuer control systems, hard real-time systems, microcontrollers, transputers, earliest-deadline-first scheduling, real-time programming languages
Objavljeno v DKUM: 10.07.2015; Ogledov: 1351; Prenosov: 103
URL Povezava na celotno besedilo

4.
5.
6.
7.
Specification PEARL constructs for embedded real-time systems co-design
Roman Gumzej, Matjaž Colnarič, 2002, izvirni znanstveni članek

Opis: 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.
Ključne besede: embedded systems, real-time systems, co-design, modelling, PEARL
Objavljeno v DKUM: 01.06.2012; Ogledov: 2614; Prenosov: 25
URL Povezava na celotno besedilo

8.
Improving integrity of embedded computers in control
Matjaž Colnarič, Domen Verber, Wolfgang A. Halang, 2003, pregledni znanstveni članek

Opis: This paper gives an overview of a holistic project dealing with the consistent design of embedded control systems falling into the first level of safety integrity requirements (SIL l) (IEC, 1998). It shows how existing methods can be adapted and reasonably employed, whenever possible, without having to resort to new innovations. Firstly, the hardware issues are dealt with and extensively elaborated, particularly the peripheral interfaces with integrated processing capabilities. Secondly, the proven correct real-time operating system executing on its own dedicated processor is briefly addressed, and finally, programming issues including descriptions of the specific programming language, time bounded handling of exceptions, and how to deal with temporal overload.
Ključne besede: safety critical embedded systems, embedded systems, fault tolerant control systems, peripheral interfaces, exception handling, overload
Objavljeno v DKUM: 01.06.2012; Ogledov: 1711; Prenosov: 114
URL Povezava na celotno besedilo

9.
A safety shell for UML-RT projects
Roman Gumzej, Wolfgang A. Halang, 2008, objavljeni znanstveni prispevek na konferenci

Opis: 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.
Ključne besede: real-time systems, embedded systems, UML profiles, UML patterns, safety
Objavljeno v DKUM: 31.05.2012; Ogledov: 1770; Prenosov: 172
URL Povezava na celotno besedilo

10.
A reconfiguration pattern for distributed embedded systems
Roman Gumzej, Matjaž Colnarič, Wolfgang A. Halang, 2007, izvirni znanstveni članek

Opis: 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.
Ključne besede: real-time, distributed, embedded systems, dynamic reconfiguration, UML profiles and patterns, UML-RT, specification PEARL
Objavljeno v DKUM: 31.05.2012; Ogledov: 2018; Prenosov: 109
URL Povezava na celotno besedilo

Iskanje izvedeno v 0.23 sek.
Na vrh
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici