KAIROS - 2018 - Annual activity report

KAIROS

KAIROS - 2018

Team Kairos

Team, Visitors, External Collaborators

Overall Objectives

Research Program

Cyber-Physical co-modeling
Cyber-Physical co-simulation
Formal analysis and verification
Relation to Code and Optimization
Extending logical frameworks with logical time
Object-oriented programming and logical time
Extensions for spatio-temporal modeling and mobile systems.

Application Domains

Cyber-Physical and Embedded Systems
Connected Objects in the Internet Of Things

Highlights of the Year

New Software and Platforms

VerCors
TimeSquare
GEMOC Studio
BCOol
myMed
JMaxGraph

New Results

Schedulability of CCSL specifications via SMT
Logical Time for the semantics of Reactive Languages
Dealing with uncertainty in logical time
Behavioral semantics and equivalence notions for Open Systems
Logical Time for Safety Analysis and dependability
Co-Simulation of Cyber-Physical Systems
Early Interconnect Contention Analysis
Process network models with explicit data size handling
Union and Intersection constraints
Logical frameworks with Union and Intersection constraints and Oracles
Object reclassification
Object discovery
Code optimization for HPC and CPS programs

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Awards

Best Paper Award:

[16]

A. Schulz-Rosengarten, R. von Hanxleden, F. Mallet, R. De Simone, J. Deantoni.

Time in SCCharts, in: Forum on specification & Design Languages, Munich, Germany, September 2018, pp. 5-16, Best Paper Award. [ DOI : 10.1109/FDL.2018.8524111 ]

https://hal.inria.fr/hal-01898285

Previous |

Home | Next next