251 research outputs found
Timed Automata Semantics for Analyzing Creol
We give a real-time semantics for the concurrent, object-oriented modeling
language Creol, by mapping Creol processes to a network of timed automata. We
can use our semantics to verify real time properties of Creol objects, in
particular to see whether processes can be scheduled correctly and meet their
end-to-end deadlines. Real-time Creol can be useful for analyzing, for
instance, abstract models of multi-core embedded systems. We show how analysis
can be done in Uppaal.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499
Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services
The software today is distributed over several processing units. At a large scale this may span over the globe via the internet, or at the micro scale, a software may be distributed on several small processing units embedded in one device. Real-time distributed software and services need to be timely and respond to the requests in time. The Quality of Service of real time software depends on how it schedules its tasks to be executed. The state of the art in programming distributed software, like in Java, the scheduling is left to the underlying infrastructure and in particular the operating system, which is not anymore in the control of the applications. In this thesis, we introduce a software paradigm based on object orientation in which real-time concurrent objects are enabled to specify their own scheduling strategy. We developed high-level formal models for specifying distributed software based on this paradigm in which the quality of service requirements are specified as deadlines on performing and finishing tasks. At this level we developed techniques to verify that these requirements are satisfied. This research has opened the way to a new approach to modeling and analysis of a range of applications such as continuous planning in the context of logistics software in a dynamic environment as well as developing software for multi-core systems. Industrial companies (DEAL services) and research centers (the Uppsala Programming for Multicore Architectures Resrearch Center UPMARC) have already shown interest in the results of this thesis.LEI Universiteit LeidenFoundations of Software Technolog
Compositional schedulability analysis of real-time actor-based systems
We present an extension of the actor model with real-time, including deadlines associated with messages, and explicit application-level scheduling policies, e.g.,"earliest deadline first" which can be associated with individual actors. Schedulability analysis in this setting amounts to checking whether, given a scheduling policy for each actor, every task is processed within its designated deadline. To check schedulability, we introduce a compositional automata-theoretic approach, based on maximal use of model checking combined with testing. Behavioral interfaces define what an actor expects from the environment, and the deadlines for messages given these assumptions. We use model checking to verify that actors match their behavioral interfaces. We extend timed automata refinement with the notion of deadlines and use it to define compatibility of actor environments with the behavioral interfaces. Model checking of compatibility is computationally hard, so we propose a special testing process. We show that the analyses are decidable and automate the process using the Uppaal model checke
Time at your service : schedulability analysis of real-time and distributed services
The software today is distributed over several processing units. At a large scale this may span over the globe via the internet, or at the micro scale, a software may be distributed on several small processing units embedded in one device. Real-time distributed software and services need to be timely and respond to the requests in time. The Quality of Service of real time software depends on how it schedules its tasks to be executed. The state of the art in programming distributed software, like in Java, the scheduling is left to the underlying infrastructure and in particular the operating system, which is not anymore in the control of the applications. In this thesis, we introduce a software paradigm based on object orientation in which real-time concurrent objects are enabled to specify their own scheduling strategy. We developed high-level formal models for specifying distributed software based on this paradigm in which the quality of service requirements are specified as deadlines on performing and finishing tasks. At this level we developed techniques to verify that these requirements are satisfied. This research has opened the way to a new approach to modeling and analysis of a range of applications such as continuous planning in the context of logistics software in a dynamic environment as well as developing software for multi-core systems. Industrial companies (DEAL services) and research centers (the Uppsala Programming for Multicore Architectures Resrearch Center UPMARC) have already shown interest in the results of this thesis.LEI Universiteit LeidenFoundations of Software Technolog
Contract Aware Components, 10 years after
The notion of contract aware components has been published roughly ten years
ago and is now becoming mainstream in several fields where the usage of
software components is seen as critical. The goal of this paper is to survey
domains such as Embedded Systems or Service Oriented Architecture where the
notion of contract aware components has been influential. For each of these
domains we briefly describe what has been done with this idea and we discuss
the remaining challenges.Comment: In Proceedings WCSI 2010, arXiv:1010.233
A practical solution for functional reconfiguration of real-time service based applications through partial schedulability
REACTION 2012. 1st International workshop on Real-time and distributed computing in emerging applications. December 4th, 2012, San Juan, Puerto Rico.Timely reconfiguration in distributed real-time
systems is a complex problem with many sides to it ranging
from system-wide concerns down to the intrinsic non-robust
nature of the specific middleware software and the used
programming techniques. In an completely open distributed
system, it is not possible to achieve time-deterministic
functional reconfiguration; the set of possible target
configurations that the system can transition to could be
extremely large threatening the temporal predictability of the
reconfiguration process. Therefore, a set of bounds and
limitations to the structure of systems and to their open nature
need to be imposed. In this paper, we present the different
sides of the problem of reconfiguration. We provide a solution
for timely reconfiguration based on reducing the solution space
of solutions of partially closed applications; we have enhanced
the logic of a middleware for distributed soft real-time
applications with the proposed technique. As a result,
applications require a limited number of schedulability tests to
search for the valid target configuration. We present some
results on the actual reduction of the configuration space
achieved by our middleware.This work has been partly supported by the iLAND project (ARTEMISJU
100026) funded by the ARTEMIS JTU Call 1 and the Spanish Ministry
of Industry (www.iland-artemis.org), ARTISTDesign NoE (IST-2007-
214373) of the EU 7th Framework Programme, and by the Spanish national
project REM4VSS (TIN 2011-28339)
Modelação e simulação de equipamentos de rede para Indústria 4.0
Currently, the industrial sector has increasingly opted for digital technologies
in order to automate all its processes. This development comes from
notions like Industry 4.0 that redefines the way these systems are designed.
Structurally, all the components of these systems are connected in a complex
network known as the Industrial Internet of Things. Certain requirements
arise from this concept regarding industrial communication networks. Among
them, the need to ensure real-time communications, as well as support for
dynamic resource management, are extremely relevant. Several research
lines pursued to develop network technologies capable of meeting such
requirements. One of these protocols is the Hard Real-Time Ethernet Switch
(HaRTES), an Ethernet switch with support for real-time communications and
dynamic resource management, requirements imposed by Industry 4.0.
The process of designing and implementing industrial networks can,
however, be quite time consuming and costly. These aspects impose
limitations on testing large networks, whose level of complexity is higher and
requires the usage of more hardware. The utilization of network simulators
stems from the necessity to overcome such restrictions and provide tools to
facilitate the development of new protocols and evaluation of communications
networks.
In the scope of this dissertation a HaRTES switch model was developed
in the OMNeT++ simulation environment. In order to demonstrate a
solution that can be employed in industrial real-time networks, this dissertation
presents the fundamental aspects of the implemented model as well as a set
of experiments that compare it with an existing laboratory prototype, with the
objective of validating its implementation.Atualmente o setor industrial tem vindo cada vez mais a optar por tecnologias
digitais de forma a automatizar todos os seus processos. Este desenvolvimento
surge de noções como Indústria 4.0, que redefine o modo de como
estes sistemas são projetados. Estruturalmente, todos os componentes
destes sistemas encontram-se conectados numa rede complexa conhecida
como Internet Industrial das Coisas. Certos requisitos advêm deste conceito,
no que toca às redes de comunicação industriais, entre os quais se destacam
a necessidade de garantir comunicações tempo-real bem como suporte a
uma gestão dinâmica dos recursos, os quais são de extrema importância.
Várias linhas de investigação procuraram desenvolver tecnologias de rede
capazes de satisfazer tais exigências. Uma destas soluções é o "Hard
Real-Time Ethernet Switch" (HaRTES), um switch Ethernet com suporte a
comunicações de tempo-real e gestão dinâmica de Qualidade-de-Serviço
(QoS), requisitos impostos pela Indústria 4.0.
O processo de projeto e implementação de redes industriais pode, no
entanto, ser bastante moroso e dispendioso. Tais aspetos impõem limitações
no teste de redes de largas dimensões, cujo nível de complexidade é
mais elevado e requer o uso de mais hardware. Os simuladores de redes
permitem atenuar o impacto de tais limitações, disponibilizando ferramentas
que facilitam o desenvolvimento de novos protocolos e a avaliação de redes
de comunicações.
No âmbito desta dissertação desenvolveu-se um modelo do switch HaRTES
no ambiente de simulação OMNeT++. Com um objetivo de demonstrar uma
solução que possa ser utilizada em redes de tempo-real industriais, esta
dissertação apresenta os aspetos fundamentais do modelo implementado
bem como um conjunto de experiências que o comparam com um protótipo
laboratorial já existente, no âmbito da sua validação.Mestrado em Engenharia Eletrónica e Telecomunicaçõe
- …