Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
Robert Davis, from York University, got awarded an Inria International Chair to spend a year over a duration of five years as full member of the Aoste EPI.
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
- CCSL as a Logical Clock Calculus Algebra: expressiveness and decidability results
- Industrial design flow for Embedded System Engineering
- Coordination of heterogeneous Models of Computation as Domain-Specific Languages
- SoC multiview (meta)modeling for performance, power, and thermal aspects
- Networks-on-Board: between NoCs and rack connector buses
- Solving AAA constraints analytically
- Stochastic extension of MARTE/CCSL for CPS modeling
- Coupling SystemC and FMI for co-simulation of Cyber-Physical Systems
- Code generation for time-triggered platforms based on Real-Time Scheduling
- Real-time systems compilation
- Uniprocessor Real-Time Scheduling
- Multiprocessor Real-Time Scheduling
- Probabilistic and statistical temporal analysis
- Parametric and Non-Parametric Statistics for Program Performance Analysis and Comparison
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
- CCSL as a Logical Clock Calculus Algebra: expressiveness and decidability results
- Industrial design flow for Embedded System Engineering
- Coordination of heterogeneous Models of Computation as Domain-Specific Languages
- SoC multiview (meta)modeling for performance, power, and thermal aspects
- Networks-on-Board: between NoCs and rack connector buses
- Solving AAA constraints analytically
- Stochastic extension of MARTE/CCSL for CPS modeling
- Coupling SystemC and FMI for co-simulation of Cyber-Physical Systems
- Code generation for time-triggered platforms based on Real-Time Scheduling
- Real-time systems compilation
- Uniprocessor Real-Time Scheduling
- Multiprocessor Real-Time Scheduling
- Probabilistic and statistical temporal analysis
- Parametric and Non-Parametric Statistics for Program Performance Analysis and Comparison
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography