Previous | 
Home
Section: Dissemination
Popularization
Liliana Cucu-Grosjean has supervised the video production of a popularization video regarding the outcomes of the PROXIMA project. The video has been made available on Inria channels and all PROXIMA partners.
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
- CCSL as a Logical Clock Calculus Algebra: expressiveness and analysis techniques
- 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
- MoCs and novel architectures
- Solving AAA constraints analytically
- Coupling SystemC and FMI for co-simulation of Cyber-Physical Systems
- Behavioural Semantics if Open pNets
- Behavioural semantics for GCM components
- Performance analysis and optimisation of an HPC scientific application
- Formal translation validation of multi-processor real-time schedules
- Lopht back-end for TTEthernet-based distributed systems
- Uniprocessor Real-Time Scheduling
- Multiprocessor Real-Time Scheduling
- Probabilistic Solutions for Hard Real-Time Systems
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 analysis techniques
- 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
- MoCs and novel architectures
- Solving AAA constraints analytically
- Coupling SystemC and FMI for co-simulation of Cyber-Physical Systems
- Behavioural Semantics if Open pNets
- Behavioural semantics for GCM components
- Performance analysis and optimisation of an HPC scientific application
- Formal translation validation of multi-processor real-time schedules
- Lopht back-end for TTEthernet-based distributed systems
- Uniprocessor Real-Time Scheduling
- Multiprocessor Real-Time Scheduling
- Probabilistic Solutions for Hard Real-Time Systems
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography