A proposal for a generic real-time ethernet system

J Jasperneite, J Imtiaz, M Schumacher… - IEEE Transactions on …, 2009 - ieeexplore.ieee.org
After the introduction of fieldbus technology, real-time Ethernet (RTE) systems now form the
second generation of industrial communication systems (2G ICS). A lot of different …

Formal verification of multitasking applications based on timed automata model

L Waszniowski, Z Hanzálek - Real-Time Systems, 2008 - Springer
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 …

A novel method for auto configuration of realtime ethernet networks

J Imtiaz, J Jasperneite, K Weber… - 2008 IEEE …, 2008 - ieeexplore.ieee.org
This paper describes a novel method for layer-2 auto-configuration of realtime Ethernet
networks. Our approach is able to roll out local MAC addresses to the involved devices as …

Design of component-based real-time applications

PL Martínez, L Barros, JM Drake - Journal of Systems and Software, 2013 - Elsevier
This paper presents the key aspects of a model-based methodology that is proposed for the
design of component-based applications with hard real-time requirements. The …

Expression of time and duration constraints in SDL

S Graf - International Workshop on System Analysis and …, 2002 - Springer
In this paper we give an overview on a set of time related features, useful in the context of
real-time system design and classify them into two categories, those needed for modelling of …

Integrating real-time analysis in a component model for embedded systems

M Díaz, D Garrido, LM Llopis, F Rus… - Proceedings. 30th …, 2004 - ieeexplore.ieee.org
Component-based development is a key technology in the development of software for
modern embedded systems. However, standard component models and tools are not …

UM-RTCOM: An analyzable component model for real-time distributed systems

M Díaz, D Garrido, L Llopis, F Rus, JM Troya - Journal of Systems and …, 2008 - Elsevier
Component-based development is a key technology in the development of software for
modern real-time systems. However, standard component models and tools are not suitable …

Early schedulability analysis with timed use case maps

J Hassine - International SDL Forum, 2009 - Springer
The ability to perform quantitative analysis at the requirements level supports the detection
of design errors during the early stages of a software development life cycle. This would help …

Priority scheduling in SDL

D Christmann, P Becker, R Gotzhein - International SDL Forum, 2011 - Springer
In real-time systems, the capability to achieve short or even predictable reaction times is
essential. In this paper, we take a pragmatic approach by proposing priority-based …

Compositional real-time models

PL Martínez, C Cuevas, JM Drake - Journal of Systems Architecture, 2012 - Elsevier
This paper proposes a methodology for modelling the timing behaviour of hard real-time
systems oriented to compositionality and reusability. When a system is built according to a …