Prof. Dr. Nicolas Navet
|
|
||||
| Faculty or Centre | Faculty of Science, Technology and Medicine | ||||
| Department | Department of Computer Science | ||||
| Postal Address |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Campus Office | MNO, E03 0315-120 | ||||
|
|||||
| Telephone | (+352) 46 66 44 5273 | ||||
In press
Automated Fault Tolerance Augmentation in Model-Driven Engineering for CPS; ; ;
in Computer Standards & Interfaces (in press)
2019
Event Notification in CAN-based Sensor Networks; ; ; ; ;
in IEEE Transactions on Industrial Informatics (2019), 15(10), 5613-5625
A Hybrid Machine Learning and Schedulability Method for the Verification of TSN Networks; ;
in 15th IEEE International Workshop on Factory Communication Systems (WFCS2019) (2019, March)
On the use of supervised machine learning for assessing schedulability: application to Ethernet TSN; ;
in 27th International Conference on Real-Time Networks and Systems (RTNS 2019) (2019)
Early-stage topological and technological choices for TSN-based communication architectures; ;
Scientific Conference (2019, September 24)
2018
Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems; ;
in Science of Computer Programming (2018), 156
Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks; ; ;
in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)
Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks; ; ;
in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)
A journey into time-triggered communication protocols with a focus on Ethernet TSNPresentation (2018, June 11)
Insights into the performance and configuration of TCP in Automotive Ethernet Networks;
Scientific Conference (2018, October 10)
Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism; ; ;
in Proc. WCX World Congress Experience (2018, April)
Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism; ; ;
in SAE International Journal of Passenger Cars - Electronic and Electrical Systems (2018), 11(3), 197-204
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints; ; ;
in Sensors (2018), 18(2), 628
2017
Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study; ;
in 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017 (2017, October)
Model-based design languages: A case study; ;
in 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) (2017)
Towards Seamless Integration of N-Version Programming in Model-Based Design; ;
in 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017), Limassol, Cyprus, September 12-15 2017 (2017)
Software patterns for fault injection in CPS engineering; ;
in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (2017)
Insights on the performance and configuration of AVB and TSN in automotive applications; ; ;
Scientific Conference (2017, November 01)
2016
Towards a declarative modeling and execution framework for real-time systems;
in ACM SIGBED Review (2016), 13(2), 30-33
Performance impact of the interactions between time -triggered and rate-constrained transmissions in TTEthernet; ; ;
Scientific Conference (2016, January 27)
Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS; ; ;
Scientific Conference (2016, January 28)
Demo: Applications of the CPAL language to model, simulate and program Cyber-Physical Systems; ; ;
Poster (2016, April 12)
Regime switching model for financial data: empirical risk analysis; ; ; ;
in Physica A: Statistical Mechanics and its Applications (2016), 461
The use of simulation in the design of critical embedded systemsScientific Conference (2016, June 09)
CPAL: High-Level Abstractions for Safe Embedded Systems;
in DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling (2016)
Lean Model-Driven Development through Model-Interpretation: the CPAL design flow; ; ;
Scientific Conference (2016, January 27)
Timing verification of realtime automotive Ethernet networks: what can we expect from simulation?; ;
Scientific Conference (2016, January 28)
Model Interpretation for an AUTOSAR compliant Engine Control Function; ;
in 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2016, July 05)
Poster Abstract: An Optimizing Framework for Real-Time Scheduling; ;
in Proceedings of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016) (2016, April 12)
Connected Motorized Riders - A Smart Mobility System to Connect Two and Three-wheelers; ;
in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)
A Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Automotive Control Software; ; ;
in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)
2015
Using CPAL to model and validate the timing behaviour of embedded systems; ;
in 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2015, July 07)
A Contract-Based approach to support Goal-Driven Analysis; ;
in Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (2015, April)
Timing verification of real-time automotive Ethernet networks: what can we expect from simulation?; ;
Scientific Conference (2015, May 23)
Insights on the Configuration and Performances of SOME/IP Service Discovery; ;
in SAE International Journal of Passenger Cars- Electronic and Electrical Systems (2015), 8(1), 124-129
Formal Analysis of the Startup Delay of SOME/IP Service Discovery; ; ; ;
in Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (2015)
2014
Integrating end-system frame scheduling for more accurate AFDX timing analysis; ; ; ;
Scientific Conference (2014, February 07)
Timing verification of automotive communication architectures using quantile estimation; ; ; ;
Scientific Conference (2014, March 07)
2013
Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support; ; ; ;
in Proceedings of the 5th European Conference for Aeronautics and Space Sciences (EUCASS) (2013, July 01)
Refinement of AADL models using early-stage analysis methods; ;
in Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (2013, November)
Verification of automotive networks - what to expect (and not expect) from each techniqueScientific Conference (2013, December 09)
