nicolas.navet.eu
Nicolas Navet homepage
http://nicolas.navet.eu/home.html
Nicolas Navet home page. Professor in Computer Science at the University of Luxembourg. Computer Science and Communications (CSC) Research Unit. Laboratory of Advanced Software SYstems (LASSY). Faculté des Sciences, de la Technologie et de la Communication. 6, rue Richard Coudenhove-Kalergi. Office: Campus Kirchberg,. 352)46.66.44.52.73. Office hours for students (room L104):. Monday, 14:30-17:00 and Tuesday, 14:30-17:00. Appointments outside office hours by email. News / Upcoming events. Most are availa...
nicolas.navet.eu
Publications
http://nicolas.navet.eu/publications.html
Nicolas Navet home page. Professor in Computer Science at the University of Luxembourg. Computer Science and Communications (CSC) Research Unit. Laboratory of Advanced Software SYstems (LASSY). Faculté des Sciences, de la Technologie et de la Communication. 6, rue Richard Coudenhove-Kalergi. Office: Campus Kirchberg,. 352)46.66.44.52.73. Office hours for students (room L104):. Monday, 14:30-17:00 and Tuesday, 14:30-17:00. Appointments outside office hours by email. News / Upcoming events. S M Sundharam, ...
realtimeatwork.com
Your RTaW Technical Staff | RealTime-at-Work
http://www.realtimeatwork.com/team
We help you build provably safe and optimized critical systems. Your RTaW Technical Staff. Jorn.migge@realtimeatwork.com. RTaW has opened a development office in Rome, Italy that is headed by Jörn Migge. People in Italy, or people willing to speak in German, are welcome to get in touch with him. 108;oic.fejoz@realtimeatwork.com. 33 (0)6 28 33 68 51. SAAS requirements management software. Co-founder and Research Engineer. Partnership with ONERA renewed at ERTSS2016. Model User and Model Builder at fundame...
realtimeatwork.com
RTaW-Pegase: Ethernet timing analysis and configuration tool | RealTime-at-Work
http://www.realtimeatwork.com/software/rtaw-pegase
We help you build provably safe and optimized critical systems. RTaW-Pegase : analyzing AFDX & switched Ethernet networks. Is a timing analysis tool that helps to conceive safe and optimized switched Ethernet networks. RTaW-Pegase computes tight upper bounds on communication delays and buffer utilization, and provides advanced optimization algorithms that ensure correctness and efficiency. Leading companies like Airbus Helicopters, Daimler Cars and ABB rely on RTaW-Pegase, why don’t give it a try? Mdash;...
realtimeatwork.com
System Engineering tools | RealTime-at-Work
http://www.realtimeatwork.com/system-engineering-tools
We help you build provably safe and optimized critical systems. Virtual prototyping from SysML models. Or jump directly to the screencast. Partnership with ONERA renewed at ERTSS2016. Best Demo Award for RTaW-Pegase AFDX and Ethernet timing analysis tool at the 32nd IEEE Real-Time Symposium. Controller Area Network simulator available free of charge! Our book: The Automotive Embedded Systems Handbook. Customer review: "Simply outstanding [.] My best automotive embedded reference, by far.".
realtimeatwork.com
They trust us | RealTime-at-Work
http://www.realtimeatwork.com/references
We help you build provably safe and optimized critical systems. RTaW is an authorized supplier of Airbus Helicopters. RTaW is an authorized supplier of Airbus Defence and Space. RTaW is an authorized supplier of Daimler AG / Mercedes-Benz Cars. RTaW is an authorized supplier of PSA Peugeot-Citroën and Renault. RTaW is an authorized supplier of ABB. RTaW is an authorized supplier of THALES R&T. RTaW is an authorized supplier of CNES. RTaW is an authorized supplier of Saint-Gobain PAM. Which brings togethe...
realtimeatwork.com
RTaW-Sim: Timing-Accurate Simulation of Controller Area Network with Fault-Injection Capabilities | RealTime-at-Work
http://www.realtimeatwork.com/software/rtaw-sim
We help you build provably safe and optimized critical systems. RTaW-Sim : Controller Area Network simulation and configuration. Is a timing-accurate simulator of CAN networks that enables the designer to come up quickly with the best design and configuration choices, and assess the performances and reliability of a system. Leading OEMs rely on RTaW-Sim to design and validate their CAN2.0A, CAN2.0B, ARINC825 and CAN FD networks – why don’t give it a try? How RTaW-Sim will help you work faster and better?
realtimeatwork.com
RTaW-ECU: Static Cyclic Scheduling of Tasks | RealTime-at-Work
http://www.realtimeatwork.com/software/rtaw-ecu
We help you build provably safe and optimized critical systems. RTaW-ECU : configuring the scheduling of real-time tasks. Is task scheduling configuration tool for monocore and multicore platforms which is aimed at reducing the peaks of CPU load while meeting the configuration and timing constraints. Screenshot of RTaW-ECU: the graphic shows how the CPU workload is spread over time with different configuration algorithms. The bottom-right window shows the tasks scheduled during each time interval. Can ge...
realtimeatwork.com
RTaW-TraceInspector : analyzing communication traces | RealTime-at-Work
http://www.realtimeatwork.com/software/rtaw-traceinspector
We help you build provably safe and optimized critical systems. RTaW-TraceInspector : automated trace-based timing verification. Is a tool to visualize and analyze network communication traces that extracts the actual traffic characteristics from the traces and automatically diagnose possible deadline violations, departures from the specifications and other abnormal behaviors. How RTaW-TraceInspector will help you increase timing verification coverage? OEMs: reduce system integration risks. Mdash; Commun...
SOCIAL ENGAGEMENT