| | 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


1 - 7 / 7
First pagePrevious page1Next pageLast page
Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata
Tatjana Kapus, original scientific article

Abstract: This paper concerns the formal modelling of medium access control in nonbeacon-enabled IEEE 802.15.4 wireless personal area networks with probabilistic timed automata supported by the PRISM probabilistic model checker. In these networks, the devices contend for the medium by executing an unslotted carrier sense multiple access with collision avoidance algorithm. In the literature, a model of a network which consists of two stations sending data to two different destination stations is introduced. We have improved this model and, based on it, we propose two ways of modelling a network with an arbitrary number of sending stations, each having its own destination. We show that the same models are valid representations of a star-shaped network with an arbitrary number of stations which send data to the same destination station. We also propose how to model such a network if some of the sending stations are not within radio range of the others, i.e. if they are hidden. We present some results obtained for these models by probabilistic model checking using PRISM.
Keywords: wireless personal area network, medium access control, hidden station, formal specification, probabilistic model checking
Published: 15.06.2017; Views: 605; Downloads: 277
.pdf Full text (2,25 MB)
This document has many files! More...

Marko Burjek, 2014, master's thesis

Abstract: V magistrskem delu smo analizirali trenutno dostopne načrtovalnike javnega prometa za mesto Maribor ter podatke, ki so potrebni za izdelavo lastnega načrtovalnika. Predstavili smo način snovanja sistema za izdelavo voznih redov, ki iz podatkov mariborskega upravljalca javnih prevozov, primestnega avtobusnega prometa in informacij o lokacijah in linijah v javno dostopni podatkovni zbirki OpenStreetMap izdela vozne rede primerne za uporabo v načrtovalniku. Vozni redi so uporabljeni v izdelanem načrtovalniku javnega prometa za Maribor.
Keywords: OpenStreetMap, General Transit Feed Specification, načrtovalnik poti, javni prevoz, vozni redi
Published: 06.03.2015; Views: 1305; Downloads: 130
.pdf Full text (4,38 MB)

Strategic role of maintenance in logistics of tomorrow
Mladen Jakovčić, Bojan Rosi, 2008, original scientific article

Abstract: Despite the fact that maintenance of array of machinery and equipment is often considered as one of the backup processes or operative functions, its reliable and safe performance is extremely important for every day-to-day routine work, especially operations related to logistics. The latter is interdisciplinary professional and scientific activity which combines variety of operations and subsystems, including the maintenance, which is the subject of research in this paper. It is important to bear in mind that any object invented or fabricated by man needs maintenance. It is simply impossible to discuss comprehensive and quality logistics without considering the function of maintenance, i.e. providing reliable function of logistic machinery and equipment that is overall equipment effectiveness.
Keywords: logistics, maintenance, strategy, requirements specification, quality, user satisfaction, overall equipment effectiveness
Published: 05.06.2012; Views: 1628; Downloads: 32
URL Link to full text

Modeling distributed real-time applications with specification PEARL
Roman Gumzej, Shourong Lu, 2007, original scientific article

Abstract: The methodology of hardware/software co-design of embedded control systems with Specification PEARL is presented. Hardware and software are modeled with the language Specification PEARL, which has its origins in standard Multiprocessor PEARL. Its usefulness is enhanced for modeling hierarchical and asymmetrical multiprocessor systems, and by additional parameters for schedulability analysis. Graphical symbols are introduced for its constructs to enable graphical modeling while maintaining the semantical background. It is meant to be a superlayer for programs, based on the PEARL programming model. To model program tasks, Timed State Transition Diagrams have been defined. The model of a co-designed system is verified for feasibility with co-simulation. The resulting information should be used when considering changes in a current design with the goal of producing a temporally feasible model. To support dynamic re-configurations, configuration management is introduced into the models. Since UML is becoming a de facto standard also for designing embedded control systems, and since Timed State Transition Diagrams and State Chart Diagrams share great similarity, an interface of the methodology to UML 2 is defined, using UML's extension mechanisms.
Keywords: specification language, application modeling, co-design, co-simulation, configuration management, PEARL, UML
Published: 01.06.2012; Views: 1291; Downloads: 93
URL Link to full text

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: 1478; Downloads: 89
URL Link to full text

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: 1932; Downloads: 108
URL Link to full text

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