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
Previous | 
Home