Add to ORKGInternational audienceWith the increase of critical data exchanges in embedded real-time systems, the computation of tight upper bounds on network traversal times is becoming a crucial industrial need especially in safety critical systems. To address this need, the French project PEGASE grouping academics and industrial partners from the aerospace field has been undertaken to improve some key aspects of the Network Calculus and its implementation
Depuis quelques années, les réseaux de communication déployés au sein d’aéronefs sont toujours plus ...
The SpaceWire network standard is promoted by the ESA and is scheduled to be used as the sole on-boa...
Avionics systems are subject to hard real-time constrainst and criticality. To certify these systems...
International audienceWith the increase of critical data exchanges in embedded real-time systems, th...
Abstract. With the increase of critical data exchanges in embedded real-time systems, the computatio...
International audienceAvionics systems distributed on AFDX networks are subject to stringent real-ti...
Complex embedded systems (planes, satellites, drones ...) contain more and more calculators. From no...
International audienceEnsuring correct behaviour of a distributed real-time function requires bounds...
Les systèmes embarqués complexes (avions, satellites, drones...) contiennent de plus en plus de calc...
International audienceSpacewire is a real-time communication network for use onboard satellites. It ...
The main objective of this thesis is to provide methodologies for finding exact worst case end to en...
Le calcul réseau (network calculus) est une théorie basée sur l’algèbre min-plus. Il offre un cadre ...
International audienceProof-by-instance is a technique that ensures the correctness of the results o...
International audienceAvionics systems distributed on AFDX networks are subject to stringent real-ti...
National audienceSpacewire is a real-time communication network for use onboard satellites. It has b...
Depuis quelques années, les réseaux de communication déployés au sein d’aéronefs sont toujours plus ...
The SpaceWire network standard is promoted by the ESA and is scheduled to be used as the sole on-boa...
Avionics systems are subject to hard real-time constrainst and criticality. To certify these systems...
International audienceWith the increase of critical data exchanges in embedded real-time systems, th...
Abstract. With the increase of critical data exchanges in embedded real-time systems, the computatio...
International audienceAvionics systems distributed on AFDX networks are subject to stringent real-ti...
Complex embedded systems (planes, satellites, drones ...) contain more and more calculators. From no...
International audienceEnsuring correct behaviour of a distributed real-time function requires bounds...
Les systèmes embarqués complexes (avions, satellites, drones...) contiennent de plus en plus de calc...
International audienceSpacewire is a real-time communication network for use onboard satellites. It ...
The main objective of this thesis is to provide methodologies for finding exact worst case end to en...
Le calcul réseau (network calculus) est une théorie basée sur l’algèbre min-plus. Il offre un cadre ...
International audienceProof-by-instance is a technique that ensures the correctness of the results o...
International audienceAvionics systems distributed on AFDX networks are subject to stringent real-ti...
National audienceSpacewire is a real-time communication network for use onboard satellites. It has b...
Depuis quelques années, les réseaux de communication déployés au sein d’aéronefs sont toujours plus ...
The SpaceWire network standard is promoted by the ESA and is scheduled to be used as the sole on-boa...
Avionics systems are subject to hard real-time constrainst and criticality. To certify these systems...