3,865 research outputs found
A Time-Triggered Constraint-Based Calculus for Avionic Systems
The Integrated Modular Avionics (IMA) architec- ture and the Time-Triggered
Ethernet (TTEthernet) network have emerged as the key components of a typical
architecture model for recent civil aircrafts. We propose a real-time
constraint-based calculus targeted at the analysis of such concepts of avionic
embedded systems. We show our framework at work on the modelisation of both the
(IMA) architecture and the TTEthernet network, illustrating their behavior by
the well-known Flight Management System (FMS)
Reliability models for dataflow computer systems
The demands for concurrent operation within a computer system and the representation of parallelism in programming languages have yielded a new form of program representation known as data flow (DENN 74, DENN 75, TREL 82a). A new model based on data flow principles for parallel computations and parallel computer systems is presented. Necessary conditions for liveness and deadlock freeness in data flow graphs are derived. The data flow graph is used as a model to represent asynchronous concurrent computer architectures including data flow computers
LEGaTO: first steps towards energy-efficient toolset for heterogeneous computing
LEGaTO is a three-year EU H2020 project which started in December 2017. The LEGaTO project will leverage task-based programming models to provide a software ecosystem for Made-in-Europe heterogeneous hardware composed of CPUs, GPUs, FPGAs and dataflow engines. The aim is to attain one order of magnitude energy savings from the edge to the converged cloud/HPC.Peer ReviewedPostprint (author's final draft
Real Time Global Tests of the ALICE High Level Trigger Data Transport Framework
The High Level Trigger (HLT) system of the ALICE experiment is an online
event filter and trigger system designed for input bandwidths of up to 25 GB/s
at event rates of up to 1 kHz. The system is designed as a scalable PC cluster,
implementing several hundred nodes. The transport of data in the system is
handled by an object-oriented data flow framework operating on the basis of the
publisher-subscriber principle, being designed fully pipelined with lowest
processing overhead and communication latency in the cluster. In this paper, we
report the latest measurements where this framework has been operated on five
different sites over a global north-south link extending more than 10,000 km,
processing a ``real-time'' data flow.Comment: 8 pages 4 figure
- …