Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


2018 Project-Team Activity Report
TEA
Time, Events and Architectures
Research centre: Rennes - Bretagne-Atlantique

Field: Algorithmics, Programming, Software and Architecture
Theme: Embedded and Real-time Systems
Keywords:
Computer Science and Digital Science:
  • A1.2.5. - Internet of things
  • A1.2.7. - Cyber-physical systems
  • A1.5.2. - Communicating systems
  • A2.1.1. - Semantics of programming languages
  • A2.1.4. - Functional programming
  • A2.1.6. - Concurrent programming
  • A2.1.9. - Synchronous languages
  • A2.1.10. - Domain-specific languages
  • A2.2.1. - Static analysis
  • A2.2.4. - Parallel architectures
  • A2.3. - Embedded and cyber-physical systems
  • A2.3.1. - Embedded systems
  • A2.3.2. - Cyber-physical systems
  • A2.3.3. - Real-time systems
  • A2.4. - Formal method for verification, reliability, certification
  • A2.4.1. - Analysis
  • A2.4.2. - Model-checking
  • A2.4.3. - Proofs
  • A2.5. - Software engineering
  • A2.5.1. - Software Architecture & Design
  • A2.5.2. - Component-based Design
  • A4.4. - Security of equipment and software
  • A4.5. - Formal methods for security
  • A7.2. - Logic in Computer Science
  • A7.2.3. - Interactive Theorem Proving
  • A7.3. - Calculability and computability
  • A8.1. - Discrete mathematics, combinatorics
  • A8.3. - Geometry, Topology
Other Research Topics and Application Domains:
  • B5.1. - Factory of the future
  • B6.1.1. - Software engineering
  • B6.4. - Internet of things
  • B6.6. - Embedded systems